Sökning: onr:"swepub:oai:DiVA.org:liu-43560" >
Paraconsistent Logi...
Paraconsistent Logic Programs with Four-valued Rough Sets
-
- Maluszynski, Jan, 1941- (författare)
- Linköpings universitet,Tekniska högskolan,TCSLAB - Laboratoriet för teoretisk datalogi
-
- Vitoria, Aida (författare)
- Linköpings universitet,Visuell informationsteknologi och applikationer,Tekniska högskolan
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
(creator_code:org_t)
- Germany : Springer, 2008
- 2008
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Germany : Springer. - 9783540884231 - 9783540884255 ; , s. 41-51
- Relaterad länk:
-
http://www.ida.liu.s...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Nyckelord
- TECHNOLOGY
- TEKNIKVETENSKAP
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas