TY - GEN
T1 - A preferential framework for trivialization-resistant reasoning with inconsistent information
AU - Zamansky, Anna
PY - 2012
Y1 - 2012
N2 - Paraconsistent entailments based on more than two truth-values are useful formalisms for handling inconsistent information in large knowledge bases. However, such entailments suffer from two major drawbacks: they are often too cautious to allow intuitive classical inference, and are trivialization-prone. Two preferential mechanisms have been proposed to deal with these two problems, but they are formulated in different terms, and are hard to combine. This paper is a step towards a systematization and generalization of these approaches. We define an abstract framework, which allows for incorporating various preferential criteria into paraconsistent entailments in a modular way. We show that many natural cases of previously studied entailments can be simulated within this framework. Its usefulness is also demonstrated using a concrete domain related to ancient geography.
AB - Paraconsistent entailments based on more than two truth-values are useful formalisms for handling inconsistent information in large knowledge bases. However, such entailments suffer from two major drawbacks: they are often too cautious to allow intuitive classical inference, and are trivialization-prone. Two preferential mechanisms have been proposed to deal with these two problems, but they are formulated in different terms, and are hard to combine. This paper is a step towards a systematization and generalization of these approaches. We define an abstract framework, which allows for incorporating various preferential criteria into paraconsistent entailments in a modular way. We show that many natural cases of previously studied entailments can be simulated within this framework. Its usefulness is also demonstrated using a concrete domain related to ancient geography.
UR - http://www.scopus.com/inward/record.url?scp=84866933830&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-33353-8_36
DO - 10.1007/978-3-642-33353-8_36
M3 - Conference contribution
AN - SCOPUS:84866933830
SN - 9783642333521
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 463
EP - 475
BT - Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings
T2 - 13th European Conference on Logics in Artificial Intelligence, JELIA 2012
Y2 - 26 September 2012 through 28 September 2012
ER -