liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination
2013 (English)In: Fundamenta Informaticae, ISSN 0169-2968, Vol. 127, no 1-4, 135-149Artikel i tidskrift (Refereed) Published
Abstract [en]

This paper focuses on approximate reasoning based on the use of approximation spaces. Approximation spaces and the approximated relations induced by them are a generalization of the rough set-based approximations of Pawlak. Approximation spaces are used to define neighborhoods around individuals and rough inclusion functions. These in turn are used to define approximate sets and relations. In any of the approaches, one would like to embed such relations in an appropriate logical theory which can be used as a reasoning engine for specific applications with specific constraints. We propose a framework which permits a formal study of the relationship between properties of approximations and properties of approximation spaces. Using ideas from correspondence theory, we develop an analogous framework for approximation spaces. We also show that this framework can be strongly supported by automated techniques for quantifier elimination.

Keyword [en]
approximate reasoning, rough sets, approximation spaces, quantifier elimination, knowledge representation
National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-100507 (URN)10.3233/FI-2013-900 (DOI)000325745600012 (ISI)oai:DiVA.org:liu-100507 (OAI)
Note

Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research||

Available from2013-11-08 Created:2013-11-08 Last updated:2013-11-08

Open Access in DiVA

No fulltext

Other links

Publisher's fulltext

Search in DiVA

By author/editor
Doherty, PatrickSzalas, Andrzej
By organisation
Artificial Intelligence and Intergrated Computer systemsThe Institute of TechnologyUniversity of Warsaw, Poland
In the same journal
Fundamenta Informaticae
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
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

Citations

Web of Science®:

Altmetric score

Totalt: 8 hits
ReferencesLink to record
Permanent link

Direct link