A Lesniewski Mereological Analysis on Roughness Theory
粗糙性理论的列氏总分学分析

本文从探究粗糙总分学起源的上下文开始，回顾了其本源列氏总分学及其扩展后的塔氏立体几何关键内容。通过使用上述基本理论的术语和概念，对粗糙包含定义的公设系统进行了初步分析，从而阐述了对粗糙总分学的基本内涵理解。粗糙总分学体现了列氏总分学与粗糙性理论结合的一个方面，但列氏总分学作为与经典集合论相提并论的理论体系，具有完全基于该理论构造粗糙性的能力。基于此观点，本文首先描述了以集合论中划分的概念表达的粗糙集理论的形成原理，然后以列氏总分学概念来对等地替代集合论概念，以获得纯粹总分学意义上的粗糙性。这些思想和努力的最终目的，是利用总分学作为形式本体论要素的特质，建立作为软计算基本方法的粗糙性理论和作为知识／智能系统核心的本体论之间的关系，从而构建适应新型计算模式的方法学。