Application of Fuzzy Labeled Transition System to Contract Net Protocol

Abstract

For developing large dynamic systems in a rigorous manner, fuzzy labeled transition refinement tree (FLTRT for short) has been defined. This model provides a formal specification framework for designing such systems. In fact, it supports abstraction and enables fuzziness which allows a rigorous formal refinement process. The purpose of this paper is to illustrate the applicability of FLTRT for designing multi agent systems (MAS for short), among others collective and internal agent's behaviors. Therefore, Contract Net Protocol (CNP for short) is chosen as case study.

Fuzzy labeled transition system vertical bisimulation

“…This work may be continued in several ways. For instance, develop concrete system by means of the proposed approach, such as designing Multi-agent Interaction Protocols [13]. Another interesting perspective concerns the coherency of behavior.…”

An Integrated QFD-TOPSIS Approach for Supplier Selection Under Fuzzy Environment

“…Afuzzysetisasetofobjectsinwhichthereisnoclear-cutorpredefinedboundarybetweentheobjects thatareorarenotmembersoftheset (Kouah,&Saïdouni(2015).Thekeyconceptbehindthisdefinition isthatof''membership'':eachelementinasetisassociatedwithavalueindicatingtowhatdegreethe elementisamemberoftheset.Thisvaluecomeswithintherange[0,1],where0and1,respectively, indicatetheminimumandmaximumdegreeofmembership,whilealltheintermediatevaluesindicate degreesof''partial ''ofmembership(Bevilacquaetal.2006).Fuzzytheoryprovidestheconceptof membershipfunctiontoaddressvariouslanguagevariables (Zadeh,1965).Afuzzysetof a isdefined bythemembershipfunction µ a x ( ) andassignstoeachelementxin a anaturalnumber µ a x ( ) of interval[1,0].Thevalueoftheµ a x ( ) functioniscalledthedegreeofmembershipofxin a (Kaufmann &Gupta,1991).Fuzzysetprocessesshouldincludeadefuzzyingprocess.Inthisresearch,inorderto defuzzyingofthefuzzynumbers,weusedthecenterofgravityandYogermethods.Fuzzynumbers arebellshaped,triangular,trapezoidal,triangularL-R,andtrapezoidalL-Rnumbers.Thepresentstudy uses triangular fuzzy. These numbers are represented by triplets of the type a a a a = ( )…”