A Logic for Reasoning about Upper Probabilities

We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization for the logic, and show that the satisfiability problem is NP-complete, no harder than satisfiability for propositional logic.

• Publication year

  2001

• Venue

  Conference on Uncertainty in Artificial Intelligence

• Publication date

  2001-08-02

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1613/JAIR.985arXiv 1408.1485
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Reasoning about uncertainty

  2003cited by this paper
• Reasoning about Expectation

  2002cited by this paper
• Alternative Semantics for Unawareness

  2001cited by this paper
• Reasoning with imprecise probabilities

  2000influential reference
• Applied Linear Algebra And Matrix Analysis

  1999influential reference
• First steps in modal logic

  1997cited by this paper
• A Logical View of Probability

  1994cited by this paper
• Statistical Reasoning with Imprecise Probabilities

  1990influential reference
• Uncertainty, belief, and probability

  1989cited by this paper
• A logic for reasoning about probabilities

  1988influential reference
• Bayesian and Non-Bayesian Evidential Updating

  1987cited by this paper
• Introduction to mathematical logic (3. ed.)

  1987cited by this paper
• Infinitely subadditive capacities as upper envelopes of measures

  1985influential reference
• FUZZY INFORMATION AND DECISION PROCESSES

  1981cited by this paper
• Obere und untere Wahrscheinlichkeiten

  1977cited by this paper
• On Indeterminate Probabilities

  1974cited by this paper
• Introduction to mathematical logic

  1973cited by this paper
• Principles of mathematical analysis

  1964cited by this paper
• Consistency in Statistical Inference and Decision

  1961cited by this paper
• Multiply Subadditive Functions

  1952cited by this paper
• Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors

  1913cited by this paper

• Complexity of Łukasiewicz Modal Probabilistic Logics

  2025influential citation
• Coalgebraic Modal Logic for Dynamic Systems with Uncertainty

  2024influential citation
• A modal logic for uncertainty: a completeness theorem

  2023cites this paper
• Probabilistic Extensions of Various Logical Systems

  2020cites this paper
• Representations of Uncertainty in Artificial Intelligence: Probability and Possibility

  2020cites this paper
• Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities

  2019cites this paper
• A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators

  2018cites this paper
• A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities

  2017cites this paper
• Logics with lower and upper probability operators

  2017influential citation
• A logic with Upper and Lower Probability Operators

  2015influential citation
• On Kolmogorov–Gödel–type Interpretations of Classical Logic

  2015cites this paper
• Imprecise probability for non-commuting observables

  2014cites this paper
• Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty

  2013cites this paper
• A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques

  2013cites this paper
• Upper & Lower Probabilities

  2010cites this paper
• The craft of model making: PSPACE bounds for non-iterative modal logics

  2008influential citation
• Shallow Models for Non-iterative Modal Logics

  2008cites this paper
• Representing upper probability Measures over rational Lukasiewicz logic.

  2008influential citation
• A Literature Review on Artificial Intelligence

  2008cites this paper
• Uncertainty as a Modality over t-norm Based Logics

  2007cites this paper
• A Semantic PSPACE Criterion for the Next 700 Rank-0-1 Modal Logics

  2007cites this paper
• A probabilistic logic based on the acceptability of gambles

  2007cites this paper
• Using Sets of Probability Measures to Represent Uncertainty

  2006cites this paper
• A Categorical Approach to Data Fusion

  2006cites this paper
• Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs

  2005cites this paper
• Basing Probabilistic Logic on Gambles

  2005cites this paper
• Reasoning with uncertainty and context-dependent languages

  2005influential citation
• Sensor data fusion for context-aware computing using dempster-shafer theory

  2004cites this paper
• Possibilistic logic: a retrospective and prospective view

  2004cites this paper
• U − Sets as probabilistic sets

  2003cites this paper
• Possibility-Probability Relation in Medical Models

  2003cites this paper
• Characterizing and reasoning about probabilistic and non-probabilistic expectation

  2003cites this paper
• Possibilistic logic : a retrospective and prospective view

  2003cites this paper
• Reasoning about Expectation

  2002cites this paper