Elsevier

Fuzzy Sets and Systems

Volume 159, Issue 10, 16 May 2008, Pages 1191-1207
Fuzzy Sets and Systems

A complete fuzzy logical system to deal with trust management systems

https://doi.org/10.1016/j.fss.2007.12.007Get rights and content

Abstract

In this paper we approach trust management systems in a fuzzy logical setting. The idea is to provide a generalization of the classical framework, where trust is understood via the dichotomy “true–false”. In order to overcome the classical approach proposed by Weeks, following the ideas used by Hájek, Esteva, Godo and others to deal with probability, possibility, and necessity in a many-valued logical setting, we introduce the modal logic FTn(ŁΠ12) built up over the many-valued logic ŁΠ12. In particular, we enlarge the ŁΠ12 language by means of a binary modality says acting on pairs (pi,ϕ) of principals and assertions, where a principal is a propositional variable and an assertion is a propositional formula of a suited many-valued logic. The idea is to regard the evaluation of the modal formula says(pi,ϕ) as the degree of confidence the principalpiputs in the assertionϕ. For FTn(ŁΠ12) we introduce a syntax, a semantic and we show completeness. Then we discuss the validity of generalized modus ponens rule in our setting. Finally we deal with a Pavelka-style extension of our logic, and we also extend FTn(ŁΠ12) to allow principals to be hierarchically organized.

References (18)

  • P. Cintula

    The LΠ and LΠ12 propositional and predicate logics

    Fuzzy Sets and Systems

    (2001)
  • T. Flaminio et al.

    A logic for reasoning about the probability of fuzzy events

    Fuzzy Sets and Systems

    (2007)
  • T. Flaminio et al.

    Mixed rational assessments of possibility and probability measures

    Electron Notes Theoret. Comput. Sci.

    (2007)
  • M. Abadi et al.

    A calculus for access control in distributed systems

    ACM Trans. Programming Lang. Systems

    (1993)
  • M. Carbone, M. Nielsen, V. Sassone, A formal model for trust in dynamic networks, in: SEFM, IEEE Computer Society,...
  • M. Carbone, M. Nielsen, V. Sassone, A calculus for trust management, in: K. Lodaya, M. Mahajan (Eds.), FSTTCS, Lecture...
  • G. Cattaneo, Abstract approximation spaces for rough theories, in: Rough Sets in Knowledge Discovery, Vol. 1,...
  • R. Cignoli et al.

    Algebraic Foundations of Many-valued Reasoning

    (2001)
  • P. Cintula

    Advances in the LΠ and LΠ12 logics

    Arch. Math. Logic

    (2003)
There are more references available in the full text version of this article.

Cited by (0)

View full text