From knowledge-based programs to graded belief-based programs. I: On-line reasoning

DOI10.1007/s11229-005-1350-1zbMath1085.68163OpenAlexW2064507541MaRDI QIDQ813424

Jérôme Lang, Noël Laverny

Publication date: 8 February 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-1350-1

zbMATH Keywords

doxastic logic KD45

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (12)

Consistency-Based Reliability Assessment ⋮ Using inconsistency measures for estimating reliability ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs ⋮ Negation of Graded Beliefs ⋮ Unnamed Item ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ A framework for managing uncertain inputs: an axiomization of rewarding ⋮ Knowledge-based programs as succinct policies for partially observable domains ⋮ A computationally grounded logic of graded belief ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling ⋮ A logical formalization of the OCC theory of emotions

Cites Work

• Planning and acting in partially observable stochastic domains
• Nonmonotonic causal theories
• A unified model of qualitative belief change: a dynamical systems perspective
• On the logic of iterated belief revision
• Reasoning about noisy sensors and effectors in the situation calculus
• A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
• On the revision of probabilistic beliefs using uncertain evidence
• Intelligent Agents and Multi-Agent Systems
• Upper and Lower Probabilities Induced by a Multivalued Mapping
• On knowledge-based programming with sensing in the situation calculus
• Planning and control in artificial intelligence: A unifying perspective
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From knowledge-based programs to graded belief-based programs. I: On-line reasoning