Computational reaching of quantified consequences from imperfect initial data

Abstract

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.