Reasoning about plan revision in BDI agent programs

DOI10.1016/J.TCS.2011.05.052zbMATH Open1269.68045OpenAlexW1975570260MaRDI QIDQ655407FDOQ655407

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

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

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)

Cites Work

• GOLOG: A logic programming language for dynamic domains
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Modal logic
• Propositional dynamic logic of regular programs
• Title not available (Why is that?)
• Multi-Agent Programming
• Title not available (Why is that?)
• Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
• Verifying Dribble agents

Cited In (5)

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

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)