應用邏輯討論會系列 (IV) -- Neighborhood Systems and Generalized Rough Sets
- 講者蕭育如 教授 (國立虎尾科技大學管理學院院長)
邀請人：廖純中 - 時間2013-08-22 (Thu.) 14:00 ~ 16:00
- 地點資訊所新館107演講廳
摘要
The approximation theory is studied via a common generalization of pretopological and topological neighborhood systems, called total pure reflexive neighborhood systems. In the framework of such neighborhood systems, the definition of pre-topological equivalence is formulated in terms of neighborhoods; we show that the so-called lower and upper approximations are pre-topological invariants and dual to each other, and we construct the corresponding generalized topological closure via the upper approximation.
In addition, to illustrate the applications in rough set theory, two generalizations (U, β) in cases of reflexive relations and coverings, of Pawlak approximation spaces are considered.