On the similarity relation within fuzzy ontology components

Ontology reuse is an important research issue. Ontology merging, integration, mapping, alignment and versioning are some of its subprocesses. A considerable research work has been conducted on them. One common issue to these subprocesses is the problem of defining similarity relations among ontologies components. Crisp ontologies become less suitable in all domains in which the concepts to be represented have vague, uncertain and imprecise definitions. Fuzzy ontologies are developed to cope with these aspects. They are equally concerned with the problem of ontology reuse. Defining similarity relations within fuzzy context may be realized basing on the linguistic similarity among ontologies components or may be deduced from their intentional definitions. The latter approach needs to be dealt with differently in crisp and fuzzy ontologies. This is the scope of this paper.ou

Incorporating the Basic Elements of a First-degree Fuzzy Logic and Certain Elments of Temporal Logic for Dynamic Management Applications

The approximate reasoning is perceived as a derivation of new formulas with the corresponding temporal attributes, within a fuzzy theory defined by the fuzzy set of special axioms. For dynamic management applications, the reasoning is evolutionary because of unexpected events which may change the state of the expert system. In this kind of situations it is necessary to elaborate certain mechanisms in order to maintain the coherence of the obtained conclusions, to figure out their degree of reliability and the time domain for which these are true. These last aspects stand as possible further directions of development at a basic logic level. The purpose of this paper is to characterise an extended fuzzy logic system with modal operators, attained by incorporating the basic elements of a first-degree fuzzy logic and certain elements of temporal logic.Dynamic Management Applications, Fuzzy Reasoning, Formalization, Time Restrictions, Modal Operators, Real-Time Expert Decision System (RTEDS)

Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms

Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy logic elements that make it suitable to model fuzzy diagnosis knowledge and reasoning required for fault diagnosis applications. In this sense, several FRSN P system variants have been proposed, dealing with real numbers, trapezoidal numbers, weights, etc. The model incorporating real numbers was the first introduced [13], presenting promising applications in the field of fault diagnosis of electrical systems. For this variant, a matrix-based algorithm was provided which, when executed on parallel computing platforms, fully exploits the model maximally parallel capacities. In this paper we introduce a P-Lingua framework extension to parse and simulate FRSN P systems with real numbers. Two simulators, implementing a variant of the original matrix-based simulation algorithm, are provided: a sequential one (written in Java), intended to run on traditional CPUs, and a parallel one, intended to run on CUDAenabled devices.Ministerio de Economía y Competitividad TIN2012-3743

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