【摘 要】
：
含有量词的一阶多值Tableau方法具有统一的扩展规则,并由Zabel等人给出了可靠性和完备性的证明.但由于扩展后的分枝随着真值数目的增加而呈指数的增加,因而影响了机器推理执
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室
【基金项目】
：
国家自然科学基金，吉林省科技发展计划，吉林大学校科研和教改项目
论文部分内容阅读
含有量词的一阶多值Tableau方法具有统一的扩展规则,并由Zabel等人给出了可靠性和完备性的证明.但由于扩展后的分枝随着真值数目的增加而呈指数的增加,因而影响了机器推理执行的效率.该文提出了布尔剪枝方法,将带符号的公式与集合的上集/下集联系起来,使含量词的一阶多值逻辑公式的扩展规则大大简化.进一步,通过对布尔剪枝方法的分析,建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法,该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法.
其他文献
Hopfield神经网络是一类应用非常成功的人工神经网络模型,它是研究这个反馈神经网络的基础. 该文主要研究离散时间、连续状态的反馈神经网络,它是Hopfield神经网络的推广. 众
提出了一种基于AIMD算法的分层多播拥塞控制算法.算法借助AIMD算法具有的良好TCP兼容性和稳定性,采用慢增慢减的速率调节原则来防止TCP中速率减半策略所带来的速率振荡.为避
近日，重庆市科学技术委员会组织军事医学科学院兽医研究所教授涂长春、中国农业科学院兰州兽医研究所研究员刘湘涛、中国动物疫病预防控制中心研究员杨林等国内专家对重庆市动
多范例并行是大规模并行应用系统的本质特征.规范化描述并行应用系统,建立性能估算模型对于提高多范例并行应用系统的开发效率和运行效率具有重要意义.该文提出了一种基于模