Paraconsistent Logic Programs with Four-valued Rough Sets
2008 (English)In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Germany: Springer, 2008, 41-51Conference paper (Refereed)
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 . 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.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 5306
National CategoryEngineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-43560DOI: 10.1007/978-3-540-88425-5_5Local ID: 74199ISBN: 978-3-540-88423-1 (print)ISBN: 978-3-540-88425-5 (online)OAI: oai:DiVA.org:liu-43560DiVA: diva2:264420
Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing (RSCTC)