The Application of Concurrent Fuzzy Prolog in the Field of Modeling Flexible Manufacturing Systems

Abstract

In this paper we present the application of Concurrent Fuzzy Prolog (ConFuP) [10, 9] in the field of modeling flexible manufacturing systems. ConFuP offers the feasibility of concurrent process modeling through 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 (e.g. machines, tools, etc.) 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 fuzzy data types and operators (fuzzy sets, fuzzification, defuzzification) the formulation of different kinds of uncertainty is possible. System calls for different fuzzy operators, methods and strategies allow maximum flexibility. 1 Introduction Process modeling is (besides data modeling) one of the most important aspects in the CIMframework. If we want to talk about, for example CAD we have t..