We present and analyze inference method called Perception-based Logical Deduction (PbLD) aimed at the treatment of fuzzy IF-THEN rules as linguistically expressed genuine logical implications. Besides the original PbLD, we propose a new balancing variant of PbLD, introduce both variants with fuzzy inputs and study them from the point of view of the interpolativity property.

A fuzzy cognitive map is a graphical means of representing arbitrary complex models of interrelations between concepts. The purpose of this paper is to describe a dynamic/adaptive fuzzy cognitive map based on the random neural network model. Previously, we have developed a random fuzzy cognitive map and illustrated its application in the modeling of processes. The adaptive fuzzy cognitive map c...

A fuzzy cognitive map is a graphical means of representing arbitrarily complex models of interrelations between concepts. The purpose of this paper is to describe a fuzzy cognitive map based on the random neural network model called the random fuzzy cognitive map, and to illustrate its application in the modeling of process. This model is based on the probability of activation of the neurons/co...

Received (received date) Revised (revised date) Preselection of rules is an algorithm which chooses one rule from linguistic description of some process. This rule is then used for inference instead of the whole description. This article studies properties of preselection and proposes use of measures of resemblance for choosing the rule which best ts the observation.

In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...

This paper presents an approach to approximate reasoning over a set of IF-THEN rules called fuzzy logic deduction. It understands IF-THEN rules as linguistically expressed logical implications and interprets them inside formal logical theory. Methodology and some properties