Abandoning the completeness assumptions: a statistical approach to the frame problem

Abstract : The purpose of this paper is twofold. The first is to challenge the assumptions regarding knowledge completeness that planning agents are often taken as possessing, and the solutions to the frame problem that depend upon these assumptions. The second is to present preliminary ideas regarding and approach to the frame problem that provides a more explicit formulation of an agent's uncertainty using statistically derived probabilities.

[1]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[2]  P. Hayes.  Stanford Artificial Intelligence Project Memo a Im-153' The-frame Problem and Related Problems on .,, 1971 .

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[5]  B. Sauphanor.  The logical foundations of statistical inference , 1974 .

[6]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[7]  Jerome A. Feldman,et al.  Decision Theory and Artificial Intelligence II: The Hungry Monkey , 1977, Cogn. Sci..

[8]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

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

[10]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[11]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[12]  Henry E. Kyburg,,et al.  The Reference Class , 1983, Philosophy of Science.

[13]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[14]  David S. Touretzky,et al.  Implicit Ordering of Defaults in Inheritance Systems , 1984, AAAI.

[15]  E. Pednault.  Preliminary Report on a Theory of Plan Synthesis , 1985 .

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

[17]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

[18]  Z. Pylyshyn.  Robot's Dilemma: The Frame Problem in Artificial Intelligence , 1987 .

[19]  M. Georgeff.  Actions, Processes, and Causality , 1987 .

[20]  Ronald Prescott Loui,et al.  Response to Hanks and McDermott: Temporal Evolution of Beliefs and Beliefs about Temporal Evolution , 1987, Cogn. Sci..

[21]  Matthew L. Ginsberg,et al.  Possible Worlds Planning , 1987 .

[22]  Vladimir Lifschitz,et al.  Formal Theories of Action (Preliminary Report) , 1987, IJCAI.

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

[24]  Brian A. Haugh,et al.  Simple Causal Minimizations for Temporal Persistence and Projection , 1987, AAAI.

[25]  R. N. Pelavin.  A formal approach to planning with concurrent actions and external events , 1988 .

[26]  A Statistical Solution to the Qualification Problem and How it Also Solves the Frame Problem , 1989 .

[27]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[28]  T. Vámos,et al.  Judea pearl: Probabilistic reasoning in intelligent systems , 1992, Decision Support Systems.