An Approximate Logic for Measures
نویسنده
چکیده
Abstract. We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared in various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence as well as provide short proofs of the Szemerédi Regularity Lemma and the hypergraph removal lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.
منابع مشابه
Reliability Measures Measurement under Rule-Based Fuzzy Logic Technique
In reliability theory, the reliability measures contend the very important and depreciative role for any system analysis. Measurement of reliability measures is not easy due to ambiguity and vagueness which exist within reliability parameters. It is also very difficult to incorporate a large amount of uncertainty in well-established methodologies and techniques. However, fuzzy logic provides an...
متن کاملEconomic evaluation of strategies for energy consuming optimization with Fuzzy logic (The case study on Atisaz, Tehran)
One of the important energy consuming sectors of the country is buildings. In this research, we use the energy audit of the Atisaz complex in Tehran to evaluate the economic benefits of energy saving measures. We evaluate measures such as: using the automatic damper, replacing the active existing chiller with the solar absorption one, using intelligent boiler-room and replacing the existing li...
متن کاملApproximate Reasoning about Complex Objects in Distributed Systems: Rough Mereological Formalization ?
We propose an approach to approximate reasoning by systems of intelligent agents based on the paradigm of rough mereology. In this approach, the knowledge of each agent is formalized as an information system (a data table) from which similarity measures on objects manipulated by this agent are inferred. These similarity measures are based on rough mereological inclusions which formally render d...
متن کاملApproximative Reasoning and Fuzzy Queries with Linguistic Quantification in Prolog Databases
– Approximate reasoning and fuzzy queries are efficient methods in retrieving information from large databases when precise attributes are unknown or the model itself is vague. We explore such types of reasoning based on the notions of the possibility theory. We suggest an approach towards a Prolog implementation of such queries which takes into account fuzzy linguistic quantification, aggregat...
متن کاملPrediction and evaluation of runoff data in south of Qazvin watershed, using a fuzzy logic technique
The important criteria for designing in the most of hydrologic and hydraulic construction projects are based on runoff or peak-flow of water. Mostly, this measure and criterion is calculated or estimated by stochastic data. Another feature of these data that are used in watershed hydrological studies is their impreciseness. Therefore, in this study, in order to deal with uncertainty and impreci...
متن کاملA purely logic-based approach to approximate matching of Semantic Web Services
Most current approaches to matchmaking of semantic Web services utilize hybrid strategies consisting of logicand non-logic-based similarity measures (or even no logic-based similarity at all). This is mainly due to pure logic-based matchers achieving a good precision, but very low recall values. We present a purely logic-based matcher implementation based on approximate subsumption and extend t...
متن کامل