LiU Electronic Press
Full-text not available in DiVA
Author:
Maluszynski, Jan (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory)
Vitoria, Aida (Linköping University, Department of Science and Technology, Visual Information Technology and Applications (VITA)) (Linköping University, The Institute of Technology)
Szalas, Andrzej (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Paraconsistent Logic Programs with Four-valued Rough Sets
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory
Linköping University, The Institute of Technology
Linköping University, Department of Science and Technology, Visual Information Technology and Applications (VITA)
Publication type:
Conference paper (Refereed)
Language:
English
In:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Conference:
Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing (RSCTC)
Place of publ.: Germany Publisher: Springer
Series:
Lecture Notes in Computer Science, ISSN 0302-9743; 5306
Pages:
41-51
Year of publ.:
2008
URI:
urn:nbn:se:liu:diva-43560
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-43560
ISBN:
978-3-540-88423-1 (print), 978-3-540-88425-5 (online)
Local ID:
74199
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Abstract(en) :

This paper presents a language for defining four-valued rough sets and to reason about them. Our framework brings together two major fields: rough sets and paraconsistent logic programming. On the one hand it provides a paraconsistent approach, based on four-valued rough sets, for integrating knowledge from different sources and reasoning in the presence of inconsistencies. On the other hand, it also caters for a specific type of uncertainty that originates from the fact that an agent may perceive different objects of the universe as being indiscernible. This paper extends the ideas presented in [9]. Our language allows the user to define similarity relations and use the approximations induced by them in the definition of other four-valued sets. A positive aspect is that it allows users to tune the level of uncertainty or the source of uncertainty that best suits applications.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2014-05-15
Statistics:
85 hits