A logic for multiple-source approximation systems with distributed knowledge base

DOI10.1007/s10992-010-9163-1zbMath1232.68113MaRDI QIDQ763469

Md. Aquil Khan, Mohua Banerjee

Publication date: 9 March 2012

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-010-9163-1

zbMATH Keywords

modal logic; first-order logic; rough set theory

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

Related Items

Formal reasoning in preference-based multiple-source rough set model, Rough set models in multigranulation spaces, Knowledge and approximations: a formal study under the perspective of information systems and rough set theory, Beyond Knowing That: A New Generation of Epistemic Logics

Cites Work

• Probabilistic rough set approximations
• Probabilistic approach to rough sets
• Parameterized rough set model using rough membership and Bayesian confirmation measures
• Formal reasoning with rough sets in multiple-source approximation systems
• DAL -- a logic for data analysis
• Modal logics for knowledge representation systems
• Model theory
• Kripke semantics for knowledge representation logics
• The investigation of the Bayesian rough set model
• Expressive power of knowledge representation systems
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• Knowledge and common knowledge in a distributed environment
• Multiple-Source Approximation Systems: Membership Functions and Indiscernibility
• Propositional Logics from Rough Set Theory
• Rough sets
• A hierarchy of modal logics with relative accessibility relations
• Local and Global Approximations for Incomplete Data
• Incomplete information: Structure, inference, complexity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item