Knowledge, action, and the frame problem
From MaRDI portal
Publication:814427
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)
Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (39)
Analyzing generalized planning under nondeterminism ⋮ Bounded situation calculus action theories ⋮ Considerations on Belief Revision in an Action Theory ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ A logical theory of localization ⋮ Knowledge-based programs as building blocks for planning ⋮ Resolving distributed knowledge ⋮ Public announcements, public assignments and the complexity of their logic ⋮ Belief revision and projection in the epistemic situation calculus ⋮ The situation calculus: a case for modal logic ⋮ 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 ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Probabilistic reasoning about epistemic action narratives ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ A logic of intention and attempt ⋮ Knowledge and communication: A first-order theory ⋮ Knowledge updates: Semantics and complexity issues ⋮ Comments to `Logics of public communications' ⋮ On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus ⋮ 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) ⋮ An epistemic approach to nondeterminism: believing in the simplest course of events ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ Property persistence in the situation calculus ⋮ Revising event calculus theories to recover from unexpected observations ⋮ Regression and progression in stochastic domains ⋮ 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 ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ A computational model of Ostrom's institutional analysis and development framework ⋮ Incorporating Action Models into the Situation Calculus ⋮ Asynchronous knowledge with hidden actions in the situation calculus
Uses Software
Cites Work
- 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
- 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
This page was built for publication: Knowledge, action, and the frame problem
