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.