The Projection Problem in the Situation Calculus : A Soundnessand
نویسنده
چکیده
We describe a novel application of planning in the situation calculus to formalize the evolution of a database under update transactions. In the resulting theory, query evaluation becomes identical to the temporal projection problem. We next deene a class of axioms for which the classical AI planning technique of goal regression provides a sound and complete method for solving the projection problem , hence for querying evolving databases. Finally, we brieey discuss several issues which naturally arise in the settings of databases and planning, namely, proofs by mathematical induction of properties of world states, logic programming implementations of the projection problem, and historical queries.
منابع مشابه
Belief revision and projection in the epistemic situation calculus
This article considers defeasible beliefs in dynamic settings. In particular, we examine the belief projection problem: what is believed after performing an action and/or receiving new information? The approach is based on an epistemic variant of Reiter’s situation calculus, where actions not only have physical effects but may also provide new information to the agent. The preferential belief s...
متن کاملTowards an Expressive Decidable Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملProjection in the Epistemic Situation Calculus with Belief Conditionals
A fundamental task in reasoning about action and change is projection, which refers to determining what holds after a number of actions have occurred. A powerful method for solving the projection problem is regression, which reduces reasoning about the future to reasoning about the initial state. In particular, regression has played an important role in the situation calculus and its epistemic ...
متن کاملTowards an Expressive Practical Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملExperimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
In the reasoning about actions community, one of the most basic reasoning problems is the projection problem: the question whether a certain assertion holds after executing a sequence of actions. While undecidable for general action theories based on the situation calculus, the projection problem was shown to be decidable in two different restrictions of the situation calculus to theories formu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992