文章主要讨论了描述逻辑中Tbox的最大与最小不动点语义,证明了当某一基解释J所诱导的映射为单调时,该Tbox存在最大与最小J-模型,并......

逻辑程序始于上世纪70年代初，来源于定理机器证明与人工智能的研究。在逻辑程序30年的发展中，它已经成为了人工智能领域中重要的一个......

描述逻辑(Description Logic)作为基于对象的知识表示的形式化工具,广泛地应用在信息系统、数据库、软件工程、自然语言处理和网络......

分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语......

循环术语集推理是描述逻辑研究中面；晦的难点问题，尚未得到很好的解决．有序．2-叉决策图（orderedbinarydecisiondiagram，简称OBDD）是一种对......

作为一种通用的语义近似理论，抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相......

主要讨论逻辑程序中的最大不动点语义. 证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一......

分析了描述逻辑循环术语集的研究现状和存在的问题，在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS（least comm......

循环术语集是描述逻辑长期以来的研究难点，其最基本的问题即语义及推理问题没有得到合理的解决．分析了描述逻辑循环术语集的研究现状......

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现......

计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释，并利用归纳法证明......

循环术语集是描述逻辑长期以来的研究难点，它的最基本的问题即语义及推理问题没有得到合理的解决，文中分析了描述逻辑循环术语集的研......