Knowledge base dynamics, abduction, and database updates

DOI10.1080/11663081.1995.10510843MaRDI QIDQ4835515zbMATH OpenOpenAlexFDO

Authors Chandrabose Aravindan, Phan Minh Dung

Publication date 6 June 1995

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1995.10510843

zbMATH Keywords

abductionbelief dynamics

Mathematics Subject Classification ID

Other applications of logic (03B80) Database theory (68P15) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1761410
• A Rational and Efficient Algorithm for View Revision in Databases
• scientific article; zbMATH DE number 1763869
• scientific article; zbMATH DE number 140403
• scientific article; zbMATH DE number 33190

Cites work

• Abductive Logic Programming
• An analysis of loop checking mechanisms for logic programs
• An argumentation-theoretic foundation for logic programming
• Belief contraction without recovery
• scientific article; zbMATH DE number 4162254 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 33190 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1333622 (Why is no real title available?)
• scientific article; zbMATH DE number 1761410 (Why is no real title available?)
• scientific article; zbMATH DE number 219222 (Why is no real title available?)
• In defense of base contraction
• Kernel contraction
• Loop checking in partial deduction
• On the correct translation of update operations on relational views
• On the logic of theory change: Partial meet contraction and revision functions
• On the logic of theory change: safe contraction
• On the status of the postulate of recovery in the logic of theory change
• Partial deduction of updateable definite logic programs
• Propositional knowledge base revision and minimal change
• Theory contraction and base contraction unified
• Theory contraction through base contraction
• Two modellings for theory change
• Update and retrieval in a relational database through a universal schema interface

Cited in

(9)

• A programmable approach to maintenance of a finite knowledge base
• scientific article; zbMATH DE number 67441 (Why is no real title available?)
• Addition and removal of information for a knowledge base with incomplete information
• Dynamic updates of non-monotonic knowledge bases
• scientific article; zbMATH DE number 1761410 (Why is no real title available?)
• scientific article; zbMATH DE number 1763869 (Why is no real title available?)
• An abductive framework for computing knowledge base updates
• Theorem proving techniques for view deletion in databases
• Removing inconsistencies in assumption-based theories through knowledge-gathering actions

This page was built for publication: Knowledge base dynamics, abduction, and database updates

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