Modal Reasoning and Rough Set Theory
@inproceedings{Liau1998ModalRA,
title={Modal Reasoning and Rough Set Theory},
author={Churn-Jung Liau},
booktitle={AIMSA},
year={1998}
}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.
5 Citations
A Review on Rough Sets and Possible World Semantics for Modal Logics
- Computer Science, PhilosophyTowards Paraconsistent Engineering
- 2016
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
- Computer Science, PhilosophyInt. 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
- Computer ScienceFundam. Informaticae
- 2017
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
- MathematicsTrans. Rough Sets
- 2020
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
- Computer Science2010 2nd International Conference on Advanced Computer Control
- 2010
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.
References
SHOWING 1-10 OF 47 REFERENCES
Generalization of Rough Sets using Modal Logics
- Computer ScienceIntell. Autom. Soft Comput.
- 1996
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
- 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
- Philosophy
- 1980
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
- Computer Science
- 1997
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
- Computer ScienceISMIS
- 1993
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…
ROUGH FUZZY SETS AND FUZZY ROUGH SETS
- Computer Science
- 1990
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
- Computer ScienceInt. J. Approx. Reason.
- 1996