Fuzzy systems address the imprecision of the input and output variables, which formally describe notions like “rather warm” or “pretty cold”, while provide a behaviour that depends on fuzzy data. This class of systems are classically represented by means of Fuzzy Inference Systems (FIS), a computing framework based on the concepts of fuzzy if-then rules and fuzzy reasoning. Even if FIS are largely used, these lack in compositionality. Moreover, the analy- sis of modeled behaviuors needs complex analytic tools. In this paper we propose a process algebraic approach to specification and analy- sis of fuzzy behaviours. Indeed, we introduce a Fuzzy variant of CCS (Calculus of Communicating Processes), that permits composition- ally describing fuzzy behaviours. Moreover, we also show how stan- dard process algebra formal tools, like modal logics and behavioural equivalences, can be used for supporting fuzzy reasoning.

A process Algebra Approach to Fuzzy Reasoning / Liliana D'Errico; Michele Loreti. - STAMPA. - (2009), pp. 1136-1141. (Intervento presentato al convegno International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference tenutosi a Lisbona nel July 20-24, 2009).

A process Algebra Approach to Fuzzy Reasoning

D'ERRICO, LILIANA;LORETI, MICHELE
2009

Abstract

Fuzzy systems address the imprecision of the input and output variables, which formally describe notions like “rather warm” or “pretty cold”, while provide a behaviour that depends on fuzzy data. This class of systems are classically represented by means of Fuzzy Inference Systems (FIS), a computing framework based on the concepts of fuzzy if-then rules and fuzzy reasoning. Even if FIS are largely used, these lack in compositionality. Moreover, the analy- sis of modeled behaviuors needs complex analytic tools. In this paper we propose a process algebraic approach to specification and analy- sis of fuzzy behaviours. Indeed, we introduce a Fuzzy variant of CCS (Calculus of Communicating Processes), that permits composition- ally describing fuzzy behaviours. Moreover, we also show how stan- dard process algebra formal tools, like modal logics and behavioural equivalences, can be used for supporting fuzzy reasoning.
2009
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, Lisbon, Portugal, July 20-24, 2009.
International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference
Lisbona
July 20-24, 2009
Liliana D'Errico; Michele Loreti
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/386471
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 7
social impact