Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

DOI10.1007/978-3-030-58285-2_15MaRDI QIDQ6488131zbMATH OpenFDO

Authors Kai Sauerwald, Jonas Haldimann, Martin von Berg, C. Beierle

Publication date 29 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-58285-2_15

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Conditional descriptor revision and its modelling by a CSP
• Descriptor revision
• Iterated descriptor revision and the logic of Ramsey test conditionals
• Descriptor revision. Belief change through direct choice
• Choice revision

Cited in

(8)

• Conditional descriptor revision and its modelling by a CSP
• Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies
• Descriptor revision
• Iterated descriptor revision and the logic of Ramsey test conditionals
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
• Representing nonmonotonic inference based on c-representations as an SMT problem
• An implementation of nonmonotonic reasoning with c-representations using an SMT solver
• Ranking kinematics for revising by contextual information

This page was built for publication: Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

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