Using ConFuP in modeling of concurrent fuzzy systems

The ConFuP (Concurrent Fuzzy Prolog) language offers the feasibility of concurrent process modeling by a set of descriptive rules based on uncertain or qualitative knowledge and enables the user to model hierarchical descriptions from a physical point of view as well as from a logical one, where processes and machine states are described. Time considerations, modeling of alternative decisions and concurrency/synchronization are also supported by ConFuP. With uncertain clauses fuzzy data types and operators (fuzzy sets, fuzzification, defuzzification) the formulation of different kinds of uncertainty is possible. Different fuzzy operators, methods and strategies allow maximum flexibility. No dedicated simulator has to be built, since each process runs naturally based on the reduction process of ConFuP. The expressiveness is shown on an example in the area of flexible manufacturing systems