An analysis of first-order logics of probability
From MaRDI portal
Publication:757340
DOI10.1016/0004-3702(90)90019-VzbMath0723.03007MaRDI QIDQ757340
Publication date: 1990
Published in: Artificial Intelligence (Search for Journal in Brave)
undecidabilityprobability modelspossible worldscompletenessprobability logictwo-sorted logicaxiomatizationsfrequency conception of probabilityprobabilities of propositionsprobabilities on a domainsemantics for probabilistic reasoning within an object languagesubjective view of probabilitytype 2-probability structuretype-3 structure
Probability and inductive logic (03B48) Foundations of classical theories (including reverse mathematics) (03B30) Axioms; other general questions in probability (60A05)
Related Items (93)
Anytime deduction for probabilistic logic ⋮ PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT ⋮ Inferences in probability logic ⋮ Fast learning of relational dependency networks ⋮ Probabilistic modelling, inference and learning using logical theories ⋮ A logical theory of localization ⋮ Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ MEBN: a language for first-order Bayesian knowledge bases ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ Can logic be combined with probability? Probably ⋮ Probabilistic reasoning in a classical logic ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Information and evidence in logic systems ⋮ Possibilistic logic: a retrospective and prospective view ⋮ Logics with lower and upper probability operators ⋮ Collapsing probabilistic hierarchies. I ⋮ Improving expressivity of inductive logic programming by learning different kinds of fuzzy rules ⋮ Weighted positive binary decision diagrams for exact probabilistic inference ⋮ PR-OWL - a language for defining probabilistic ontologies ⋮ Multi-agent logics for reasoning about higher-order upper and lower probabilities ⋮ The independent choice logic for modelling multiple agents under uncertainty ⋮ Reasoning About Degrees of Confirmation ⋮ A logic of time, chance, and action for representing plans ⋮ From statistical knowledge bases to degrees of belief ⋮ Logical perspectives on the foundations of probability ⋮ The Probabilistic Description Logic ⋮ Reasoning about knowledge and conditional probability ⋮ Lifted inference for statistical statements in probabilistic answer set programming ⋮ Elementary invariants for quantified probability logic ⋮ On counting propositional logic and Wagner's hierarchy ⋮ Syntactic reasoning with conditional probabilities in deductive argumentation ⋮ Reasoning defeasibly about probabilities ⋮ Asymptotic elimination of partially continuous aggregation functions in directed graphical models ⋮ Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation ⋮ Dynamic reasoning with qualified syllogisms ⋮ Robot location estimation in the situation calculus ⋮ A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics ⋮ What to expect from a set of itemsets? ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ A continuum-valued logic of degrees of probability ⋮ Reference classes and relational learning ⋮ Statistical statements in probabilistic logic programming ⋮ Structured probabilistic inference ⋮ Semiring programming: a semantic framework for generalized sum product problems ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Focused most probable world computations in probabilistic logic programs ⋮ Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination ⋮ Probabilities on sentences in an expressive logic ⋮ The emergence of reasons conjecture. ⋮ Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities ⋮ A Comparison between Two Statistical Relational Models ⋮ Consistency checking and querying in probabilistic databases under integrity constraints ⋮ A quantified coalgebraic van Benthem theorem ⋮ Logics of imprecise comparative probability ⋮ Query evaluation in probabilistic relational databases ⋮ An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) ⋮ Model-based exception mining for object-relational data ⋮ Towards classifying propositional probabilistic logics ⋮ Modelling relational statistics with Bayes nets ⋮ Probabilistic Logic over Paths ⋮ Speeding up parameter and rule learning for acyclic probabilistic logic programs ⋮ Probabilistic generalization of formal concepts ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ A framework for management of semistructured probabilistic data ⋮ PRL: a probabilistic relational language ⋮ Markov logic networks ⋮ Unnamed Item ⋮ Paraconsistent informational logic ⋮ Precise induction from statistical data ⋮ A general approach to reasoning with probabilities ⋮ Probabilistic reasoning with answer sets ⋮ A Behavioral Comparison of Some Probabilistic Logic Models ⋮ Probabilistic sentence satisfiability: an approach to PSAT ⋮ Robust logics ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Learning probabilistic logic models from probabilistic examples ⋮ On the relative expressiveness of Bayesian and neural networks ⋮ Regression and progression in stochastic domains ⋮ Constructing Markov Logic Networks from First-Order Default Rules ⋮ Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework ⋮ The probability nesting game ⋮ In conjunction with qualitative probability ⋮ Some first-order probability logics ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures ⋮ AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS ⋮ A logic for inductive probabilistic reasoning ⋮ Formal frameworks for approximate reasoning ⋮ Unnamed Item ⋮ Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy ⋮ Logics with Probability Operators ⋮ Probabilistic Modeling of Default Reasoning ⋮ Combining probabilistic logic programming with the power of maximum entropy
Cites Work
This page was built for publication: An analysis of first-order logics of probability
