Journal of Philosophical Logic 40 (5):663-692 (2011)

The theory of rough sets starts with the notion of an approximation space , which is a pair ( U , R ), U being the domain of discourse, and R an equivalence relation on U . R is taken to represent the knowledge base of an agent, and the induced partition reflects a granularity of U that is the result of a lack of complete information about the objects in U . The focus then is on approximations of concepts on the domain, in the context of the granularity. The present article studies the theory in the situation where information is obtained from different sources. The notion of approximation space is extended to define a multiple-source approximation system with distributed knowledge base , which is a tuple , where N is a set of sources and P ranges over all finite subsets of N . Each R P is an equivalence relation on U satisfying some additional conditions, representing the knowledge base of the group P of sources. Thus each finite group of sources and hence individual source perceives the same domain differently (depending on what information the group/individual source has about the domain), and the same concept may then have approximations that differ with the groups. In order to express the notions and properties related with rough set theory in this multiple-source situation, a quantified modal logic LMSAS D is proposed. In LMSAS D , quantification ranges over modalities, making it different from modal predicate logic and modal logic with propositional quantifiers. Some fragments of LMSAS D are discussed and it is shown that the modal system KTB is embedded in LMSAS D . The epistemic logic is also embedded in LMSAS D , and cannot replace the latter to serve our purpose. The relationship of LMSAS D with first and second-order logics is presented. Issues of expressibility, axiomatization and decidability are addressed.
Keywords Rough set theory  Modal logic  First-order logic
Categories (categorize this paper)
DOI 10.1007/s10992-010-9163-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,955
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Knowledge-Driven Versus Data-Driven Logics.Didier Dubois, Petr Hájek & Henri Prade - 2000 - Journal of Logic, Language and Information 9 (1):65--89.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Incompleteness and the Barcan Formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Model for Knowledge and Legal Expert Systems.Anja Oskamp - 1992 - Artificial Intelligence and Law 1 (4):245-274.
Non-Monotonic Logic.G. Aldo Antonelli - 2008 - Stanford Encyclopedia of Philosophy.
A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
Isomorphism and Legal Knowledge Based Systems.T. J. M. Bench-Capon & F. P. Coenen - 1992 - Artificial Intelligence and Law 1 (1):65-86.


Added to PP index

Total views
12 ( #750,268 of 2,403,215 )

Recent downloads (6 months)
1 ( #551,892 of 2,403,215 )

How can I increase my downloads?


My notes