Reasoning about plan revision in BDI agent programs

DOI10.1016/J.TCS.2011.05.052MaRDI QIDQ655407zbMATHOpenAlexFDO

Authors Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Meyer

Publication date 4 January 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.05.052

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Agent technology and artificial intelligence (68T42) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Dynamic Logic for Plan Revision in Agent Programming
• Computational Logic in Multi-Agent Systems
• A Compositional Semantics of Plan Revision in Intelligent Agents
• Semantics of plan revision in intelligent agents
• Using theorem proving to verify properties of agent programs

Cites work

• scientific article; zbMATH DE number 1612541 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• GOLOG: A logic programming language for dynamic domains
• Modal logic
• Multi-Agent Programming
• Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Propositional dynamic logic of regular programs
• Verifying Dribble agents

Cited in

(5)

• Algebraic Methodology and Software Technology
• A flexible plan step execution model for BDI agents
• Dynamic Logic for Plan Revision in Agent Programming
• Computational Logic in Multi-Agent Systems
• AI 2005: Advances in Artificial Intelligence

Describes a project that uses

Uses Software

• GOLOG
• AgentSpeak
• Jason
• 2APL
• pdl-tableau
• MSPASS
• 3APL

This page was built for publication: Reasoning about plan revision in BDI agent programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q655407)