Belief revision for AgentSpeak agents

Authors:
Natasha Alechina;Rafael H. Bordini;Jomi Fred Hübner;Mark Jago;Brian Logan
Affiliations:
University of Nottingham, Nottingham, UK;University of Durham, Durham, UK;Univ. Regional de Blumenau, Blumenau, SC, Brazil;University of Nottingham, Nottingham, UK;University of Nottingham, Nottingham, UK
Venue:
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Year:
2006

Citing 5
Cited 8

AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Proving BDI Properties of Agent-Oriented Programming Languages

Annals of Mathematics and Artificial Intelligence
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
Agents – the challenge of relevance to the IT mainstream

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems

Ontology schema for an agent belief store

International Journal of Human-Computer Studies
Belief Revision in a Fact-Rule Agent's Belief Base

KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
On the formal semantics of speech-act based communication in an agent-oriented programming language

Journal of Artificial Intelligence Research
Computational logic foundations of KGP agents

Journal of Artificial Intelligence Research
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?

A 25-year perspective on logic programming
Ontology reasoning in agent-oriented programming

SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
A BDI agent programming language with failure handling, declarative goals, and planning

Autonomous Agents and Multi-Agent Systems
Towards secure agent computing for ubiquitous computing and ambient intelligence

UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and support for ontological reasoning, which imply a need for belief revision within an AgentSpeak agent. In this paper, we show how a polynomial-time belief-revision algorithm can be incorporated into the Jason AgentSpeak interpreter. To the best of our knowledge, this is the first attempt to include belief revision within an interpreter for a practical agent programming language.