Formal reasoning in preference-based multiple-source rough set model
| Autor: | Md. Aquil Khan |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Information Systems and Management
Theoretical computer science Generalization 02 engineering and technology Theoretical Computer Science Artificial Intelligence Position (vector) Computer Science::Logic in Computer Science 0202 electrical engineering electronic engineering information engineering Preference (economics) Mathematics Hierarchy (mathematics) business.industry 05 social sciences 050301 education Modal logic Computer Science Applications First-order logic Knowledge base Control and Systems Engineering 020201 artificial intelligence & image processing Rough set business 0503 education Algorithm Software |
| Zdroj: | Information Sciences. :122-143 |
| ISSN: | 0020-0255 |
| DOI: | 10.1016/j.ins.2015.11.038 |
| Popis: | We propose a generalization of Pawlak's rough set model for the multi-agent situation, where information from an agent can be preferred over that of another agent of the system while deciding membership of objects. Notions of lower/upper approximations are given, which depend on the knowledge base of the sources as well as on the position of the sources in the hierarchy giving the preference of sources. A quantified modal logic is proposed to reason about the properties of the proposed approximations. A sound and complete deductive system for the logic is also presented. Moreover, it is shown how the properties of the proposed approximations can be deduced as theorems of this deductive system. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect