论文部分内容阅读
在多值逻辑中,含有量词的tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明.但是由于扩展后的分枝非常庞大,使机器实现非常困难.文章通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.
一种多值规则量词公式的tableau的方法
【摘 要】
：
在多值逻辑中,含有量词的tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明.但是由于扩展后的分枝非常庞大,使机器实现非常困难.文章通过对规则量词公式与一阶经
【机 构】
：
吉林大学计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2003年8期
其他文献
在分析了传统口令认证技术的原理及其漏洞的基础上,该文提出了一种基于信息隐藏的口令认证技术,并给出了其原理及实现方法.
前一段时间图个新鲜，开通了QQ漂流瓶功能，开始还蛮好玩。可时间一长就感觉烦了，主要是因为每次登录QQ后，都会提示来了新邮件，登录后发现大多数是漂流瓶提示信息，日益影响我的日常工作，看来只能清除漂流瓶了。 当初是QQ提示我开通漂流瓶的，可现在从哪里关闭呢？寻找一番后，发现关闭方法。登录QQ邮箱后，单击“设置”按钮，切换到“常规”选项，在最下方有个“漂流瓶的设置”，取消选择“开启漂流瓶功能”，最后单
随着社会进步和新课程标准改革的深入，中职学校美术教学日渐重视学生综合素质的培养，其中美术欣赏教学模式发挥着重要的作用，学校通过美术欣赏模式的引入来潜移默化地提升学生的
玩过《战地风云》系列游戏的朋友，想必对其中的战争载具印象深刻。驾驶着飞机在空中翱翔，操纵着坦克在陆地上横冲直撞，乘坐着快艇在海里驰聘……在“战地”中，各种战争载具的运用
本文以实际工程为例，阐述了某带局部转换层的高层建筑结构的整体结构设计和转换层部位的局部关键构件设计，并运用ANSYS有限元软件对转换大梁进行了应力分析，提出了一些有意义的