Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem

Authors:
Dongmo Zhang;Norman Y. Foo
Affiliations:
-;-
Venue:
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Year:
2002

Citing 15
Cited 1

Logics of time and computation

Logics of time and computation
Nonmonotonic logic and temporal projection

Artificial Intelligence
Reasoning about action I: a possible worlds approach

Artificial Intelligence
Frames in the space of situations (research note)

Artificial Intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic reasoning in the framework of situation calculus

Artificial Intelligence - Special issue on knowledge representation
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Solving the frame problem: a mathematical investigation of the common sense law of inertia

Solving the frame problem: a mathematical investigation of the common sense law of inertia
Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
Interpolation in Modal Logic

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Encoding Solutions of the Frame Problem in Dynamic Logic

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
PDL-based framework for reasoning about actions

AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Soundness and completeness theorems for three formalizations of action

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
EPDL: a logic for causal reasoning

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
On the range of applicability of baker's approach to the frame problem

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Reasoning about action: an argumentation-theoretic approach

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper makes a contribution to the meta-theory of reasoning about action. We present two interpolation properties of action logic. We show that the frame axioms which are required for answering a query involve only the objects which are relevant to the query and action description. Moreover, if the action description is expressed by normal form, the required frame axioms depend on only the query itself. Therefore the frame problem may be mitigated by localizing descriptions and postponing the listing of frame axioms till a query occurs. This offers a pragmatic solution to the frame problem. This solution does not rest on any meta-hypotheses most existing solutions to the frame problem rely on.