Modal Reasoning and Rough Set Theory

  title={Modal Reasoning and Rough Set Theory},
  author={Churn-Jung Liau},
  • C. Liau
  • Published in AIMSA 21 September 1998
  • Computer Science, Philosophy
In this paper, we would like to present some modal logics with semantics based on rough set theory and related notions. In addition to surveying some well-known results about the links between modal logics and rough set theory, we also develop some new applied logics inspired by generalized rough set theory. 
A Review on Rough Sets and Possible World Semantics for Modal Logics
This chapter reviews the relationships between two types of possible world semantic models, i.e., Kripke model and measure-based model, and two variation of rough sets, ie.
An Overview of Rough Set Semantics for Modal and Quantifier Logics
  • C. Liau
  • Computer Science, Philosophy
    Int. J. Uncertain. Fuzziness Knowl. Based Syst.
  • 2000
This paper surveys some well-known results about the links between logics and rough set notions, and develops some new applied logics inspired by rough set theory.
Neighborhood Systems and Variable Precision Generalized Rough Sets
This paper provides characterizations of lower and upper approximations for VPGRS-model by introducing minimal neighborhood systems and explores generalizations by investigating variable parameters which are limited by variable precision.
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects
This thesis provides the original modal logic SOn with semantics based on sequences of orthopairs, and it is employed to describe the knowledge of an agent that increases over time, as new information is provided.
Modal reasoning for uncertain information in expert system
This work presents a logic based on rough set theory that is suitable for reasoning under uncertainty, a rough inference rule, and demonstrates its effectiveness in rule-based reasoning.


Generalization of Rough Sets using Modal Logics
A number of extended rough set models are proposed and examined based on the properties satisfied by a binary relation, such as serial, reflexive, symmetric, transitive, and Euclidean, which correspond to different modal logic systems.
On the definition of modal operators in fuzzy logic
  • H. Thiele
  • Philosophy
    [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic
  • 1993
The classical modal logic with Kripke semantics is generalized in two ways: first, the set, and second, the classifier.
Modal Logic - An Introduction
This chapter discusses standard models for modal logics, classical systems of modal logic, and Determination and decidability for classical systems.
A Review of Rough Set Models
This paper provides a review of the Pawlak rough set model and its extensions, with emphasis on the formulation, characterization, and interpretation of various rough set models.
Boolean Reasoning for Decision Rules Generation
In the paper we investigate the generation problem of optimal decision rules with some certainty coefficients based on belief [7] and rough membership functions [6]. We show that the problems of
Variable Precision Rough Set Model
  • W. Ziarko
  • Computer Science
    J. Comput. Syst. Sci.
  • 1993
Interval Structure: A Framework for Representing Uncertain Information
It is argued that both notions of a rough set and a fuzzy set aim to different purposes, and it is more natural to try to combine the two models of uncertainty (vagueness and coarseness) rather than to have them compete on the same problems.
Two views of the theory of rough sets in finite universes
  • Yiyu Yao
  • Computer Science
    Int. J. Approx. Reason.
  • 1996
DAL - A Logic for Data Analysis