Fuzzy discrete-event simulation with FTipLog

A fuzzy time-parameterized temporal logic-based simulation language is presented. The language represents time explicitly and fuzzily. A mixture of fuzzy associative memory and fuzzy holographic memory is adopted. Fuzzification and defuzzification processes are embedded in the language's proof procedure, thus transparent to the simulator. So the dynamic nature of the fuzzy system can be analysed and represented in a natural way. The expressive power of the language is illustrated using a robot controlled car example.