Semantical investigations into nonmonotonic and probabilistic logics

DOI10.1007/s10472-012-9310-1zbMath1280.68245OpenAlexW2054294763MaRDI QIDQ1928822

Gabriele Kern-Isberner, Christoph Beierle

Publication date: 4 January 2013

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

Full work available at URL: https://doi.org/10.1007/s10472-012-9310-1

zbMATH Keywords

conditional logicprobabilistic logicinstitutionbig-stepped probabilityconditional objectinstitution morphismqualitative logic

Mathematics Subject Classification ID

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

Related Items (9)

Default consequence relations from topology and measure theory ⋮ Semantical investigations into nonmonotonic and probabilistic logics ⋮ From forgetting signature elements to forgetting formulas in epistemic states ⋮ Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Institution morphisms
• Conditional probability and defeasible inference
• Formal similarities and differences among qualitative conditional semantics
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• Nonmonotonic reasoning, conditional objects and possibility theory
• On the logic of nonmonotonic conditionals and conditional probabilities
• Semantical investigations into nonmonotonic and probabilistic logics
• The quantitative/qualitative watershed for rules of uncertain inference
• Conditionals and consequences
• A survey of belief revision and updating rules in various uncertainty models
• Institutions: abstract model theory for specification and programming
• Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Conditionals, Information, and Inference
• A BIG-STEPPED PROBABILITY APPROACH FOR DISCOVERING DEFAULT RULES

This page was built for publication: Semantical investigations into nonmonotonic and probabilistic logics