scientific article; zbMATH DE number 4187148

MaRDI QIDQ5751985zbMATH OpenFDO

Authors Hirofumi Katsuno, Alberto O. Mendelzon

Publication date 1989

zbMATH Keywords

model-theoretic characterizationpropositional knowledge basesrevision operator

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• scientific article; zbMATH DE number 140403
• scientific article; zbMATH DE number 1269568
• Propositional knowledge base revision and minimal change
• A glance at revision and updating in knowledge bases
• Propositional belief base update and minimal change

Cited in

(36)

• Notes on the history of ideas behind AGM
• Minimal refinements of specifications in modal and temporal logics
• Minimal refinements of specifications in modal and temporal logics
• Belief revision and update: Complexity of model checking
• Default reasoning and belief revision: A syntax-independent approach
• Reducing belief revision to circumscription (and vice versa)
• A Unifying Perspective on Knowledge Updates
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Deriving properties of belief update from theories of action
• scientific article; zbMATH DE number 1763869 (Why is no real title available?)
• Fast algorithms for revision of some special propositional knowledge bases
• A logical framework for knowledge base maintenance
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 2140435 (Why is no real title available?)
• In defense of base contraction
• An algebraic approach to revising propositional rule-based knowledge bases
• Logical verification of scientific discovery
• Characterization of logic program revision as an extension of propositional revision
• Propositional knowledge base revision and minimal change
• Knowledge assimilation in domains of actions: a possible causes approach
• A test battery for rational database updating
• Prime forms and minimal change in propositional belief bases
• scientific article; zbMATH DE number 1696578 (Why is no real title available?)
• Pseudo-contractions as gentle repairs
• Dynamic adaptation of rules bases under cognitive constaints.
• Dynamic updates of non-monotonic knowledge bases
• Circumscriptive semantics for updating knowledge bases
• scientific article; zbMATH DE number 1790348 (Why is no real title available?)
• Revision with probability
• A decomposition based algorithm for maximal contractions
• scientific article; zbMATH DE number 1336335 (Why is no real title available?)
• scientific article; zbMATH DE number 219220 (Why is no real title available?)
• Prioritized dynamic retraction function on non-monotonic information updates
• An abductive framework for computing knowledge base updates
• On quantifying literals in Boolean logic and its applications to explainable AI
• Policy-based inconsistency management in relational databases

This page was built for publication:

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