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

DOI10.1007/S11225-018-9808-6zbMATH Open1477.68296OpenAlexW2808170001MaRDI QIDQ2009766FDOQ2009766

Hector J. Levesque, James 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

nondeterminismknowledge representationreasoning about action

Mathematics Subject Classification ID

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

Cites Work

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

Uses Software

• GOLOG

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2009766)