开放世界信息更新的逻辑系统  

Large Logic System for Open World Information Update

作　　者：曹发生[1,2] CAO Fa-sheng(Institute of Logic and Cognition,Sun Yat-sen University,Guangzhou,Guangdong 510275;Department of Cognitive Science,Guizhou Minzu University,Guiyang,Guizhou 550025)

机构地区：[1]中山大学逻辑与认知研究所,广东广州510275 [2]贵州民族大学认知科学与技术系,贵州贵阳550025

出　　处：《烟台大学学报（自然科学与工程版）》2020年第4期464-471,共8页Journal of Yantai University(Natural Science and Engineering Edition)

摘　　要：信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙集逻辑,利用信息系统的粗糙集理论形式化开放世界模型,从而建立开放世界信息更新的逻辑系统.Rough set theory of information systems is an effective method to deal with knowledge representation.It is an important characteristic for open class that its members may increase,partial mapping and non-full mapping provide tools for information table of open world information system.Combinating open classes and rough set logic,we use the concept of information system in rough set to formalize the open world model and produce a logic for it.

关 键 词：开放类 信息系统 动态 逻辑系统 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] O153[自动化与计算机技术—计算机科学与技术]