Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP

DOI10.3166/jancl.12.189-213zbMath1038.03023OpenAlexW2044153777MaRDI QIDQ4453901

Veronica Biazzo, Giuseppe Sanfilippo, Thomas Lukasiewicz, Angelo Gilio

Publication date: 7 March 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.12.189-213

zbMATH Keywords

model-theoretic probabilistic logicprobabilistic logic under coherenceconditional constraintsdefault reasoning from conditional knowledge basesconditional probability assessments

Mathematics Subject Classification ID

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

Related Items (26)

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 ⋮ Possibilistic and probabilistic likelihood functions and their extensions: common features and specific characteristics ⋮ Transitive Reasoning with Imprecise Probabilities ⋮ Transitivity in coherence-based probability logic ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ Interpreting connexive principles in coherence-based probability logic ⋮ Computing lower and upper expectations under epistemic independence ⋮ A probabilistic logic based on the acceptability of gambles ⋮ Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation ⋮ Notes on ``Notes on conditional previsions ⋮ Semantical investigations into nonmonotonic and probabilistic logics ⋮ Connexive logic, probabilistic default reasoning, and compound conditionals ⋮ Generalizing inference rules in a coherence-based probabilistic default reasoning ⋮ Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation ⋮ Probabilistic inferences from conjoined to iterated conditionals ⋮ Weak nonmonotonic probabilistic logics ⋮ Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects ⋮ Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning ⋮ Conditional models: coherence and inference through sequences of joint mass functions ⋮ Probabilistic abduction without priors ⋮ Measures of inconsistency and defaults ⋮ Unnamed Item ⋮ Probabilistic logic under coherence, conditional interpretations, and default reasoning ⋮ Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding ⋮ Probabilistic satisfiability and coherence checking through integer programming

Cites Work

• Unnamed Item
• Unnamed Item
• Conditional entailment: bridging two approaches to default reasoning.
• Probabilistic logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the consistency of defeasible databases
• Anytime deduction for probabilistic logic
• Nonmonotonic reasoning, conditional objects and possibility theory
• Probabilistic reasoning under coherence in System P
• 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
• Diverse confidence levels in a probabilistic semantics for conditional logics
• CHARACTERIZATION OF COHERENT CONDITIONAL PROBABILITIES AS A TOOL FOR THEIR ASSESSMENT AND EXTENSION
• Probabilistic logic programming with conditional constraints
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Conditional events in probability assessment and revision
• Coherent numerical and ordinal probabilistic assessments

This page was built for publication: Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP