Optimal regression for reasoning about knowledge and actions

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2007, Pages 1070-1076

  Van Ditmarsch, Hans ^a   Herzig, Andreas ^b   De Lima, Tiago ^b  

^a UNIVERSITY OF OTAGO   (New Zealand)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; LOGIC PROGRAMMING; REGRESSION ANALYSIS;

ASSIGNMENT OPERATORS; MODAL OPERATORS; OPTIMAL DECISION PROCEDURES;

KNOWLEDGE BASED SYSTEMS;

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

References (17)

1. Bacchus, F.; Halpern, J.; and Levesque, H. 1999. Reasoning about noisy sensors in the situation calculus. Artificial Intelligence 111:131-169.
2. Baltag, A.; Moss, L.; and Solecki, S. 1998. The logic of public announcements and common knowledge. In Proc. TARK.
3. Demolombe, R.; Herzig, A.; and Varzinczak, I. 2003. Regression in modal logic. J. Applied Non-Classical Logics 13(2):165-185.
4. Fagin, R.; Halpern, J.; Moses, Y.; and Vardi, M. 1995. Reasoning about Knowledge. MIT Press.
5. Herzig, A.; Lang, J.; Longin, D.; and Polacsek, T. 2000. A logic for planning under partial observability. In Proc. AAAI.
6. Kooi, B. 2007. Expressivity and completeness for public update logic via reduction axioms. J. Applied Non-Classical Logics 17(2).
7. Levesque, H.; Reiter, R.; Lespérance, F.; Lin, F.; and Scherl, R. 1997. GOLOG: A logic programming language for dynamic domains. J. Logic Programming 31:59-83.
8. Lutz, C. 2006. Complexity and succintness of public announcement logic. In Proc. AAMAS, 137-144.
9. Nonnengart, A., and Weidenbach, C. 2001. Computing small clause normal forms. In Handbook of Automated Reasoning. North Holland. 335-367.
10. Plaza, J. 1989. Logics of public communications. In Emrich, M. L., et al., eds., Proc. ISMIS, 201-216.
11. Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Papers in Honor of John McCarthy. Academic Press Professional Inc. 359-380.
12. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press.
13. Scherl, R., and Levesque, H. 2003. Knowledge, action and the frame problem. Artificial Intelligence 144(1-2): 1-39.
14. Thielscher, M. 1999. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence 111(1-2):277-299.
15. van Benthem, J. 2006. "One is a Lonely Number": logic and communication. In Chatzidakis, Z.; Koepke, P.; and Pohlers, W., eds., Logic Colloquium'02, volume 27 of Lecture Notes in Logic. ASL & A.K. Peters. 96-129.
16. van Benthem, J. 2007. Situation calculus meets modal logic. Technical Report PP-2007-02, ILLC, Amsterdam. van Ditmarsch, H.; Herzig, A.; and de Lima, T. 2007. Optimal regression for reasoning about knowledge and actions (long version). Available at: http://www.irit.fr/"Tiago.Santosdelima/ publications/optimal.html.
17. van Ditmarsch, H.; van der Hoek, W.; and Kooi, B. 2005. Dynamic epistemic logic with assignment. In Proc. AAMAS, 141-148. ACM.