Computational reaching of quantified consequences from imperfect initial data
Year: 2024
Type: article
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.
DOI: 10.1002/mma.10542
Authors: Jesús Medina, José Antonio Torné‐Zambrano
Institution: Universidad de Cádiz
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $4,760
OpenAlex ID: W4404027623