Refining autonomous agents with declarative beliefs and desires

DOI10.1007/S00165-016-0391-1MaRDI QIDQ520236zbMATH OpenOpenAlexFDO

Authors 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

autonomous agentsbelief and desireobject-Zrefinementtemporal logic

Mathematics Subject Classification ID

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

Recommendations

• A Refinement Framework for Autonomous Agents
• scientific article; zbMATH DE number 1754695
• scientific article; zbMATH DE number 1136652
• A framework for modeling autonomy of an agent
• Markov decision processes and the belief-desire-intention model. Bridging the gap for autonomous agents

Cites work

• A Refinement Framework for Autonomous Agents
• Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings
• Agent deliberation in an executable temporal framework
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2080355 (Why is no real title available?)
• scientific article; zbMATH DE number 1759751 (Why is no real title available?)
• scientific article; zbMATH DE number 7015122 (Why is no real title available?)
• scientific article; zbMATH DE number 2087354 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Modeling in Event B. System and software engineering.
• Practical reasoning as presumptive argumentation using action based alternating transition systems
• Programming rational agents in GOAL
• The refinement of multi-agent systems
• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

Cited in

(1)

• A Refinement Framework for Autonomous Agents

Describes a project that uses

Uses Software

• Rodin

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

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