On knowledge-based programming with sensing in the situation calculus

DOI10.1145/383779.383780zbMath1365.68409OpenAlexW1977208552MaRDI QIDQ5738914

Ray Reiter

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/383779.383780

zbMATH Keywords

theorem provingknowledgesituation calculussensingdynamic closed-world assumptionsituation calculus programming languages

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items

Analyzing generalized planning under nondeterminism, Knowledge-based programs as building blocks for planning, The situation calculus: a case for modal logic, 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, A unifying action calculus, A semantic characterization of a useful fragment of the situation calculus with knowledge, The well-designed logical robot: learning and experience from observations to the Situation Calculus, From knowledge-based programs to graded belief-based programs. I: On-line reasoning, Knowledge, action, and the frame problem

Uses Software

• GOLOG