Verification of knowledge-based programs over description logic actions

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2015-January, Issue , 2015, Pages 3278-3284

  Zarrieß, Benjamin ^a   Claßen, Jens ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; FORMAL LANGUAGES; SOFTWARE TESTING;

ACTION LANGUAGE; DESCRIPTION LOGIC; DOMAIN KNOWLEDGE; INITIAL SITUATION; KNOWLEDGE BASE; KNOWLEDGE BASED PROGRAMS; PRIMITIVE ACTIONS; UNDECIDABILITY;

KNOWLEDGE BASED SYSTEMS;

EID: 84949811774     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. F. Baader and B. Zarrieß. Verification of Golog programs over description logic actions. In FroCoS'13, volume 8152 of LNAI. Springer-Verlag, 2013.
2. F. Baader, C. Lutz, M. Miličić, U. Sattler, and F. Wolter. Integrating description logics and action formalisms: First results. In AAAI 2005, AAAI Press, 2005.
3. F. Baader, S. Ghilardi, and C. Lutz. LTL over description logic axioms. In KR 2008, AAAI Press, 2008.
4. D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Actions and programs over description logic knowledge bases: A functional approach. In Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque. College Publications, 2011.
5. J. Claßen and G. Lakemeyer. Foundations for knowledge-based programs using ES. In KR 2006, AAAI Press, 2006.
6. J. Claßen and G. Lakemeyer. A logic for non-terminating Golog programs. In KR 2008, AAAI Press, 2008.
7. G. De Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
8. G. De Giacomo, Y. Lespérance, and A. R. Pearce. Situation calculus based programs for representing and reasoning about game structures. In KR 2010, AAAI Press, 2010.
9. G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded situation calculus action theories and decidable verification. In KR 2012, AAAI Press, 2012.
10. G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded epistemic situation calculus theories. In IJCAI 2013, IJCAI/AAAI, 2013.
11. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. An epistemic operator for description logics. Artif. Intell., 100(1-2):225-274, 1998.
12. G. Lakemeyer and H. J. Levesque. Situations, si! situation terms, no! In KR 2004, AAAI Press, 2004.
13. G. Lakemeyer and H. J. Levesque. A semantic characterization of a useful fragment of the situation calculus with knowledge. Artificial Intelligence, 175(1):142-164, 2010.
14. J. Lang and B. Zanuttini. Knowledge-based programs as plans - the complexity of plan verification. In ECAI 2012, 2012.
15. H. J. Levesque and G. Lakemeyer. The Logic of Knowledge Bases. MIT Press, 2001.
16. 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.
17. H. J. Levesque. All I know: A study in autoepis-temic logic. Artif. Intell., 42(2-3):263-309, 1990.
18. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, pages 463-502. American Elsevier, New York, 1969.
19. M. L. Minsky. Computation: Finite and Infinite Machines. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1967.
20. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380, 1991.
21. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
22. R. Reiter. On knowledge-based programming with sensing in the situation calculus. ACM Trans. Comput. Log., 2(4):433-457, 2001.
23. R. B. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artif. Intell., 144(1-2):1-39, 2003.
24. ∗ properties of Golog programs over local-effect actions. In ECAI 2014, IOS Press, 2014.
25. B. Zarrieß and J. Claßen. Verification of knowledge-based programs over description logic actions. LTCS-Report 15-10, TU Dresden, 2015. See http://lat.inf.tu-dresden.de/research/reports.html.