Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation

DOI10.1016/j.ijar.2006.07.015zbMath1118.68167OpenAlexW1981283924MaRDI QIDQ881802

Thomas Lukasiewicz

Publication date: 18 May 2007

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2006.07.015

zbMATH Keywords

algorithms for manipulating imprecise probabilitiesconvex sets of probability measuresmodel-theoretic and nonmonotonic probabilistic logicsprobability rankings

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (7)

A logic with approximate conditional probabilities that can model default reasoning ⋮ Expressive probabilistic description logics ⋮ Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction ⋮ Interpolative Boolean Logic ⋮ GPS trajectory data segmentation based on probabilistic logic ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Qualitative Possibilities and Necessities

Uses Software

• lp_solve

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weakening conflicting information for iterated revision and knowledge integration
• Combining probabilistic logic programming with the power of maximum entropy
• Probabilistic logic under coherence: complexity and algorithms
• Probabilistic logic
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the consistency of defeasible databases
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• The logical foundations of statistical inference
• Anytime deduction for probabilistic logic
• Nonmonotonic reasoning, conditional objects and possibility theory
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• Probabilistic default reasoning with conditional constraints
• A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments
• Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
• A logic for reasoning about probabilities
• Another perspective on default reasoning
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Weak nonmonotonic probabilistic logics
• Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding
• From statistical knowledge bases to degrees of belief
• Probabilistic logic programming with conditional constraints
• Column Generation Methods for Probabilistic Logic
• Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
• Plausibility measures and default reasoning

This page was built for publication: Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation