Introduction and preliminary concepts

Maria Vanina Martinez*, Cristian Molinaro, V. S. Subrahmanian, Leila Amgoud

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter


The management of inconsistent knowledge bases has been intensely studied in AI for a long time now; however, most of the proposals provide an a priori conflict resolution mechanism. A user who uses a system based on this past work is forced to use the semantics implemented in the system. In this work we propose a unified framework for reasoning about inconsistency in monotonic logics that captures existing approaches as a special cases. The main goal of our proposal is to provide the end-users with a formalism that allows them to bring their domain knowledge to bear in the process of dealing with inconsistency. In this chapter, we motivate the need for such a general framework by analyzing examples of inconsistent theories using different logics. Finally, we provide an introduction to the basic concepts that we use to define our framework, in particular a brief presentation of Tarski’s abstract logic.

Original languageEnglish (US)
Title of host publicationSpringerBriefs in Computer Science
Number of pages4
StatePublished - 2013
Externally publishedYes

Publication series

NameSpringerBriefs in Computer Science
ISSN (Print)2191-5768
ISSN (Electronic)2191-5776


  • Argumentation framework
  • Linear temporal logic
  • Prefer option
  • Probabilistic logic
  • Temporal logic

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Introduction and preliminary concepts'. Together they form a unique fingerprint.

Cite this