An Algebraic Semantics for the Logic of Multiple-Source Approximation Systems

Authors:
Md. Aquil Khan;Mohua Banerjee
Affiliations:
Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India 208 016;Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India 208 016
Venue:
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Year:
2009

Citing 7
Cited 0

Expressive power of knowledge representation systems

International Journal of Man-Machine Studies
Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Logic for Multi-Agent Systems

International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
Formal reasoning with rough sets in multiple-source approximation systems

International Journal of Approximate Reasoning
Multiple-source approximation systems: membership functions and indiscernibility

RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

An algebraic semantics for the logic LMSAS, proposed to study the behavior of rough sets in multiple-source scenario, is presented. Soundness and completeness theorems are proved.