Refining autonomous agents with declarative beliefs and desires

DOI10.1007/S00165-016-0391-1zbMATH Open1358.68277OpenAlexW2525417711MaRDI QIDQ520236FDOQ520236

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

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

zbMATH Keywords

refinementautonomous agentstemporal logicobject-Zbelief and desire

Mathematics Subject Classification ID

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

Cites Work

• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Practical reasoning as presumptive argumentation using action based alternating transition systems
• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
• Agent deliberation in an executable temporal framework
• 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
• Programming Rational Agents in GOAL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Refinement Framework for Autonomous Agents

Cited In (1)

• A Refinement Framework for Autonomous Agents

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)