Title :
Fuzzy discrete-event simulation with FTipLog
Author :
Nguyen, Quan ; Le, Tu Van
Author_Institution :
Fac. of Inf. Sci. & Eng., Canberra Univ., Belconnen, ACT, Australia
Abstract :
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
Keywords :
automated highways; content-addressable storage; discrete event simulation; fuzzy logic; fuzzy systems; holographic storage; intelligent control; logic programming languages; road traffic; simulation languages; temporal logic; theorem proving; traffic control; FTipLog; defuzzification process; dynamic nature; explicit time representation; expressive power; fuzzification process; fuzzy associative memory; fuzzy discrete-event simulation; fuzzy holographic memory; fuzzy time representation; fuzzy time-parameterized temporal logic-based simulation language; proof procedure; robot controlled car; simulator; Associative memory; Australia; Discrete event simulation; Fuzzy control; Fuzzy logic; Fuzzy systems; Holography; Logic programming; Power system modeling; Robot control;
Conference_Titel :
Intelligent Information Systems, 1996., Australian and New Zealand Conference on
Conference_Location :
Adelaide, SA
Print_ISBN :
0-7803-3667-4
DOI :
10.1109/ANZIIS.1996.573932
