论文部分内容阅读
在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实现非常困难,通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.
一种多值规则量词公式的Tableau的方法
【摘 要】
：
在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实现非常困难,通过对规则量词公式与一阶经典量
【机 构】
：
吉林大学计算机科学系(吉林长春)
【出 处】
：
第七届中国人工智能联合学术会议
【发表日期】
：
2003年1期
其他文献
提出了基于概念扩展的关键词检索技术,讨论了概念检索的基本思想.在分析概念间的逻辑关系及其结构的基础,给出了一种高效的概念库数据结构,描述并分析了概念库的各种检索和操
通过在采用塑料排水板处理海域公路深厚软基的断面埋设试验仪器，对路基打设塑料排水板前后的沉降进行对比，得出塑料排水板处理海域软基初期3月内沉降达1252mm，约占设计沉降量50％
为了使图像加密系统具备优化功能;且能有效地解决离散问题,并可优化所有迭代结果,保证密文在每次迭代加密算法过程中都能有效地抵抗各种攻击,提出了一个加权离散帝国竞争算法
通过N-氧化吡啶-2-甲醛与邻氨基苯巯酚反应得2-(2-氮氧化吡啶基)苯并噻唑，并测定单晶结构，化合物分子式为C12H9N2OS，晶体属单斜晶系，空间群P21／c，晶胞参数：a=1．1938(2)nm，b=0．48630(10)
对任意有限群G,利用其子群的弱拟正规条件刻划原群G的结构,给出G超可解的若干充分条件,并推广相关文献的结果.
对不相容决策表分别使用3种知识约简方法（代数方法、信息熵方法和差别矩阵方法）得到的结果可能不同。在此概括这些知识约简并介绍其在分析不相容决策表中的作用。因此对于知识
实验通过试片悬挂转动的方法来模拟现场水造粒硫磺成型过程，采用失重腐蚀速率、扫描电镜观察，能谱进行表征，研究了温度、位置因素对316L和20N在水造粒硫磺颗粒成型过程中的腐蚀
高压电力转接头经常工作在恶劣的环境中，当前以人工巡检的效率较低，难以及时发现一些被氧化的高压转接头，存在高温造成的火灾隐患。设计并实现了一种电力转接头温度远程监控系统