Developing Reliable yet Flexible Software through If-Then Model Transformation Rules

developing reliable yet flexible software through if-then model transformation rules

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...

Developing Reliable yet Flexible Software through If-then Model Transformation Rules

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...

A New Approach to Reliable, yet Flexible Software

Developing reliable, yet flexible software is a hard problem. Formal methods take a precise approach to software development, delivering reliable software; however, in addition to high cost involvements, they require a level of expertise that is not common in commercial development communities. These limitations lead to decreasing their practicality. Semi-formal methods, which are widely used i...

Optimization under fuzzy if-then rules

The aim of this paper is to introduce a novel statement of fuzzy mathematical programming problems and to provide a method for findig a fair solution to these problems. Suppose we are given a mathematical programming problem in which the functional relationship between the decision variables and the objective function is not completely known. Our knowledge-base consists of a block of fuzzy if-t...

RBF Networks Versus Fuzzy If - Then Rules

Logical structure of fuzzy IF-THEN rules

This paper provides a logical basis for manipulation with fuzzy IF-THEN rules. Our theory is wide enough and it encompasses not only finding a conclusion by means of the compositional rule of inference due to Lotfi A. Zadeh but also other kinds of approximate reasoning methods, e.g. perception-based deduction, provided that there exists a possibility to characterize them within a formal logical...