A General Framework for Reasoning On Inconsistency

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Database Management, General Computing
Cover of the book A General Framework for Reasoning On Inconsistency by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud, Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud ISBN: 9781461467502
Publisher: Springer New York Publication: March 20, 2013
Imprint: Springer Language: English
Author: Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
ISBN: 9781461467502
Publisher: Springer New York
Publication: March 20, 2013
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer New York

Cover of the book Genetics and Genomics of Populus by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book The Ideal Result by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Measure Theory by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Current Topics in Complement II by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Food Bites by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book MicroRNA in Development and in the Progression of Cancer by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Surgical Techniques for Prostate Cancer by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Assessing Literacy in Deaf Individuals by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book The Ethics of Cultural Heritage by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Mathematics as a Laboratory Tool by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Discrete-Time Control System Design with Applications by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Minimally Invasive Urology by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Plastid Biology by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Mars by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
Cover of the book Formal Methods in Developmental Psychology by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy