Knowledge, action, and the frame problem

DOI10.1016/S0004-3702(02)00365-XzbMath1079.68625MaRDI QIDQ814427

Hector J. Levesque, Richard B. Scherl

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Action; Frame problem; Knowledge; Situation calculus

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

John McCarthy's legacy, A semantic characterization of a useful fragment of the situation calculus with knowledge, Iterated belief change in the situation calculus, Belief extrapolation (or how to reason about observations and unpredicted change), The situation calculus: a case for modal logic, Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results, A logic of intention and attempt, Property persistence in the situation calculus, Knowledge and communication: A first-order theory, Knowledge updates: Semantics and complexity issues, Comments to `Logics of public communications', Using temporal logics of knowledge for specification and verification -- a case study, Considerations on Belief Revision in an Action Theory, A Semantical Account of Progression in the Presence of Defaults, Belief Change: from Situation Calculus to Modal Logic, Practical reasoning about knowledge states for open world planning with sensing

Uses Software

• GOLOG

Cites Work

• Representing knowledge within the situation calculus using interval-valued epistemic fluents
• Proving properties of states in the situation calculus
• Reasoning about noisy sensors and effectors in the situation calculus
• Ability and knowing how in the situation calculus
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Some contributions to the metatheory of the situation calculus
• State Constraints Revisited
• GOLOG: A logic programming language for dynamic domains
• On knowledge-based programming with sensing in the situation calculus
• Formalizing sensing actions -- a transition function based approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item