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

Public announcements, public assignments and the complexity of their logic, Incorporating Action Models into the Situation Calculus, Bounded situation calculus action theories, Progression and verification of situation calculus agents with bounded beliefs, A logical theory of localization, 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, Semantical considerations on multiagent only knowing, Approximate postdictive reasoning with answer set programming, A history based approximate epistemic action theory for efficient postdictive reasoning, Proof systems for planning under 0-approximation semantics, Robot location estimation in the situation calculus, A logic of intention and attempt, Property persistence in the situation calculus, Resolving distributed knowledge, Belief revision and projection in the epistemic situation calculus, Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems, An epistemic approach to nondeterminism: believing in the simplest course of events, Probabilistic reasoning about epistemic action narratives, Regression and progression in stochastic domains, A dynamic epistemic framework for reasoning about conformant probabilistic plans, Asynchronous knowledge with hidden actions 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, On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus, 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