Knowledge and approximations: A formal study under the perspective of information systems and rough set theory
| Autor: | Md. Aquil Khan, Vineeta Singh Patel |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Information Systems and Management
Theoretical computer science Computer science 05 social sciences 050301 education State of affairs 02 engineering and technology Computer Science Applications Theoretical Computer Science Possible world Set (abstract data type) TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Perspective (geometry) Operator (computer programming) Epistemic modal logic Artificial Intelligence Control and Systems Engineering Computer Science::Logic in Computer Science 0202 electrical engineering electronic engineering information engineering Information system 020201 artificial intelligence & image processing Rough set 0503 education Software |
| Zdroj: | Information Sciences. 524:97-115 |
| ISSN: | 0020-0255 |
| DOI: | 10.1016/j.ins.2020.03.017 |
| Popis: | In this article, we aim to bring together the operators of epistemic logic and approximation operators of rough set theory by combining the ideas from epistemic logic and rough set logics. The possible world semantics of epistemic logic is extended to capture a situation where we have a set of states, each representing a possible state of affairs and carrying information about a set of objects regarding a set of attributes. We propose a logic that can be used to reason about the knowledge operator as well as the approximation operators generated from the constituent information systems relative to different set of attributes. The important issues of the proposed logic viz. sound and complete deductive systems with respect to various classes of models are also addressed. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect