A modal logic for multiple-source tolerance approximation spaces

Authors:
Md. Aquil Khan;Minghui Ma
Affiliations:
Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India;Institute of logic and Intelligence, Chongqing, Department of Philosophy, Tsinghua University, Beijing
Venue:
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Year:
2011

Citing 8
Cited 1

Expressive power of knowledge representation systems

International Journal of Man-Machine Studies
Tolerance approximation spaces

Fundamenta Informaticae - Special issue: rough sets
Approximations and Rough Sets Based on Tolerances

RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
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
A preference-based multiple-source rough set model

RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
A study of multiple-source approximation systems

Transactions on rough sets XII

Optimistic multi-granulation fuzzy rough set model based on triangular norm

RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Notions of lower and upper approximations are proposed for multiple-source tolerance approximation spaces which consist of a number of tolerance relations over the same domain. A modal logic is proposed for reasoning about the defined notions of approximations. A sound and complete deductive system for the logic is presented. Decidability is also proved.