An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Causality in commonsense reasoning about actions
Causality in commonsense reasoning about actions
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Applications of abductive logic programming
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Sat2000: Highlights of Satisfiability Research in the Year 2000
Sat2000: Highlights of Satisfiability Research in the Year 2000
Diagnosing Physical Systems in A-Prolog
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
An Argumentation Framework of Reasoning about Actions and Change
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Planning as satisfiability with preferences
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems
Planning for multiagent using ASP-prolog
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
The ramification problem in temporal databases: an approach with conflicting constraints
Journal of Intelligent Information Systems
Reasoning and planning with cooperative actions for multiagents using answer set programming
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
The ramification problem in temporal databases: a solution implemented in SQL
Applied Intelligence
Hi-index | 0.00 |
The language Ɛ for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showh ow it can, together with methods from abduction, form the basis for a principled implementation of Ɛ. The extension we have considered concerns the addition of new type of sentences in the language as well as allowing theories where the narrative of events given is incomplete. A system, called Ɛ-RES, is developed within the argumentation framework of Logic Programming without Negation as Failure (LPwNF). This can support directly a variety of modes of common sense reasoning such as: default persistence in credulous or sceptical form, assimilation of observations and their diagnosis possibly under incomplete information, as well as combinations of these. To improve the efficiency of the system we have considered the integration of a SAT solver within the LPwNF computation, to carry out the of validating the time universal constraints imposed by ramification statements.