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

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)

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  -