Matching Logic

This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching. Its sentences, the patterns, are constructed using variables, symbols, connectives and quantifiers, but no difference is made between function and predicate symbols. In models, a pattern evaluates into a power-set domain (the set of values that match it), in contrast to FOL where functions and predicates map into a regular domain. Matching logic uniformly generalizes several logical frameworks important for program analysis, such as: propositional logic, algebraic specification, FOL with equality, modal logic, and separation logic. Patterns can specify separation requirements at any level in any program configuration, not only in the heaps or stores, without any special logical constructs for that: the very nature of pattern matching is that if two structures are matched as part of a pattern, then they can only be spatially separated. Like FOL, matching logic can also be translated into pure predicate logic with equality, at the same time admitting its own sound and complete proof system. A practical aspect of matching logic is that FOL reasoning with equality remains sound, so off-the-shelf provers and SMT solvers can be used for matching logic reasoning. Matching logic is particularly well-suited for reasoning about programs in programming languages that have an operational semantics, but it is not limited to this

Multi-layered reasoning by means of conceptual fuzzy sets

The real world consists of a very large number of instances of events and continuous numeric values. On the other hand, people represent and process their knowledge in terms of abstracted concepts derived from generalization of these instances and numeric values. Logic based paradigms for knowledge representation use symbolic processing both for concept representation and inference. Their underlying assumption is that a concept can be defined precisely. However, as this assumption hardly holds for natural concepts, it follows that symbolic processing cannot deal with such concepts. Thus symbolic processing has essential problems from a practical point of view of applications in the real world. In contrast, fuzzy set theory can be viewed as a stronger and more practical notation than formal, logic based theories because it supports both symbolic processing and numeric processing, connecting the logic based world and the real world. In this paper, we propose multi-layered reasoning by using conceptual fuzzy sets (CFS). The general characteristics of CFS are discussed along with upper layer supervision and context dependent processing

Improving Practical Reasoning and Argumentation

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7)

What we hide in words: Value-based reasoning and emotive language

There are emotively powerful words that can modify our judgment, arouse our emotions and influence our decisions. This paper shows how the use of emotive meaning in argumentation can be explained by showing how their logical dimension, which can be analysed using argumentation schemes, combines with heuristic processes triggered by emotions. Arguing with emotive words is shown to use value-based practical reasoning grounded on hierarchies of values and maxims of experience for evaluative classification

Dynamic test input generation for multiple-fault isolation

Recent work is Causal Reasoning has provided practical techniques for multiple fault diagnosis. These techniques provide a hypothesis/measurement diagnosis cycle. Using probabilistic methods, they choose the best measurements to make, then update fault hypotheses in response. For many applications such as computers and spacecraft, few measurement points may be accessible, or values may change quickly as the system under diagnosis operates. In these cases, a hypothesis/measurement cycle is insufficient. A technique is presented for a hypothesis/test-input/measurement diagnosis cycle. In contrast to generating tests a priori for determining device functionality, it dynamically generates tests in response to current knowledge about fault probabilities. It is shown how the mathematics previously used for measurement specification can be applied to the test input generation process. An example from an efficient implementation called Multi-Purpose Causal (MPC) is presented

Argument Schemes for Reasoning About the Actions of Others

In practical reasoning, it is important to take into consideration what other agents will do, since this will often influence the effect of actions performed by the agent concerned. In previous treatments, the actions of others must either be assumed, or argued for using a similar form of practical reasoning. Such arguments, however, will also depend on assumptions about the beliefs, values and preferences of the other agents, and so are difficult to justify. In this paper we capture, in the form of argumentation schemes, reasoning about what others will do, which depends not on assuming particular actions, but through consideration of the expected utility (based on the promotion and demotion of values) of particular actions and alternatives. Such arguments depend only on the values and preferences of the agent concerned, and do not require assumptions about the beliefs, values and preferences of the other relevant agents. We illustrate the approach with a running example based on Prisoner’s Dilemma

Species of Pluralism in Political Philosophy

The name ‘pluralism’ frequently rears its head in political philosophy, but theorists often have different things in mind when using the term. Whereas ‘reasonable pluralism’ refers to the fact of moral diversity among citizens of a liberal democracy, ‘value pluralism’ is a metaethical view about the structure of moral practical reasoning. In this paper, I argue that value pluralism is part of the best explanation for reasonable pluralism. However, I also argue that embracing this explanation is compatible with political liberalism’s commitment to avoiding controversial premises. According value pluralism an explanatory role does not entail according it a justificatory one. What’s more, explaining reasonable disagreement in terms of reasonable disagreement about value weights opens up space for direct appeal to substantive values within political liberalism. In particular, promoting a substantive political value when doing so does not conflict with other values is unproblematic

Leak localization in water distribution networks using pressure and data-driven classifier approach

Leaks in water distribution networks (WDNs) are one of the main reasons for water loss during fluid transportation. Considering the worldwide problem of water scarcity, added to the challenges that a growing population brings, minimizing water losses through leak detection and localization, timely and efficiently using advanced techniques is an urgent humanitarian need. There are numerous methods being used to localize water leaks in WDNs through constructing hydraulic models or analyzing flow/pressure deviations between the observed data and the estimated values. However, from the application perspective, it is very practical to implement an approach which does not rely too much on measurements and complex models with reasonable computation demand. Under this context, this paper presents a novel method for leak localization which uses a data-driven approach based on limit pressure measurements in WDNs with two stages included: (1) Two different machine learning classifiers based on linear discriminant analysis (LDA) and neural networks (NNET) are developed to determine the probabilities of each node having a leak inside a WDN; (2) Bayesian temporal reasoning is applied afterwards to rescale the probabilities of each possible leak location at each time step after a leak is detected, with the aim of improving the localization accuracy. As an initial illustration, the hypothetical benchmark Hanoi district metered area (DMA) is used as the case study to test the performance of the proposed approach. Using the fitting accuracy and average topological distance (ATD) as performance indicators, the preliminary results reaches more than 80% accuracy in the best cases.Peer ReviewedPostprint (published version

Fuzzy Bayesian inference

Bayesian methods provide formalism for reasoning about partial beliefs under conditions of uncertainty. Given a set of exhaustive and mutually exclusive hypotheses, one can compute the probability of a hypothesis for a given evidence using the Bayesian inversion formula. In Bayesian's inference, the evidence could be a single atomic proposition or multi-valued one. For the multi-valued evidence, these values could be discrete, continuous, or fuzzy. For the continuous-valued evidence, the density functions used in the Bayesian inference are difficult to be determined in many practical situations. Complicated laboratory testing and advance statistical techniques are required to estimate the parameters of the assumed type of distribution. Using the proposed fuzzy Bayesian approach, a formulation is derived to estimate the density function from the conditional probabilities of the fuzzy-supported values. It avoids the complicated testing and analysis, and it does not require the assumption of a particular type of distribution. The estimated density function in our approach is proved to conform to two axioms in the theorem of probability. Example is provided in the paper.published_or_final_versio