Refining autonomous agents with declarative beliefs and desires

DOI10.1007/S00165-016-0391-1zbMath1358.68277OpenAlexW2525417711MaRDI QIDQ520236

Qin Li, Graeme Smith

Publication date: 3 April 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-016-0391-1

zbMATH Keywords

temporal logicautonomous agentsrefinementobject-Zbelief and desire

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Uses Software

• Rodin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Agent deliberation in an executable temporal framework
• Practical reasoning as presumptive argumentation using action based alternating transition systems
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings
• The Refinement of Multi-Agent Systems
• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
• Programming Rational Agents in GOAL
• A Refinement Framework for Autonomous Agents

This page was built for publication: Refining autonomous agents with declarative beliefs and desires