Paraconsistent Many-Valued Logic in GUHA Framework
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
Alkuperäiskieli | Englanti |
---|---|
Sivut | 104-111 |
Sivumäärä | 8 |
Julkaisu | Acta Informatica Pragensia, University of Economics, Prague |
Vuosikerta | 7 |
Numero | 1 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 3 toukokuuta 2018 |
OKM-julkaisutyyppi | A1 Alkuperäisartikkeli |
Tiivistelmä
The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation quantifier. This quantifier is implemented to LISp-Miner Software. The secondary aim is to demonstrate a possible usefulness of this quantifier in social and other applied sciences by examples taking from family planning context.