developing reliable yet flexible software is a hard problem. although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. formal modeling methods ensure reliability because they use a rigorous approach to software development. however, lack of knowledge and high cost practically fo...

This article is about visualization of modelling steering and decisional processes described by fuzzy IF-THEN rules modified by Petri Nets.

In this paper we present new results on detection and removal of redundancies of IF-THEN rules in so-called linguistic descriptions (systems of such rules). We introduce an algorithm for removal of redundancies and describe a practical application.

We identify various situations in probabilistic intelligent systems in which conditionals (rules) as mathematical entities as well as their conditional logic operations are needed. In discussing Bayesian updating procedure and belief function construction, we provide a new method for modeling if ... then rules as Boolean elements, and yet, compatible with conditional probability quantifications.