Belief Revision in Non-Classical Logics

• Κύριος συγγραφέας: Ribeiro, Márcio Moretto (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Σειρά: SpringerBriefs in Computer Science,
• Θέματα: Computer science.; Epistemology.; Logic.; Ontology.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics....

Πίνακας περιεχομένων:

• Preface
• Introduction
• Consequence
• Logics
• Classical Belief Revision
• AGM Contraction in Non-Classical Logics
• AGM Revision in Logics without Negation
• Base Revision in Logics without Negation
• Algorithms for Belief Bases
• Conclusion
• Index.