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

DOI10.3166/JANCL.12.189-213zbMATH Open1038.03023OpenAlexW2044153777MaRDI QIDQ4453901FDOQ4453901

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

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

Cites Work

• Title not available (Why is that?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• CHARACTERIZATION OF COHERENT CONDITIONAL PROBABILITIES AS A TOOL FOR THEIR ASSESSMENT AND EXTENSION
• Coherent numerical and ordinal probabilistic assessments
• Probabilistic logic
• A logic for reasoning about probabilities
• Conditional entailment: bridging two approaches to default reasoning.
• Nonmonotonic reasoning, conditional objects and possibility theory
• Anytime deduction for probabilistic logic
• Probabilistic default reasoning with conditional constraints
• Another perspective on default reasoning
• On the consistency of defeasible databases
• Probabilistic reasoning under coherence in System P
• A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments
• Diverse confidence levels in a probabilistic semantics for conditional logics
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Conditional events in probability assessment and revision
• Probabilistic logic programming with conditional constraints
• Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
• Title not available (Why is that?)

Cited In (32)

• Computing lower and upper expectations under epistemic independence
• Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
• Title not available (Why is that?)
• Possibilistic and probabilistic likelihood functions and their extensions: common features and specific characteristics
• Probability propagation rules for Aristotelian syllogisms
• Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation
• A logic with approximate conditional probabilities that can model default reasoning
• Semantical investigations into nonmonotonic and probabilistic logics
• Measures of inconsistency and defaults
• Transitive Reasoning with Imprecise Probabilities
• Generalizing inference rules in a coherence-based probabilistic default reasoning
• Title not available (Why is that?)
• Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects
• Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
• Probabilistic reasoning under coherence in System P
• Title not available (Why is that?)
• A probabilistic logic based on the acceptability of gambles
• Conditional models: coherence and inference through sequences of joint mass functions
• Probabilistic abduction without priors
• Transitivity in coherence-based probability logic
• Notes on ``Notes on conditional previsions
• Weak nonmonotonic probabilistic logics
• Probabilistic logic under coherence, conditional interpretations, and default reasoning
• Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding
• On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle
• Probabilistic inferences from conjoined to iterated conditionals
• Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
• Interpreting connexive principles in coherence-based probability logic
• Probabilistic logic under coherence: complexity and algorithms
• Probabilistic satisfiability and coherence checking through integer programming
• Representations of uncertainty in artificial intelligence: probability and possibility
• Connexive logic, probabilistic default reasoning, and compound conditionals

   Recommendations

• Title not available (Why is that?) 👍 👎
• Probabilistic logic under coherence, conditional interpretations, and default reasoning 👍 👎
• Probabilistic reasoning under coherence in System P 👍 👎
• Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P 👍 👎
• Weak nonmonotonic probabilistic logics 👍 👎

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

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