LiU Electronic Press
Full-text not available in DiVA
Author:
Vitoria, Aida (Linköping University, Department of Science and Technology, Visual Information Technology and Applications (VITA)) (Linköping University, The Institute of Technology)
Maluszynski, Jan (Coll Econ and Comp Science, PL-10061 Olsztyn, Poland )
Szalas, Andrzej ( Warsaw University, Institute Informat, PL-02097 Warsaw, Poland )
Title:
Modelling and Reasoning with Paraconsistent Rough Sets
Department:
Linköping University, The Institute of Technology
Linköping University, Department of Science and Technology, Visual Information Technology and Applications (VITA)
Publication type:
Article in journal (Refereed)
Language:
English
Status:
Published
In:
Fundamenta Informaticae(ISSN 0169-2968)
Volume:
97
Issue:
4
Pages:
405-438
Year of publ.:
2009
URI:
urn:nbn:se:liu:diva-53059
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-53059
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Keywords(en) :
approximate reasoning, rough sets, paraconsistent reasoning, four-valued logics
Abstract(en) :

We present a language for defining paraconsistent rough sets and reasoning about them. Our framework relates and brings together two major fields: rough sets [23] and paraconsistent logic programming [9]. To model inconsistent and incomplete information we use a four-valued logic. The language discussed in this paper is based on ideas of our previous work [21, 32, 22] developing a four-valued framework for rough sets. In this approach membership function, set containment and set operations are four-valued, where logical values are t (true), f (false), i (inconsistent) and u (unknown). We investigate properties of paraconsistent rough sets as well as develop a paraconsistent rule language, providing basic computational machinery for our approach.

Available from:
2010-01-15
Created:
2010-01-15
Last updated:
2010-12-06
Statistics:
0 hits