Paraconsistent query answering systems
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of par...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
Springer-Verlag
2002
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.62 http://akira.ruc.dk/~jv/fqas2002.pdf |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.575.62 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.575.62 2023-05-15T13:30:31+02:00 Paraconsistent query answering systems Jørgen Villadsen The Pennsylvania State University CiteSeerX Archives 2002 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.62 http://akira.ruc.dk/~jv/fqas2002.pdf en eng Springer-Verlag http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.62 http://akira.ruc.dk/~jv/fqas2002.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://akira.ruc.dk/~jv/fqas2002.pdf text 2002 ftciteseerx 2016-01-08T12:44:21Z Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in query answering systems. We compare the paraconsistent and the non-monotonic solutions to the problem of con-tradictions. We propose a many-valued paraconsistent logic based on a simple notion of indeterminacy. In particular we describe the semantics of the logic using key equalities for the logical operators. We relate our approach to works on bilattices. We also discuss and provide formal-izations of two case studies, notably the well-known example involving penguins and a more interesting example in the domain of medicine. Paraconsistent logic can be seen as an alternative, for example, to non-monotonic logic. Non-monotonists reject monotony because they think that there are experiences (most of the time involving birds) which show that monotony is wrong and in particular leads to some contradictions. But one who thinks the paraconsistent way would reject the principle of non contradiction and not monotony. The strategy of the paracon-sistentist is more imaginative, he accepts to see penguins flying in the sky of Hawai’s beaches and pink floyds surfing on Antarctica’s permafrost. It seems to us that the future shall give the preference to paraconsistent logic taking in account the progress of genitical biology which already produces chicken without feathers, and in the future we may have flying pigs. In such an absurd world, it will make no sense to reason by default, because everything could be true by default. Text Antarc* permafrost Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in query answering systems. We compare the paraconsistent and the non-monotonic solutions to the problem of con-tradictions. We propose a many-valued paraconsistent logic based on a simple notion of indeterminacy. In particular we describe the semantics of the logic using key equalities for the logical operators. We relate our approach to works on bilattices. We also discuss and provide formal-izations of two case studies, notably the well-known example involving penguins and a more interesting example in the domain of medicine. Paraconsistent logic can be seen as an alternative, for example, to non-monotonic logic. Non-monotonists reject monotony because they think that there are experiences (most of the time involving birds) which show that monotony is wrong and in particular leads to some contradictions. But one who thinks the paraconsistent way would reject the principle of non contradiction and not monotony. The strategy of the paracon-sistentist is more imaginative, he accepts to see penguins flying in the sky of Hawai’s beaches and pink floyds surfing on Antarctica’s permafrost. It seems to us that the future shall give the preference to paraconsistent logic taking in account the progress of genitical biology which already produces chicken without feathers, and in the future we may have flying pigs. In such an absurd world, it will make no sense to reason by default, because everything could be true by default. |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Jørgen Villadsen |
spellingShingle |
Jørgen Villadsen Paraconsistent query answering systems |
author_facet |
Jørgen Villadsen |
author_sort |
Jørgen Villadsen |
title |
Paraconsistent query answering systems |
title_short |
Paraconsistent query answering systems |
title_full |
Paraconsistent query answering systems |
title_fullStr |
Paraconsistent query answering systems |
title_full_unstemmed |
Paraconsistent query answering systems |
title_sort |
paraconsistent query answering systems |
publisher |
Springer-Verlag |
publishDate |
2002 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.62 http://akira.ruc.dk/~jv/fqas2002.pdf |
genre |
Antarc* permafrost |
genre_facet |
Antarc* permafrost |
op_source |
http://akira.ruc.dk/~jv/fqas2002.pdf |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.62 http://akira.ruc.dk/~jv/fqas2002.pdf |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766009595520614400 |