描述逻辑μALCIO的语义及推理

来源 :计算机学报 | 被引量 : 0次 | 上传用户:bhf0520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合“一演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合旷演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.
其他文献
基于虚拟立体视假设,借鉴RANSAC技术的思想,文中针对数据缺失(帧对之间匹配特征可能较少)情况下的视角无关手语识别问题,提出一种Sample-Consensus方法.其基本出发点是,同一手语不同视角下的两个样本序列之间所有的对应帧对,可以解释为由某一虚拟立体视觉系统同步捕获,因而满足同一个基础矩阵,而且此基础矩阵能够基于部分对应帧对包含的点对应关系进行估计.实验表明,提出的Sample-Cons
提出了一种新的地形模型简化方法,该方法是在隐式四叉树层次结构基础上,结合离散粒子群思想建立地形的简化模型.文中重新定义粒子为具有层次信息的特征点的集合,从而每个粒子与简化模型的一个候选解相对应.为了实现多个粒子的空间压缩和快速检索,给出了隐式四叉树层次结构的快速索引方法.此外提出了基于法向矢量夹角的发散度函数的误差计算方法,重新定义了既满足地形模型误差要求同时兼顾模型简化比例的粒子评价函数,使地形
基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系