Automating belief revision for agentspeak

Authors:
Natasha Alechina;Rafael H. Bordini;Jomi F. Hübner;Mark Jago;Brian Logan
Affiliations:
School of Computer Science, University of Nottingham, Nottingham, UK;Dept. of Computer Science, University of Durham, Durham, UK;Dept. Sistemas e Computação, Univ. Regional de Blumenau, Blumenau, SC, Brazil;School of Computer Science, University of Nottingham, Nottingham, UK;School of Computer Science, University of Nottingham, Nottingham, UK
Venue:
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Year:
2006

Citing 10
Cited 4

A knowledge level analysis of belief revision

Proceedings of the first international conference on Principles of knowledge representation and reasoning
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
Information-Passing and Belief Revision in Multi-Agent Systems

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
Proving BDI Properties of Agent-Oriented Programming Languages

Annals of Mathematics and Artificial Intelligence
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications
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

Epistemic Logic for Rule-Based Agents

Journal of Logic, Language and Information
Using goals for flexible service orchestration: a first step

AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Current issues in multi-agent systems development

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Agent-based simulations with beliefs and SPARQL-based ask-reply communication

MABS'09 Proceedings of the 10th international conference on Multi-agent-based simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based communication, internal belief additions, and support for reasoning with ontological knowledge, which imply the 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 by making use of Jason's language constructs and customisation features. This is one of the first attempts to include automatic belief revision within an interpreter for a practical agent programming language.