Spatial database implementation of fuzzy region connection calculus for analysing the relationship of diseases

Analyzing huge amounts of spatial data plays an important role in many emerging analysis and decision-making domains such as healthcare, urban planning, agriculture and so on. For extracting meaningful knowledge from geographical data, the relationships between spatial data objects need to be analyzed. An important class of such relationships are topological relations like the connectedness or overlap between regions. While real-world geographical regions such as lakes or forests do not have exact boundaries and are fuzzy, most of the existing analysis methods neglect this inherent feature of topological relations. In this paper, we propose a method for handling the topological relations in spatial databases based on fuzzy region connection calculus (RCC). The proposed method is implemented in PostGIS spatial database and evaluated in analyzing the relationship of diseases as an important application domain. We also used our fuzzy RCC implementation for fuzzification of the skyline operator in spatial databases. The results of the evaluation show that our method provides a more realistic view of spatial relationships and gives more flexibility to the data analyst to extract meaningful and accurate results in comparison with the existing methods.Comment: ICEE201

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

A survey on fuzzy fractional differential and optimal control nonlocal evolution equations

We survey some representative results on fuzzy fractional differential equations, controllability, approximate controllability, optimal control, and optimal feedback control for several different kinds of fractional evolution equations. Optimality and relaxation of multiple control problems, described by nonlinear fractional differential equations with nonlocal control conditions in Banach spaces, are considered.Comment: This is a preprint of a paper whose final and definite form is with 'Journal of Computational and Applied Mathematics', ISSN: 0377-0427. Submitted 17-July-2017; Revised 18-Sept-2017; Accepted for publication 20-Sept-2017. arXiv admin note: text overlap with arXiv:1504.0515

A repetition-free hypersequent calculus for first-order rational Pavelka logic

We present a hypersequent calculus \text{G}^3\text{\L}\forall for first-order infinite-valued {\L}ukasiewicz logic and for an extension of it, first-order rational Pavelka logic; the calculus is intended for bottom-up proof search. In \text{G}^3\text{\L}\forall, there are no structural rules, all the rules are invertible, and designations of multisets of formulas are not repeated in any premise of the rules. The calculus \text{G}^3\text{\L}\forall proves any sentence that is provable in at least one of the previously known hypersequent calculi for the given logics. We study proof-theoretic properties of \text{G}^3\text{\L}\forall and thereby provide foundations for proof search algorithms.Comment: 21 pages; corrected a misprint, added an appendix containing errata to a cited articl

Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Goedel logics by Avron. It is shown that the system is sound and complete, and allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively.Comment: v.2: 15 pages. Final version. (v.1: 15 pages. To appear in Computer Science Logic 2000 Proceedings.

Neutrality and Many-Valued Logics

In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes' axiom. These logics are built as different extensions of standard many-valued logics (namely, Lukasiewicz's, Goedel's, Product, and Post's logics). The informal sense of Archimedes' axiom is that anything can be measured by a ruler. Also logical multiple-validity without Archimedes' axiom consists in that the set of truth values is infinite and it is not well-founded and well-ordered. On the base of non-Archimedean valued logics, we construct non-Archimedean valued interval neutrosophic logic INL by which we can describe neutrality phenomena.Comment: 119 page

Performance Evaluation of Road Traffic Control Using a Fuzzy Cellular Model

In this paper a method is proposed for performance evaluation of road traffic control systems. The method is designed to be implemented in an on-line simulation environment, which enables optimisation of adaptive traffic control strategies. Performance measures are computed using a fuzzy cellular traffic model, formulated as a hybrid system combining cellular automata and fuzzy calculus. Experimental results show that the introduced method allows the performance to be evaluated using imprecise traffic measurements. Moreover, the fuzzy definitions of performance measures are convenient for uncertainty determination in traffic control decisions.Comment: The final publication is available at http://www.springerlink.co

The Varieties of Ought-implies-Can and Deontic STIT Logic

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings

Interval LU-fuzzy arithmetic in the Black and Scholes option pricing

In financial markets people have to cope with a lot of uncertainty while making decisions. Many models have been introduced in the last years to handle vagueness but it is very difficult to capture together all the fundamental characteristics of real markets. Fuzzy modeling for finance seems to have some challenging features describing the financial markets behavior; in this paper we show that the vagueness induced by the fuzzy mathematics can be relevant in modelling objects in finance, especially when a flexible parametrization is adopted to represent the fuzzy numbers. Fuzzy calculus for financial applications requires a big amount of computations and the LU-fuzzy representation produces good results due to the fact that it is computationally fast and it reproduces the essential quality of the shape of fuzzy numbers involved in computations. The paper considers the Black and Scholes option pricing formula, as long as many other have done in the last few years. We suggest the use of the LU-fuzzy parametric representation for fuzzy numbers, introduced in Guerra and Stefanini and improved in Stefanini, Sorini and Guerra, in the framework of the Black and Scholes model for option pricing, everywhere recognized as a benchmark; the details of the computations by the interval fuzzy arithmetic approach and an illustrative example are also incuded.Fuzzy Operations, Option Pricing, Black and Scholes

Fuzzy Surfaces of Genus Zero

A fuzzy version of the ordinary round 2-sphere has been constructed with an invariant curvature. We here consider linear connections on arbitrary fuzzy surfaces of genus zero. We shall find as before that they are more or less rigidly dependent on the differential calculus used but that a large number of the latter can be constructed which are not covariant under the action of the rotation group. For technical reasons we have been forced to limit our considerations to fuzzy surfaces which are small perturbations of the fuzzy sphere.Comment: 11 pages, Late