Representing incomplete knowledge in abductive logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Normal multimodal logics with interaction axioms
Labelled deduction
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Programming Goal-Driven Web Sites Using an Agent Logic Language
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A Tableau for Multimodal Logics and Some (Un)Decidability Results
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Modal Tableaux for Reasoning About Actions and Plans
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
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
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Adding knowledge to the action description language A
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
Artificial Intelligence Review
Reasoning About Interaction Protocols for Web Service Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about web services in a temporal action logic
Reasoning, Action and Interaction in AI Theories and Systems
Proof Systems for Planning Under Cautious Semantics
Minds and Machines
| Hi-index | 0.00 |
In this paper we propose a modal approach for reasoning about dynamic domains in a logic programming setting. We present a logical framework for reasoning about actions in which modal inclusion axioms of the form 驴p0驴驴 驴 驴p1驴 驴p2驴 ... 驴pn驴 allow procedures to be defined for building complex actions from elementary actions. The language is able to handle knowledge producing actions as well as actions which remove information. Incomplete states are represented by means of epistemic operators and test actions can be used to check whether a fluent is true, false or undefined in a state. We give a non-monotonic solution for the frame problem by making use of persistency assumptions in the context of an abductive characterization. A goal directed proof procedure is defined, which allows reasoning about complex actions and generating conditional plans.