RT journal article
T1 Computational reaching of quantified consequences from imperfect initial data
A1 Medina Moreno, Jesús
A1 Torné Zambrano, José Antonio
A2 Matemáticas
K1 fixed-point semantics
K1 fuzzy sets
K1 generalized quantifiers
K1 immediate consequences operator
AB Usually, it is not direct to translate theoretical results to practice. One of the challenges is the real computation of solutions to proposed problems, when infinite numbers (such as real numbers or the unit interval) are considered. The same is true when consequences (information) from a data set modeled by logical rules need to be obtained. In this framework, this information is obtained from the immediate consequences operator and ensuring its continuity is fundamental for making sure the computation of this information in a countable number of iterations. Recently, a versatile operator using generalized quantifiers has been introduced. This note will advance in the knowledge introducing necessary and sufficient conditions to ensure the continuity of this new flexible operator.
PB John Wiley and Sons Ltd
SN 1099-1476
YR 2024
FD 2024
LK http://hdl.handle.net/10498/35458
UL http://hdl.handle.net/10498/35458
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 10-may-2026