Paraconsistent Many-Valued Logic in GUHA Framework

Esko Turunen

doi:10.18267/j.aip.116

Paraconsistent Many-Valued Logic in GUHA Framework

Esko Turunen

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Englanti
Sivut	104-111
Sivumäärä	8
Julkaisu	Acta Informatica Pragensia
Vuosikerta	7
Numero	1
DOI - pysyväislinkit	https://doi.org/10.18267/j.aip.116
Tila	Julkaistu - 3 toukok. 2018
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisufoorumi-taso

Ei tasoa

Pääsy asiakirjaan

10.18267/j.aip.116

Siteeraa tätä

@article{e3377f773b384e248ca3ee46db7fd429,

title = "Paraconsistent Many-Valued Logic in GUHA Framework",

abstract = "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.",

author = "Esko Turunen",

year = "2018",

month = may,

day = "3",

doi = "10.18267/j.aip.116",

language = "English",

volume = "7",

pages = "104--111",

journal = "Acta Informatica Pragensia",

issn = "1805-4951",

publisher = "Prague University of Economics and Business",

number = "1",

}

TY - JOUR

T1 - Paraconsistent Many-Valued Logic in GUHA Framework

AU - Turunen, Esko

PY - 2018/5/3

Y1 - 2018/5/3

N2 - 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.

AB - 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.

U2 - 10.18267/j.aip.116

DO - 10.18267/j.aip.116

M3 - Article

SN - 1805-4951

VL - 7

SP - 104

EP - 111

JO - Acta Informatica Pragensia

JF - Acta Informatica Pragensia

IS - 1

ER -

Paraconsistent Many-Valued Logic in GUHA Framework

Abstrakti

Julkaisufoorumi-taso

Pääsy asiakirjaan

Sormenjälki

Siteeraa tätä