A dynamic logic for acting, sensing, and planning

DOI10.1093/LOGCOM/10.6.787MaRDI QIDQ4528038zbMATH OpenOpenAlexFDO

Authors Luca Spalazzi, Paolo Traverso

Publication date 29 January 2001

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/10.6.787

zbMATH Keywords

dynamic logicfailuretheory of actionsplanning actionsreactive planning systemssensing actions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Planning control rules for reactive agents
• Logic Programming and Nonmonotonic Reasoning
• Reasoning about actions in dynamic linear time temporal logic
• Reasoning about action and change. A dynamic logic approach
• scientific article; zbMATH DE number 1884378

Cited in

(9)

• Model checking propositional dynamic logic with all extras
• A planning language for embedded systems
• scientific article; zbMATH DE number 4174347 (Why is no real title available?)
• Common-sense reasoning as proto-scientific agent activity
• Propositional dynamic logic with quantification over regular computation sequences
• A dynamic hybrid logic for followership
• A dynamic logic of action
• Reasoning about noisy sensors and effectors in the situation calculus
• Dynamic logic for reasoning about actions and agents

Describes a project that uses

Uses Software

• GOLOG
• Nuprl

This page was built for publication: A dynamic logic for acting, sensing, and planning

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