عنوان

A general framework for reasoning on inconsistency

(Number (ISBN

1461467500 (electronic bk.)

(Number (ISBN

9781461467502 (electronic bk.)

Erroneous ISBN

9781461467496

Number

dltt

Title Proper

A general framework for reasoning on inconsistency

General Material Designation

[Book]

First Statement of Responsibility

Maria Vanina Martinez ... [et al.]

Place of Publication, Distribution, etc.

New York, NY :

Name of Publisher, Distributor, etc.

Springer,

Date of Publication, Distribution, etc.

c2013

Specific Material Designation and Extent of Item

1 online resource

Series Title

SpringerBriefs in computer science,

ISSN of Series

2191-5768

Text of Note

Includes bibliographical references and index

Text of Note

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 multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the data as well as their application needs. The brief shows that the framework is well-suited to handle inconsistency in several logics, and provides algorithms to compute preferred options. Finally, the brief shows that the framework not only captures several existing works, but also supports reasoning about inconsistency in several logics for which no such methods exist today

Title

OhioLINK electronic book center (Online)

Title

SpringerLink

Computer logic

Inconsistency (Logic)

Logic design

Number

Edition

Class number

Class number

Book number

Book number

Martinez, Maria Vanina

Ohio Library and Information Network

Date of Transaction

20130703153613.0

Electronic name

[Book]

Y