Solving the qualification problem (in the presence of the frame problem)

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

Volumn 2256, Issue , 2001, Pages 519-531

  Vo, Quoc Bao ^a   Foo, Norman Y ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

DOMAIN CONSTRAINT; FRAME PROBLEMS; MINIMISATION; NONMONOTONIC; PROPOSITIONAL LOGIC; REASONING ABOUT ACTIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84944887795     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45656-2_45     Document Type: Conference Paper

References (21)

1. A. Baker. A Simple Solution to the Yale Shooting Problem. In KR’89: 11-20.
2. A. Bondarenko, P. Dung, R. Kowalski, and F. Toni. An Abstract, Argumentation- Theoretic Approach to Default Reasoning. AIJ, 93: 63-101, 1997.
3. M. Castilho, O. Gasquet and A. Herzig. Formalizing action and change in modal logic I: the frame problem. Journal of Logic and Computation, to appear.
4. T. Drakengren and M. Björeland. Reasoning about action in polynomial time. AIJ, 115: 1-24, 1999.
5. J. Kvarnström and P. Doherty. Tackling the Qualification Problem Using Fluent Dependency Constraints. Computational Intelligence, 16(2): 169-209 (2000).
6. Foo, N., Peppas, P., Vo, B.Q. and Zhang, D. Circumscriptive Models and Automata. Proc. of NRAC, IJCAI-01: 1-7, Seattle, Sept 2001.
7. M. Ginsberg, D. Smith. Reasoning About Action II: The Qualification Problem. AIJ, 35(3): 311-342 (1988).
8. M. Gelfond and V. Lifschitz. Action languages. Electronic Trans. on AI, 3(16), 1998.
9. S. Hanks, and D. McDermott. Nonmonotonic logic and temporal projection. AIJ, 33(3): 379-412, 1987.
10. N. Kushmerick. Cognitivism ans situated action: two views on intelligence agency. Computers and Artificial Intelligence, 15(5): 1-20, 1996.
11. F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation, 4(5): 655-678 (1994).
12. F. Lin and Y. Shoham. Provably Correct Theories of Action. JACM, 42(2): 293-320, 1995.
13. J. McCarthy. Epistemological Problems of Artificial Intelligence. In Proc. of the IJCAI, 1977: 555-562.
14. J. McCarthy. Applications of Circumscription to Formalizing Common-Sense Knowledge. AIJ, 28(1): 89-116 (1986).
15. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, v.4, 1969: 463-502.
16. R. Reiter. The frame problem in the situation calculus: A simple solution. In V. Lifschitz, ed., AI and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp.418-420. Academic Press, 1991.
17. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
18. E. Sandewall. Features and Fluents. Oxford University Press, 1994.
19. M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. The MIT Press, Cambridge, Massachusetts, 1997.
20. M. Thielscher. Ramification and Causality. AIJ, 89(1-2): 317-364 (1997).
21. M. Thielscher. The Qualification Problem: A solution to the problem of anomalous models. AIJ, 131(1-2): 1-37 (2001).