A dynamic logic for acting, sensing, and planning

DOI10.1093/LOGCOM/10.6.787zbMATH Open0965.03040OpenAlexW2171092368MaRDI QIDQ4528038FDOQ4528038

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

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

zbMATH Keywords

dynamic logicfailuretheory of actionsplanning actionsreactive planning systemssensing actions

Mathematics Subject Classification ID

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

Cited In (9)

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

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)