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 logicfailureplanning actionsreactive planning systemssensing actionstheory of actions

Mathematics Subject Classification ID

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

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

(11)

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

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)