Generalized rough approximations in Ł Π12

  • Authors:
  • Davide Ciucci;Tommaso Flaminio

  • Affiliations:
  • Dipartimento di Informatica, Sistemistica e Comunicazione, Università di Milano-Bicocca, Viale Sarca 336/14, 20126 Milano, Italy;Dipartimento di Matematica e Scienze Informatiche, Università di Siena, Pian dei Mantellini 44, 53100 Siena, Italy

  • Venue:
  • International Journal of Approximate Reasoning
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we will treat a generalization of inner and outer approximations of fuzzy sets, which we will call R-inner and R-outer approximations respectively (R being any finite set of rational numbers in [0,1]). In particular we will discuss the case of those fuzzy sets which are definable in the logic L@P12 by means of step functions from the hypercube [0,1]^k and taking value in an arbitrary (finite) subset of [0,1]@?Q. Then, we will show that if a fuzzy set is definable as truth table of a formula of L@P12, then both its R-inner and R-outer approximation are definable as truth table of formulas of L@P12. Finally, we will introduce a generalization of abstract approximation spaces and compare our approach with the notion of fuzzy rough set.