RT journal article
T1 Immediate consequences operator on generalized quantifiers
A1 Medina Moreno, Jesús
A1 Torné Zambrano, José Antonio
A2 Matemáticas
K1 Fuzzy sets
K1 Logic programming
K1 Immediate consequences operator
K1 Generalized quantifiers
AB The semantics of a multi-adjoint logic program is usually defined through the immediate consequences operator TP. However, the definition of the immediate consequences operator as the supremum of a set of values can provide some problem when imprecise datasets are considered, due to the strict feature of the supremum operator. Hence, based on the flexibility of generalized quantifiers to weaken the existential feature of the supremum operator, this paper presents a generalization of the immediate consequences operator with interesting properties for solving the aforementioned problem. © 2022 The Author(s)
PB ELSEVIER
SN 0165-0114
YR 2023
FD 2023-03
LK http://hdl.handle.net/10498/28017
UL http://hdl.handle.net/10498/28017
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 07-nov-2026