liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rough set reasoning using answer set programs
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. School of Intelligent Systems and Engineering, Jinan University (Zhuhai Campus), Zhuhai, China.ORCID iD: 0000-0003-2308-7412
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Institute of Informatics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland.ORCID iD: 0000-0002-6000-6581
2021 (English)In: International Journal of Approximate Reasoning, ISSN 0888-613X, E-ISSN 1873-4731, Vol. 130, no March, p. 126-149Article in journal (Refereed) Published
Abstract [en]

Reasoning about uncertainty is one of the main cornerstones of Knowledge Representation. Formal representations of uncertainty are numerous and highly varied due to different types of uncertainty intended to be modeled such as vagueness, imprecision and incompleteness. There is a rich body of theoretical results that has been generated for many of these approaches. It is often the case though, that pragmatic tools for reasoning with uncertainty lag behind this rich body of theoretical results. Rough set theory is one such approach for modeling incompleteness and imprecision based on indiscernibility and its generalizations. In this paper, we provide a pragmatic tool for constructively reasoning with generalized rough set approximations that is based on the use of Answer Set Programming (Asp). We provide an interpretation of answer sets as (generalized) approximations of crisp sets (when possible) and show how to use Asp solvers as a tool for reasoning about (generalized) rough set approximations situated in realistic knowledge bases. The paper includes generic Asp templates for doing this and also provides a case study showing how these techniques can be used to generate reducts for incomplete information systems. Complete, ready to run clingo Asp code is provided in the Appendix, for all programs considered. These can be executed for validation purposes in the clingo Asp solver.

Place, publisher, year, edition, pages
Elsevier, 2021. Vol. 130, no March, p. 126-149
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:liu:diva-172791DOI: 10.1016/j.ijar.2020.12.010ISI: 000632656800005OAI: oai:DiVA.org:liu-172791DiVA, id: diva2:1521594
Projects
ELLIITSmart Systems Project RIT15-0097
Note

Funding: ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF(Smart Systems Project) [RIT15-0097]; Jinan University (Zhuhai Campus); National Science Centre PolandNational Science Centre, Poland [2017/27/B/ST6/02018]

Available from: 2021-01-24 Created: 2021-01-24 Last updated: 2021-04-21Bibliographically approved

Open Access in DiVA

fulltext(593 kB)502 downloads
File information
File name FULLTEXT01.pdfFile size 593 kBChecksum SHA-512
7eac63cb3acd2798832ea97b7b9aa17e5cb3a0c2308f38998056936f794263611e9abc38e520e8ca26644cc20695f74f7857ffd53bca1cf96083eb35d589c089
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records

Doherty, PatrickSzalas, Andrzej

Search in DiVA

By author/editor
Doherty, PatrickSzalas, Andrzej
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
In the same journal
International Journal of Approximate Reasoning
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 502 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 448 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf