Belief Revision in a Fact-Rule Agent's Belief Base

Authors:
Hai H. Nguyen
Affiliations:
School of Computer Science, University of Nottingham, UK
Venue:
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Year:
2009

Citing 5
Cited 0

Belief revision for AgentSpeak agents

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Truth maintenance systems for problem solving

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Iterated theory base change: a computational model

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Resource-Bounded belief revision and contraction

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Agent-Oriented programming with underlying ontological reasoning

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

When there is much incoming information with different levels of reliability, the agent's belief base could become inconsistent, and therefore it needs a revision procedure. The algorithm which implements this revision should be rational and computationally efficient. Besides, because an agent's belief could be either a fact or a rule, it is essential to perform belief revision by removing not only facts but also rules. In this paper, the work presented in [1] and [2] is extended to implement contraction by rules as well as by facts in polynomial time.