Representing nonmonotonic inference based on c-representations as an SMT problem

DOI10.1007/978-3-031-45608-4_17MaRDI QIDQ6587922zbMATH OpenFDO

Authors Martin von Berg, Arthur Sanin, C. Beierle

Publication date 15 August 2024

Full work available at URL https://doi.org/10.1007/978-3-031-45608-4_17

zbMATH Keywords

c-inferencec-representationconditionalconditional knowledge basesatisfiability modulo theoriesSMT with linear arithmetic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations

Cites work

• A kinematics principle for iterated revision
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Compilation of conditional knowledge bases for computing c-inference relations
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• Conditional descriptor revision and its modelling by a CSP
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Descriptor revision
• Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• The logic of conditionals. An application of probability to deductive logic

Cited in

(5)

• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
• Scaling up nonmonotonic c-inference via partial MaxSAT problems
• The InfOCF library for reasoning with conditional belief bases
• Scaling up reasoning from conditional belief bases
• An implementation of nonmonotonic reasoning with c-representations using an SMT solver

This page was built for publication: Representing nonmonotonic inference based on c-representations as an SMT problem

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