An epistemic approach to nondeterminism: believing in the simplest course of events

DOI10.1007/s11225-018-9808-6zbMath1477.68296OpenAlexW2808170001MaRDI QIDQ2009766

Hector J. Levesque, James P. Delgrande

Publication date: 29 November 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9808-6

zbMATH Keywords

knowledge representationnondeterminismreasoning about action

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Uses Software

• GOLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Iterated belief change in the situation calculus
• Knowledge, action, and the frame problem
• Weak, strong, and strong cyclic planning via symbolic model checking
• Semantical considerations on nonmonotonic logic
• Reasoning about action. II: The qualification problem
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• Reasoning about noisy sensors and effectors in the situation calculus
• The qualification problem: A solution to the problem of anomalous models
• STRIPS: A new approach to the application of theorem proving to problem solving
• On the logic of theory change: Partial meet contraction and revision functions
• Representing action and change by logic programs
• GOLOG: A logic programming language for dynamic domains

This page was built for publication: An epistemic approach to nondeterminism: believing in the simplest course of events