Prolegomena to Concise Theories of Action

A new methodology for developing theories of action has recently emerged which provides means for formally evaluating the correctness of such theories. Yet, for a theory of action to qualify as a solution to the frame problem, not only does it need to produce correct inferences, but moreover, it needs to derive these inferences from a concise representation of the domain at hand. The new methodology however offers no means for assessing conciseness. Such a formal account of conciseness is developed in this paper. Combined with the existing criterion for correctness, our account of conciseness offers a framework where proposed solutions to the frame problem can be formally evaluated.

[1]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[2]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[3]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[4]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[5]  Pavlos Peppas,et al.  On the Use of Epistemic Entrenchment in Reasoning about Action , 1992, ECAI.

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

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

[8]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[9]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[10]  Vladimir Lifschitz,et al.  Actions with Indirect Effects (Preliminary Report) , 1994, KR.

[11]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

[12]  Andrew B. Baker,et al.  A Simple Solution to the Yale Shooting Problem , 1989, KR.

[13]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

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

[15]  Fangzhen Lin,et al.  Provably Correct Theories of Action (Preliminary Report) , 1991, AAAI.

[16]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[17]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.