论文信息 - On the Range of Applicability of Baker's Approach to the Frame Problem - 字舞流文

On the Range of Applicability of Baker's Approach to the Frame Problem

We investigate the range of applicability of Baker's approach to the frame problem using an action language. We show that for temporal projection and deterministic domains, Baker's approach gives the intuitively expected results.

G. Neelakantan Kartha | G. Kartha

[1] Erik Sandewall,et al. Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.

[2] Andrew B. Baker,et al. Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..

[3] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[4] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[5] James M. Crawford,et al. Formalising Reasoning about Change: A Qualitative Reasoning Approach , 1992, AAAI.

[6] Danny De Schreye,et al. Representing Incomplete Knowledge in Abductive Logic Programming , 1993, J. Log. Comput..

[7] M. Shanahan. Solving the frame problem , 1997 .

[8] G. Neelakantan Kartha,et al. Two Counterexamples Related to Baker's Approach to the Frame Problem , 1994, Artif. Intell..

[9] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[10] Phan Minh Dung,et al. Representing Actions in Logic Programming and Its Applications in Database Updates , 1993, ICLP.

[11] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[12] G. Neelakantan Kartha,et al. Soundness and Completeness Theorems for Three Formalizations of Action , 1993, IJCAI.