Reasoning about noisy sensors and effectors in the situation calculus
From MaRDI portal
Publication:1606305
DOI10.1016/S0004-3702(99)00031-4zbMath0996.68192OpenAlexW2569901565WikidataQ126550514 ScholiaQ126550514MaRDI QIDQ1606305
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00031-4
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)
Related Items
Analyzing generalized planning under nondeterminism, Practical solution techniques for first-order MDPs, A logical theory of localization, A description logic based situation calculus, Public announcements, public assignments and the complexity of their logic, Belief revision and projection in the epistemic situation calculus, Probabilistic Event Calculus for Event Recognition, The situation calculus: a case for modal logic, Epistemic planning: perspectives on the special issue, On the progression of belief, Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs, Robot location estimation in the situation calculus, Revising beliefs on the basis of evidence, 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, SLAP: specification logic of actions with probability, The well-designed logical robot: learning and experience from observations to the Situation Calculus, An epistemic approach to nondeterminism: believing in the simplest course of events, A probabilistic interval-based event calculus for activity recognition, Probabilistic sentence satisfiability: an approach to PSAT, Partially observable game-theoretic agent programming in Golog, Regression and progression in stochastic domains, Interpreting an action from what we perceive and what we expect, Towards an integration science. The influence of Richard Bellman on our research., Dynamic Epistemic Logics, Incorporating Action Models into the Situation Calculus, NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS, From knowledge-based programs to graded belief-based programs. I: On-line reasoning, Knowledge, action, and the frame problem
Uses Software
