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

Michele Loreti
2009-01-01

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
9789899507968
Fuzzy Process Algebra
273
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/405057
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact