Semantical investigations into nonmonotonic and probabilistic logics

DOI10.1007/s10472-012-9310-1zbMath1280.68245MaRDI 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 logic; probabilistic logic; institution; big-stepped probability; conditional object; institution morphism; qualitative logic

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem, Semantical investigations into nonmonotonic and probabilistic logics, Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations

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