论文部分内容阅读
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动推理算法的效率十分有效。
格值命题逻辑系统LP（X）的α-超归结原理
【摘 要】
：
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。
【机 构】
：
东北财经大学信息工程学院
【出 处】
：
中国新技术新产品
【发表日期】
：
2009年11X期
其他文献
环氧材料具有优异的力学、热学和电学性能,因而被广泛用于各个领域；但其不足的冲击韧性限制了其应用。它在涂料中用量很大,但在耐酸碱性和固化收缩方面还有待进一步提高。为了
<正>自体动静脉内瘘是临床对需长期血液透析的慢性肾衰竭患者建立动静脉通路的常用方式,然而目前动静脉内瘘失功及未成熟的发生率仍较高,其中桡动脉—头静脉内瘘失功及未成熟
金属切削时产生的振动信号具有独立于尺度和随机的特征，与1／f过程相似，用1／f过程功率谱中的指数γ作为特征量．可以用来检测切削颤振的发生。试验表明，切削颤振的产生伴随着参数γ的
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
根据数控加工的精度要求,分析了速度响应对改善进给运动平稳性的作用和对位置精度的影响,建立了位置误差的计算公式和补偿办法,解决了实际数控加工中存在的相关问题.
作为全世界最大的农业保险市场,美国的农业保险制度起步较早,相关的法律、政策较为健全,这使得美国农业保险的发展模式较为成熟。与美国相比,我国农业保险制度起步较晚,发展
马克思主义唯物史观认为,社会形态的更替体现了普遍性与特殊性相统一的特点,而邓小平“建设有中国特色社会主义”的理论,创造性地发展了历史唯物主义社会形态更替的普遍性与