Progression and verification of situation calculus agents with bounded beliefs

DOI10.1007/S11225-015-9626-ZMaRDI QIDQ310089zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos

Publication date 7 September 2016

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-015-9626-z

zbMATH Keywords

mu-calculussituation calculusprogressiononline executionreasoning about actionsverification of agent behaviors

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• LTL verification of online executions with sensing in bounded situation calculus
• Bounded situation calculus action theories
• A database-type approach for progressing action theories with bounded effects
• Reasoning about noisy sensors and effectors in the situation calculus
• Developing bounded reasoning

Cites work

• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1390352 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A computationally grounded logic of visibility, perception, and knowledge
• A description logic based situation calculus
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Bounded situation calculus action theories
• Conformant plans and beyond: principles and complexity
• GOLOG: A logic programming language for dynamic domains
• How to progress a database
• How to progress a database. III
• Knowledge, action, and the frame problem
• LTL verification of online executions with sensing in bounded situation calculus
• Modal and temporal properties of processes
• On first-order definability and computability of progression for local-effect actions and beyond
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• On the verification of very expressive temporal properties of non-terminating Golog programs
• Progression and verification of situation calculus agents with bounded beliefs
• Reasoning about agent programs using ATL-like logics
• Situation calculus game structures and GDL
• Some contributions to the metatheory of the situation calculus
• The cognitive agents specification language and verification environment
• Using the Maude term rewriting language for agent development with formal foundations
• Verification of agent-based artifact systems
• Verification of description logic knowledge and action bases
• Verification on infinite structures.

Cited in

(6)

• The computational complexity of scenario-based agent verification and design
• Bounded situation calculus action theories
• Progression and verification of situation calculus agents with bounded beliefs
• Knowledge-based programs as succinct policies for partially observable domains
• LTL verification of online executions with sensing in bounded situation calculus
• Non-terminating processes in the situation calculus

Describes a project that uses

Uses Software

• IndiGolog
• MCMAS
• Maude
• GOLOG

This page was built for publication: Progression and verification of situation calculus agents with bounded beliefs

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