An analysis of first-order logics of probability

DOI10.1016/0004-3702(90)90019-VzbMATH Open0723.03007MaRDI QIDQ757340FDOQ757340

Joseph Y. Halpern

Publication date: 1990

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

Recommendations

• Decidability and expressiveness for first-order logics of probability
• Publication:5751971
• Logics in Artificial Intelligence
• Some first-order probability logics
• A logic for reasoning about probabilities

zbMATH Keywords

completenessundecidabilitytwo-sorted logicpossible worldsaxiomatizationsprobability modelsprobability logicfrequency conception of probabilityprobabilities of propositionsprobabilities on a domainsemantics for probabilistic reasoning within an object languagesubjective view of probabilitytype 2-probability structuretype-3 structure

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Foundations of classical theories (including reverse mathematics) (03B30) Axioms; other general questions in probability (60A05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic logic
• Concerning measures in first order calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A probabilistic dynamic logic
• Title not available (Why is that?)
• Addendum to ``Bayesian and non-Bayesian evidential updating
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (only showing first 100 items - show all)

• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• Model-based exception mining for object-relational data
• Decidability and expressiveness for first-order logics of probability
• MEBN: a language for first-order Bayesian knowledge bases
• Inferences in probability logic
• Modelling relational statistics with Bayes nets
• Query evaluation in probabilistic relational databases
• Fast learning of relational dependency networks
• Reasoning defeasibly about probabilities
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• Formal frameworks for approximate reasoning
• Probabilistic modelling, inference and learning using logical theories
• Speeding up parameter and rule learning for acyclic probabilistic logic programs
• The well-designed logical robot: learning and experience from observations to the Situation Calculus
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• Possibilistic logic: a retrospective and prospective view
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Towards classifying propositional probabilistic logics
• Reasoning about knowledge and conditional probability
• Reference classes and relational learning
• Learning probabilistic logic models from probabilistic examples
• Can logic be combined with probability? Probably
• Probabilities for two properties
• A logical theory of localization
• In conjunction with qualitative probability
• Focused most probable world computations in probabilistic logic programs
• Improving expressivity of inductive logic programming by learning different kinds of fuzzy rules
• Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
• Dynamic reasoning with qualified syllogisms
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Tableau reasoning for description logics and its extension to probabilities
• Probabilistic reasoning in a classical logic
• A natural prior probability distribution derived from the propositional calculus
• The independent choice logic for modelling multiple agents under uncertainty
• Robust logics
• Robot location estimation in the situation calculus
• Title not available (Why is that?)
• Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
• Reasoning About Degrees of Confirmation
• A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics
• Weighted positive binary decision diagrams for exact probabilistic inference
• Paraconsistent informational logic
• A First-order Logic for Reasoning about Knowledge and Probability
• Probabilistic description logic programs under inheritance with overriding for the semantic Web
• A continuum-valued logic of degrees of probability
• Probabilistic reasoning with answer sets
• A Survey of First-Order Probabilistic Models
• Markov logic networks
• Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
• Information and evidence in logic systems
• Structured probabilistic inference
• Probabilistic generalization of formal concepts
• PRL: a probabilistic relational language
• Combining probabilistic logic programming with the power of maximum entropy
• An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version)
• Probabilities on first order models
• PR-OWL - a language for defining probabilistic ontologies
• Some first-order probability logics
• From statistical knowledge bases to degrees of belief
• Logics of imprecise comparative probability
• Consistency checking and querying in probabilistic databases under integrity constraints
• Collapsing probabilistic hierarchies. I
• Anytime deduction for probabilistic logic
• The emergence of reasons conjecture.
• Statistical statements in probabilistic logic programming
• Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy
• Precise induction from statistical data
• Title not available (Why is that?)
• Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
• Towards logical foundations for probabilistic computation
• The Probabilistic Description Logic
• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
• Quantified neural Markov logic networks
• Probabilities on sentences in an expressive logic
• Semiring programming: a semantic framework for generalized sum product problems
• A quantified coalgebraic van Benthem theorem
• Logical perspectives on the foundations of probability
• Elementary invariants for quantified probability logic
• A Behavioral Comparison of Some Probabilistic Logic Models
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• Lifted inference for statistical statements in probabilistic answer set programming
• A framework for management of semistructured probabilistic data
• What to expect from a set of itemsets?
• Logics with Probability Operators
• Asymptotic elimination of partially continuous aggregation functions in directed graphical models
• On counting propositional logic and Wagner's hierarchy
• Probabilistic Modeling of Default Reasoning
• INTERLEAVING LOGIC AND COUNTING
• A logical consequence informed by probability
• A Comparison between Two Statistical Relational Models
• A logic for inductive probabilistic reasoning
• Constructing Markov Logic Networks from First-Order Default Rules
• Probabilistic Logic over Paths
• A logic of time, chance, and action for representing plans
• A general approach to reasoning with probabilities
• Curry and Howard meet Borel
• Logics with lower and upper probability operators
• The probability nesting game
• Probabilistic sentence satisfiability: an approach to PSAT
• On the relative expressiveness of Bayesian and neural networks

This page was built for publication: An analysis of first-order logics of probability

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