A General Framework for Reasoning On Inconsistency

This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied.  The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multipl...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Martinez, Maria Vanina (Autor), Molinaro, Cristian (Autor), Subrahmanian, V.S (Autor), Amgoud, Leila (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:SpringerBriefs in Computer Science,
Temas:
Artificial intelligence.
Database management.
Computer science.
Data mining.
Machine theory.
Artificial Intelligence.
Database Management.
Computer Science Logic and Foundations of Programming.
Data Mining and Knowledge Discovery.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction and Preliminary Concepts
  • A General Framework for Handling Inconsistency
  • Algorithms
  • Handling Inconsistency in Monotonic Logics
  • Link with Existing Approaches
  • Conclusions.

Ejemplares similares