Interleaving belief updating and reasoning in abductive logic programming

Authors:
Fariba Sadri;Francesca Toni
Affiliations:
Department of Computing, Imperial College London, UK, email: {fs,ft}@doc.ic.ac.uk;Department of Computing, Imperial College London, UK, email: {fs,ft}@doc.ic.ac.uk
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 9
Cited 2

Negation in logic programming

Journal of Logic Programming
Speculative computation with multi-agent belief revision

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
From logic programming towards multi-agent systems

Annals of Mathematics and Artificial Intelligence
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
An Abductive Logic Programming Architecture for Negotiating Agents

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Speculative Computation by Abduction under Incomplete Communication Environments

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Access-as-you-need: a computational logic framework for accessing resources in artificial societies

ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Planning partially for situated agents

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

Merging rule-based belief databases

AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Knowledge representation and non-monotonic reasoning

A 25-year perspective on logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed either before or after the beliefs are changed. This imposes that, if an update occurs while reasoning is performed, reasoning has to be stopped and re-started anew so that the update is taken into account, with an obvious wastage of reasoning effort. In this paper, we tackle the problem of performing belief updating on-line, while reasoning is taking place by means of an abductive proof procedure.