Formal reasoning with rough sets in multiple-source approximation systems

DOI10.1016/j.ijar.2008.04.005zbMath1191.68684MaRDI QIDQ962650

Mohua Banerjee, Md. Aquil Khan

Publication date: 7 April 2010

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2008.04.005

zbMATH Keywords

rough sets; modal logic; first-order logic; approximation spaces; information systems

Mathematics Subject Classification ID

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

Towards Logics of Some Rough Perspectives of Knowledge, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Hierarchy on multigranulation structures: a knowledge distance approach, Truth degrees theory and approximate reasoning in 3-valued propositional pre-rough logic, A rough set-based incremental approach for learning knowledge in dynamic incomplete information systems, A category approach to relation preserving functions in rough set theory, Test cost sensitive multigranulation rough set: model and minimal cost selection, A note on dynamic relational systems, A multiple-valued logic approach for multigranulation rough set model, Choice inclusive general rough semantics, Categorical properties of \(M\)-indiscernibility spaces, A logic for multiple-source approximation systems with distributed knowledge base, Formal reasoning in preference-based multiple-source rough set model, An information fusion approach by combining multigranulation rough sets and evidence theory, Rough set models in multigranulation spaces, NMGRS: neighborhood-based multigranulation rough sets, A formal study of a generalized rough set model based on subset approximation structure, A novel approach to information fusion in multi-source datasets: a granular computing viewpoint, Generalized multi-granulation double-quantitative decision-theoretic rough set of multi-source information system, An update logic for information systems, Dependence-space-based attribute reductions in inconsistent decision information systems, Algebraic Methods for Granular Rough Sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Representation of nondeterministic information
• Rough sets: some extensions
• Probabilistic rough set approximations
• Probabilistic approach to rough sets
• DAL -- a logic for data analysis
• Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
• Kripke semantics for knowledge representation logics
• The investigation of the Bayesian rough set model
• A completeness theorem in modal logic
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• Propositional Logics from Rough Set Theory
• Rough sets
• On modal logic with propositional quantifiers