شماره ركورد كنفرانس :
4330
عنوان مقاله :
A Dynamic-Logical Perspective on General Fuzzy Automata
عنوان به زبان ديگر :
A Dynamic-Logical Perspective on General Fuzzy Automata
پديدآورندگان :
Abolpour .Kh abolpor kh@yahoo.com Islamic Azad University, Kazerun Branch , Zahedi .M.M zahedi mm@kgut.ac.ir Graduate University of Advanced Technology, Kerman , Shamsizadeh .M shamsizadeh.m@gmail.com Graduate University of Advanced Technology, Kerman
كليدواژه :
Dynamic Logic , General Fuzzy Automata , Proposition , Functor , Modal , Transi , tion , Active State
عنوان كنفرانس :
هفدهمين كنفررانس ملي سيستم هاي فازي، پانزدهمين كنفرانس ملي سيستم هاي هوشمند و ششمين كنگره ملي مشترك سيستم هاي فازي و هوشمند ايران
چكيده فارسي :
This present research is an attempt to introduce the dynamic logic through the
definition of general fuzzy automata (GFA). This logic enables us to formulate observations
on GFA in the form of composed propositions, and due to a transition functor T , it captures
the dynamic behaviour of GFA. In order to illustrate the proposed approach, the subject is
more elaborated through examples.
چكيده لاتين :
This present research is an attempt to introduce the dynamic logic through the
definition of general fuzzy automata (GFA). This logic enables us to formulate observations
on GFA in the form of composed propositions, and due to a transition functor T , it captures
the dynamic behaviour of GFA. In order to illustrate the proposed approach, the subject is
more elaborated through examples.
