{"title":"Computational reaching of quantified consequences from imperfect initial data","authors":"Jesús Medina, José Antonio Torné-Zambrano","doi":"10.1002/mma.10542","DOIUrl":null,"url":null,"abstract":"<p>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.</p>","PeriodicalId":49865,"journal":{"name":"Mathematical Methods in the Applied Sciences","volume":"48 4","pages":"4232-4243"},"PeriodicalIF":2.1000,"publicationDate":"2024-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/mma.10542","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Methods in the Applied Sciences","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/mma.10542","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
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.
期刊介绍:
Mathematical Methods in the Applied Sciences publishes papers dealing with new mathematical methods for the consideration of linear and non-linear, direct and inverse problems for physical relevant processes over time- and space- varying media under certain initial, boundary, transition conditions etc. Papers dealing with biomathematical content, population dynamics and network problems are most welcome.
Mathematical Methods in the Applied Sciences is an interdisciplinary journal: therefore, all manuscripts must be written to be accessible to a broad scientific but mathematically advanced audience. All papers must contain carefully written introduction and conclusion sections, which should include a clear exposition of the underlying scientific problem, a summary of the mathematical results and the tools used in deriving the results. Furthermore, the scientific importance of the manuscript and its conclusions should be made clear. Papers dealing with numerical processes or which contain only the application of well established methods will not be accepted.
Because of the broad scope of the journal, authors should minimize the use of technical jargon from their subfield in order to increase the accessibility of their paper and appeal to a wider readership. If technical terms are necessary, authors should define them clearly so that the main ideas are understandable also to readers not working in the same subfield.