We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the classic linear timebranching time spectrum developed by R.J. van Glabbeek. He provided a logical characterization of most of the semantics in his spectrum but, without following a unique pattern. In this paper, we pres...

This paper presents a fuzzy neural network system (FNNS) for implementing fuzzy inference systems. In the FNNS, a fuzzy similarity measure for fuzzy rules is proposed to eliminate redundant fuzzy logical rules, so that the number of rules in the resulting fuzzy inference system will be reduced. Moreover, a fuzzy similarity measure for fuzzy sets that indicates the degree to which two fuzzy sets...

Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks such as controlling fluid levels in a reactor, automatical lens focussing in cameras and adjusting an aircraft’s navigation to the change of winds and so on. Contrary to the intuition often seen as the feeding ground of fuzz...

We use modal logic as a framework for coalgebraic trace semantics, and show the flexibility of the approach with concrete examples such as the language semantics of weighted, alternating and tree automata, and the trace semantics of generative probabilistic systems. We provide a sufficient condition under which a logical semantics coincides with the trace semantics obtained via a given determin...

In the paper a qualitative approach to the problem of aggregation of information is discussed. The method is based on the notion of fuzzy attribute model of the aggregation problem in which information is represented in the form of fuzzy constraints on the values of attributes. The aggregate is built by carrying out logical inference on the knowledge base which represents the decision maker pre...

A new methodology for analysis and forecasting of time series is proposed. It directly employs two techniques: the fuzzy transform and the perception-based logical deduction. Due to the usage of both of them and due to the innovative approach consisting in a construction of several independent models, the methodology is successfully applicable for robust long time predictions. Keywords— Time se...

In this paper I propose the non-Archimedean multiple-validity. Further, I build an infinite-order predicate logical language in that predicates of various order are considered as fuzzy relations. Such a language can have non-Archimedean valued semantics. For instance, infinite-order predicates can have an interpretation in the set [0, 1] of hyperreal (hyperrational) numbers. Notice that there e...