Paraconsistent Logic Programs with Four-Valued Rough Sets

Authors:
Jan Małuszyński;Andrzej Szałas;Aida Vitória
Affiliations:
The College of Economics and Computer Science, Olsztyn, Poland 10-061;Institute of Informatics, Warsaw University, Warsaw, Poland 02-097;Department of Science and Technology, Linköping University, Norrköping, Sweden S 601 74
Venue:
RSCTC '08 Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing
Year:
2008

Citing 6
Cited 4

A survey of paraconsistent semantics for logic programs

Handbook of defeasible reasoning and uncertainty management systems
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
Fixpoint semantics for logic programming a survey

Theoretical Computer Science
A paraconsistent logic programming approach for querying inconsistent databases

International Journal of Approximate Reasoning
A four-valued logic for rough set-like approximate reasoning

Transactions on rough sets VI
Four-valued extension of rough sets

RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology

Three-valued paraconsistent reasoning for semantic web agents

KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Living with inconsistency and taming nonmonotonicity

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Modeling and Reasoning with Paraconsistent Rough Sets

Fundamenta Informaticae
Paraconsistent reasoning for semantic web agents

Transactions on Compuational Collective Intelligence VI

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.