Reasoning about plan revision in BDI agent programs

DOI10.1016/J.TCS.2011.05.052zbMath1269.68045OpenAlexW1975570260MaRDI QIDQ655407

Brian Logan, John-Jules Ch. Meyer, Mehdi Dastani, Natasha Alechina

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

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

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional dynamic logic of regular programs
• Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems
• Verifying Dribble Agents
• GOLOG: A logic programming language for dynamic domains
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Multi-Agent Programming

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