Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019)

Abductive reasoning in normal residuated logic programming via bipolar max-product fuzzy relation equations

Authors
David Lobo, Maria Eugenia Cornejo Piñero, Jesús Medina
Corresponding Author
David Lobo
Available Online August 2019.
DOI
10.2991/eusflat-19.2019.81How to use a DOI?
Keywords
Residuated logic programming Bipolar fuzzy relation equations Negation operator
Abstract

Fuzzy relation equations have recently been extended to a more general framework in which the unknown variables appear together with their logical negation connectives, giving rise to the called bipolar fuzzy relation equations. This paper shows an abductive procedure for a special kind of normal residuated logic program by means of bipolar max-product fuzzy relation equations. From this procedure, interesting properties relating the models of a given normal residuated logic program to the solutions of its corresponding bipolar max-product fuzzy relation equation is deduced.

Copyright
© 2019, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019)
Series
Atlantis Studies in Uncertainty Modelling
Publication Date
August 2019
ISBN
10.2991/eusflat-19.2019.81
ISSN
2589-6644
DOI
10.2991/eusflat-19.2019.81How to use a DOI?
Copyright
© 2019, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - David Lobo
AU  - Maria Eugenia Cornejo Piñero
AU  - Jesús Medina
PY  - 2019/08
DA  - 2019/08
TI  - Abductive reasoning in normal residuated logic programming via bipolar max-product fuzzy relation equations
BT  - Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019)
PB  - Atlantis Press
SP  - 588
EP  - 594
SN  - 2589-6644
UR  - https://doi.org/10.2991/eusflat-19.2019.81
DO  - 10.2991/eusflat-19.2019.81
ID  - Lobo2019/08
ER  -