关于描述逻辑中不动点语义的讨论

摘要：

文章主要讨论了描述逻辑中Tbox的最大与最小不动点语义,证明了当某一基解释J所诱导的映射为单调时,该Tbox存在最大与最小J-模型,并且该映射的不动点构成一完备格.又由完备格而引出关于不动点的闭包算子及闭包系统的一些知识,最后讨论了最大与最小模型存在与否问题.

关键词： 描述逻辑 不动点语义 Tbox 基解释 J-模型 闭包算子

作者: 郭秀敏 王国俊

作者单位: 陕西师范大学数学研究所,西安 710062 陕西师范大学数学研究所,西安 710062 西安交通大学基础科学研究中心,西安 710049

会议类型: 国内会议

会议名称: 第六届中国不确定系统年会

会议地点: 洛阳

会议语种:中文

页码: 13-15

在线出版日期: 2008-08-03（万方平台首次上网日期，不代表论文的发表时间）