Paraconsistent Many-Valued Logic in GUHA Framework
Research output: Contribution to journal › Article › Scientific › peer-review
|Number of pages||8|
|Journal|| Acta Informatica Pragensia, University of Economics, Prague|
|Publication status||Published - 3 May 2018|
|Publication type||A1 Journal article-refereed|
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.