scientific article; zbMATH DE number 2046116

Publication date: 23 February 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Bayesian networks belief revision default reasoning reasoning about counterfactuals semantics of default

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Possibilistic Justification Logic ⋮ On Aggregating Probabilistic Evidence ⋮ A new interpretation of complex membership grade ⋮ Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases ⋮ Logics of Rational Interaction ⋮ Decision Making in the Environment of Heterogeneous Uncertainty ⋮ Bayesian revision of a prior given prior-data conflict, expert opinion, or a similar insight: a large-deviation approach ⋮ Epistemic justification: its subjective and its objective ways ⋮ General truthfulness characterizations via convex analysis ⋮ A Bayesian interpretation of the Monty Hall problem with epistemic uncertainty ⋮ PROBABILISTIC STABILITY, AGM REVISION OPERATORS AND MAXIMUM ENTROPY ⋮ An elementary belief function logic ⋮ On counting propositional logic and Wagner's hierarchy ⋮ Tracking probabilistic truths: a logic for statistical learning ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs ⋮ Towards a unified view on logics for uncertainty ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ A Survey of Ranking Theory ⋮ Introducing Grades in Deontic Logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Simultaneous belief updates via successive Jeffrey conditionalization ⋮ Probabilities on sentences in an expressive logic ⋮ The consistency argument for ranking functions ⋮ Linguistic quantifiers modeled by Sugeno integrals ⋮ Decision making on the sole basis of statistical likelihood ⋮ Why Bother with Syntax? ⋮ Comments to `Logics of public communications' ⋮ The cognitive structure of surprise: looking for basic principles ⋮ The Quest for Uncertainty ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ DEGREE SUPERVALUATIONAL LOGIC ⋮ Aggregating disparate estimates of chance ⋮ A Bridge between Probability and Possibility in a Comparative Framework ⋮ Conditionals and consequences ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Great expectations. I: On the customizability of generalized expected utility ⋮ Quantification of integrity ⋮ Bootstrap confirmation made quantitative ⋮ Connectionist computations of intuitionistic reasoning ⋮ Belief revision generalized: a joint characterization of Bayes' and Jeffrey's rules ⋮ Plausibilistic coherence ⋮ COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS ⋮ Exploring Extensions of Possibilistic Logic over Gödel Logic ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Conditionalization and total knowledge ⋮ An algebraic treatment of imprecise probabilities ⋮ Communication strategies in games ⋮ A Modal Representation of Graded Medical Statements ⋮ Belief Functions on MV-Algebras of Fuzzy Sets: An Overview ⋮ Dynamic Epistemic Logics ⋮ Logic and Probabilistic Update ⋮ Rationality as conformity ⋮ Handling Interventions with Uncertain Consequences in Belief Causal Networks ⋮ Two concepts of plausibility in default reasoning ⋮ Formal epistemology ⋮ Graphoid properties of epistemic irrelevance and independence ⋮ The philosophy of Bayes factors and the quantification of statistical evidence ⋮ Probabilistic modelling, inference and learning using logical theories ⋮ A computationally grounded, weighted doxastic logic ⋮ Lexicographic probability, conditional probability, and nonstandard probability ⋮ Approximate algorithms for credal networks with binary variables ⋮ Probabilistic logic with independence ⋮ Specifying and reasoning about uncertain agents ⋮ Soundness and completeness results for LEA and probability semantics ⋮ Rational acceptance and conjunctive/disjunctive absorption ⋮ Possibilistic conditioning framed in fuzzy logics ⋮ Inferring probability comparisons ⋮ The measurement of ranks and the laws of iterated contraction ⋮ Introduction: Combining probability and logic ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ Probabilistic reasoning in a classical logic ⋮ Geometrical aspects of possibility measures on finite domain MV-clans ⋮ Extension of belief functions to infinite-valued events ⋮ Probabilistic reasoning with graphical security models ⋮ A probabilistic logic based on the acceptability of gambles ⋮ Fuzzy memberships as likelihood functions in a possibilistic framework ⋮ A necessary condition of Pontryagin type for fuzzy fractional optimal control problems ⋮ My beliefs about your beliefs: a case study in theory of mind and epistemic logic ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ The logic of uncertain justifications ⋮ An algebraic theory for data linkage ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ Extending possibilistic logic over Gödel logic ⋮ A probabilistic interpretation of the medical expert system CADIAG-2 ⋮ Uncertainty, learning, and the ``problem of dilation ⋮ Generalized Bayesian inference in a fuzzy context: from theory to a virtual reality application ⋮ Inductive reasoning about unawareness ⋮ Assessing climate model projections: state of the art and philosophical reflections ⋮ Logics for belief functions on MV-algebras ⋮ Bisimulation for conditional modalities ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Lost in translation: unknowable propositions in probabilistic frameworks ⋮ The complexity of Bayesian networks specified by propositional and relational languages ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Boolean algebras of conditionals, probability and logic ⋮ A graded BDI agent model to represent and reason about preferences ⋮ A logical characterization of coherence for imprecise probabilities ⋮ State morphism MV-algebras ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Weak and strong limit theorems for stochastic processes under nonadditive probability ⋮ Probabilistic constraints for nonlinear inverse problems ⋮ Applied logic without psychologism ⋮ Defeasible conditionalization ⋮ The principle of maximum entropy and a problem in probability kinematics ⋮ Inferential processes leading to possibility and necessity ⋮ Logics of imprecise comparative probability ⋮ Open-world probabilistic databases: semantics, algorithms, complexity ⋮ On compositional reasoning about anonymity and privacy in epistemic logic ⋮ Utilitarianism with and without expected utility ⋮ An accuracy argument in favor of ranking theory ⋮ Quantum cognition and bounded rationality ⋮ New theory about old evidence. A framework for open-minded Bayesianism ⋮ Towards classifying propositional probabilistic logics ⋮ Keep changing your beliefs, aiming for the truth ⋮ Two problems of direct inference ⋮ Decision theory and cognitive choice ⋮ Probabilization of logics: completeness and decidability ⋮ Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ Plausible reasoning and graded information: a unified approach ⋮ Natural language and logic of agency ⋮ Conditioning and interpretation shifts ⋮ Quantification over propositional formulas in probability logic: decidability issues ⋮ Inferential models and relevant algorithms in a possibilistic framework ⋮ Reasoning about rationality ⋮ Manipulating games by sharing information ⋮ Evidence with uncertain likelihoods ⋮ Probability logic, logical probability, and inductive support ⋮ A meaning based information theory - informalogical space: basic concepts and convergence of information sequences ⋮ Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem ⋮ Uncertainty and persistence: a Bayesian update semantics for probabilistic expressions ⋮ Probabilistic unawareness ⋮ A necessary condition of Pontryagin type for fuzzy control systems ⋮ The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws ⋮ Learning to assign degrees of belief in relational domains ⋮ Random and fuzzy sets in coarse data analysis ⋮ A utility based evaluation of logico-probabilistic systems ⋮ Possibilistic randomisation in strategic-form games ⋮ Credence for conclusions: a brief for Jeffrey's rule ⋮ Fuzzy optimal control problem of several variables ⋮ Probabilistic dynamic belief revision ⋮ Logic of convex order ⋮ Conditionals right and left: probabilities for the whole family ⋮ Dynamic update with probabilities ⋮ The logic of qualitative probability ⋮ The impossibility of agreeing to disagree: an extension of the sure-thing principle ⋮ Probabilistic satisfiability and coherence checking through integer programming ⋮ A belief revision framework for revising epistemic states with partial epistemic states ⋮ Do inferential processes affect uncertainty frameworks? ⋮ Kuznetsov independence for interval-valued expectations and sets of probability distributions: properties and algorithms