Formal theories of knowledge in AI and robotics

DOI10.1007/BF03037076zbMath0596.68061MaRDI QIDQ1079021

Stanley J. Rosenschein

Publication date: 1985

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

knowledge representationepistemic logicactionsDynamic logic

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Related Items (15)

Belief, awareness, and limited reasoning ⋮ Planning for conjunctive goals ⋮ Zero-knowledge proofs of identity ⋮ Actions on belief ⋮ The complexity of reasoning about knowledge and time. I: Lower bounds ⋮ Common knowledge and update in finite environments ⋮ On the knowledge requirements of tasks ⋮ Modeling agents as qualitative decision makers ⋮ Heterogeneous active agents. III: Polynomially implementable agents ⋮ Smart office robot collaboration based on multi-agent programming ⋮ A guide to completeness and complexity for modal logics of knowledge and belief ⋮ A logic of intentions and beliefs ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic ⋮ Multi-agent Systems and Paraconsistent Knowledge ⋮ Common knowledge revisited

Cites Work

• First-order dynamic logic
• Knowledge and common knowledge in a distributed environment
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal theories of knowledge in AI and robotics