Belief Revision in Non-Classical Logics

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....

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ribeiro, Márcio Moretto (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:SpringerBriefs in Computer Science,
Temas:
Artificial intelligence.
Machine theory.
Mathematical logic.
Knowledge, Theory of.
Logic.
Ontology.
Artificial Intelligence.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Epistemology.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares