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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Martinez, Maria Vanina (Author), Molinaro, Cristian (Author), Subrahmanian, V.S (Author), Amgoud, Leila (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Springer New York : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:SpringerBriefs in Computer Science,
Subjects:
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.
Online Access:Texto Completo
Table of Contents:
  • Introduction and Preliminary Concepts
  • A General Framework for Handling Inconsistency
  • Algorithms
  • Handling Inconsistency in Monotonic Logics
  • Link with Existing Approaches
  • Conclusions.

Similar Items