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

• 作者: 曹发生
• 来源期刊: 烟台大学学报（自然科学与工程版）
• 学科: 工学
• 关键词: 开放类 信息系统 动态 逻辑系统
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 研究论文
• 页码范围: 464-471
• 页数: 8页
• 分类号: TP301|O153
• 语种: 中文
• DOI: 10.13951/j.cnki.37-1213/n.200102

摘要

信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙集逻辑,利用信息系统的粗糙集理论形式化开放世界模型,从而建立开放世界信息更新的逻辑系统.