基于范畴论的对象模型归纳研究

• 作 者: 林涛 胡运发 陶晓鹏 刘惟一
• 机 构: 复旦大学计算机科学系(上海)
• 出 处: 第六届全国机器学习研讨会
• 发表日期: 1998年期
• 关键词: 范畴论 模糊理论 对象模型 语义解释 经典 解决问题 对象属性 型变换 完全格 解空间 变换性 技术 工具 分类 方法 代数

该文从基于对象属性进行分类归纳产生对象模型出发，以范畴论作为工具，给出了对象模型的代数语义解释，并进行了模糊推广，指出了人们在解决问题的过程中当需要涉及模糊领域，利用模糊理论中成熟的技术和方法时，只要模糊时满足最大、最小完全格条件，那么在解空间进行的模型变换在经典和模糊领域中是相互对应着的，模糊领域中产生的变换性质在经典领域中均保持不变。