Probabilistic default reasoning with conditional constraints

DOI10.1023/A:1014445017537zbMath1002.68175OpenAlexW1956817724MaRDI QIDQ1601882

Thomas Lukasiewicz

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014445017537

zbMATH Keywords

probabilistic default reasoningconditional constraintsystem Zconditional entailmentlexicographic entailment

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (24)

Probabilistic logic under coherence: complexity and algorithms ⋮ Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs ⋮ Extending description logics with uncertainty reasoning in possibilistic logic ⋮ Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ Rational acceptance and conjunctive/disjunctive absorption ⋮ Expressive probabilistic description logics ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Inconsistency measures for probabilistic logics ⋮ Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation ⋮ Uncertain lightweight ontologies in a product-based possibility theory framework ⋮ Generalizing inference rules in a coherence-based probabilistic default reasoning ⋮ A deductive probabilistic and fuzzy object-oriented database language. ⋮ Measure Logic ⋮ Interpolative Boolean Logic ⋮ Weak nonmonotonic probabilistic logics ⋮ Reasoning with Uncertain and Inconsistent OWL Ontologies ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP ⋮ Qualitative Possibilities and Necessities ⋮ Seminormalizing a default theory ⋮ Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding ⋮ Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions ⋮ Combining probabilistic logic programming with the power of maximum entropy

This page was built for publication: Probabilistic default reasoning with conditional constraints