Reasoning about actions using description logics with general TBoxes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4160 LNAI, Issue , 2006, Pages 266-279

  Liu, Hongkai ^a   Lutz, Carsten ^a   Miličić, Maja ^a   Wolter, Frank ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CALCULATIONS; COMPUTATION THEORY; DESCRIBING FUNCTIONS;

DESCRIPTION LOGICS (DLS); FLUENT CALCULUS; SITUATION CALCULUS;

FORMAL LOGIC;

EID: 33750091057     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11853886_23     Document Type: Conference Paper

References (17)

1. G. Areces, P. Blackburn, and M. Marx. A road-map on complexity for hybrid logics. Proc. of CSL-99, number 1683 in LNCS, pages 307-321. Springer, 1999.
2. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating description logics and action formalisms: First results. In Proc. of AAAI-05, AAAI Press, 2005.
3. F. Baader, D. L. McGuiness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, 2003.
4. G. de Giacomo, M. Lenzerini, A. Poggi, and R. Rosati. On the update of description logic ontologies at the instance level. Proc. of AAAI-06, AAAI Press, 2006.
5. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
6. F. Lin. Embracing causality in specifying the indirect effects of actions. In Proc. of IJCAI-95, pages 1985-1991, Morgan Kaufmann, 1995.
7. H. Liu, C. Lutz, M. Milicic, and F. Wolter. Description logic actions with general TBoxes: a pragmatic approach. LTCS-Report 06-03, TU Dresden, Germany, 2006. See http://lat.inf.tu-dresden.de/research/reports.html.
8. V. R. Pratt. Models of program logics. In Proc. of the Twentieth FoCS, San Juan, Puerto Rico, 1979.
9. I. Pratt-Hartmann. Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language and Information, 14(3):369-395, 2005.
10. R. Reiter. Knowledge in Action. MIT Press, 2001.
11. M. Thielscher. Ramification and causality. Artificial Intelligence Journal, 89(1-2):317-364, 1997.
12. M. Thielscher. Introduction to the Fluent Calculus. Electronic Transactions on Artificial Intelligence, 2(3-4):179-192, 1998.
13. M. Thielscher. FLUX: A logic programming method for reasoning agents. TPLP, 5(4-5):533-565, 2005.
14. S. K. Thomason. The logical consequence relation of propositional tense logic. Z. Math. Logik Grundl Math., 21:29-40, 1975.
15. S. Tobies. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. JAIR, 12:199-217, 2000.
16. M. Winslett. Reasoning about action using a possible models approach. In AAAI-88, pages 89-93, 1988.
17. A list of DL reasoners: http://www.cs.man.ac.uk/~sattler/reasoners.html