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

摘要

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.