Modeling belief in dynamic systems. I: Foundations

DOI10.1016/S0004-3702(97)00040-4zbMath0894.68146WikidataQ57233890 ScholiaQ57233890MaRDI QIDQ1389534

Nir Friedman, Joseph Y. Halpern

Publication date: 30 June 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

belief revisionbelief changeplausibility measuresminimal changelogic of knowledgelogic of beliefAGM postulateslogic of time

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (13)

Logics for belief as maximally plausible possibility ⋮ Logics of Rational Interaction ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Merging DEL and ETL ⋮ Using counterfactuals in knowledge-based programming ⋮ A knowledge-based analysis of global function computation ⋮ Intricate axioms as interaction axioms ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ INTRANSITIVITY AND VAGUENESS ⋮ Conditioning and updating evidence ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ Random belief system dynamics in complex networks under time-varying logic constraints ⋮ Logic and Game Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quick completeness proofs for some logics of conditionals
• Two modellings for theory change
• Knowledge, belief and time
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Nonmonotonic reasoning, preferential models and cumulative logics
• Propositional knowledge base revision and minimal change
• A guide to completeness and complexity for modal logics of knowledge and belief
• Propositional dynamic logic of regular programs
• Modelling knowledge and action in distributed systems
• Belief as defeasible knowledge
• Unifying default reasoning and belief revision in a modal framework
• Conditional logics of normality: A modal approach
• On the interpretation of decision problems with imperfect recall
• On the logic of theory change: Partial meet contraction and revision functions
• On Some Completeness Theorems in Modal Logic
• Knowledge, probability, and adversaries
• Reasoning about knowledge and probability
• Applications of a logic of knowledge to motion planning under uncertainty
• Updating Subjective Probability
• Truth and Simplicity
• On Information and Sufficiency
• Counterfactuals

This page was built for publication: Modeling belief in dynamic systems. I: Foundations