【摘 要】
：
摘要:针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动推理算法的效率十分有效。 关键词:格值命题逻辑系统;归结自动推理;α-归结原理;II-α-超归结原理 中图分类号:O153文献标识码:A文章编号:1009-
论文部分内容阅读
摘要:针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动推理算法的效率十分有效。
全文查看链接
定义3.5 如果存在从S到α-□的II-α-超归结演绎ωIIα-H,则称ωIIα-H为II-αH-反驳。
全文查看链接
其他文献
摘要：本文介绍了Microsoft用于建立和运行面向服务的应用程序的统一框架WCF的系统结构和技术要素，分析了WCF用于分布式开发的优点及项目的多层开发技术，并通过开发具体分布式应用程序来展现基于WCF构架的分布式应用程序的编程步骤与技巧。 关键词：WCF；SOA；分布式 中图分类号：TP309.05文献标识码：A文章编号：1009-3044(2008)19-30068-03 Distrib
摘要:该文先分析了P2P的工作原理,详细地对有NAT之时P2P如何穿越进了描述,再对现有的视频压缩技术进行阐述与对比,再应用P2P技术及服务器技术,详细地介绍了系统的设计方法与思路。 关键词:P2P;视频会议系统;NAT 中图分类号:TP393文献标识码:A文章编号:1009-3044(2009)24-6645-03 随着Internet技术的发展,家庭及企事业单位接入互联网已成为现实。
摘要：主要研究扩展的UML与XML Schema的建模方法，并设计一种基于XML Schema到扩展的UML的建模算法。利用该法，开发基于XML文档后勤管理系统。 关键词：统一建模语言；扩展的标记语言模式；建模算法；后勤管理系统 中图分类号：TP311 文献标识码：A 文章编号：1009－3044(2008)03－10463－05
摘要：该文在深入研究Grid Services技术的一些最新学术和应用成果基础上，结合目前水库洪水预报系统的需求分析和设计原则，系统地论证了使用Grid Services技术实现水库洪水预报系统可行性和优势。同时根据系统特性和要求，给出了基于Grid Services的水库洪水预报系统的基本框架结构，为实现在Internet环境下进行洪水预报调度提供了分布式计算平台。 关键词：Grid Serv
摘要:该文主要研究了基于Symbian智能手机操作平台的垃圾短信的研究,在设计上提出特有的分层过滤方法,结合手机通信录号码簿,公共号码名单里的电话号码以及对短信内容进行相关关键字匹配的过滤这三个“关口”进行过滤,同时提出了一种短信过滤领域较新颖的BM过滤算法的研究。该方法对于短文本的过滤精确率较高,对于资源有限的手机操作平台运行不受影响,从而增加了算法的可行性。 关键词:Symbian;垃圾信息
摘要：该文介绍了利用Authorware的一个数据库编程接口——ODBC.U32动态链接库功能与数据库进行连接，实现题目和程序的分离。 关键词：Authorware；ODBC；数据库 中图分类号：TP311文献标识码：A文章编号：1009-3044(2008)30-0623-03 DataBase Programming Based on ODBC Technology in Autho
摘要：在系统运行中我们经常会遇到由于文件损坏导致启动的问题，但是在Linux中我们可以利用Linux的新技术让系统每次从内存启动，并且每次启动完后把完整的文件系统解压到内存，避免了系统从损坏的文件系统启动。这不仅使系统能正常启动，而且提高了系统性能。 关键词：Linux；嵌入式；文件系统 中图法分类号：TP309 文献标识码：A 文章编号：1009-3044(2008)07-11232-02
摘要：本文介绍了一种使用DIV CSS Javascript设计选项卡式网页布局方法，分别讨论了选项卡居左、居右、居上和居下四种效果。该方法简单、实用，既能保持网页的信息量，又可以极大地节省网页空间。 关键词：DIV； CSS；JavaScript；网页设计 中图分类号：TP311文献标识码：A文章编号：1009-3044(2008)17-21556-03 1 引言 业界越来越关
摘要：敏捷企业以其快速的市场反应能力和企业间良好的合作关系而受到企业界的追捧，在瞬息万变的市场竞争中如何能够捕捉到转瞬即逝市场机会则是敏捷企业生存之道。加速信息采集、传递，提高企业群之间的快速配合程度，才能够更快的对市场做出反应。在敏捷企业实施SoA能够很好的将虚拟企业关系灵活化，增强敏捷能力。 关键词：SOA：敏捷企业 中图分类号：TP311 文献标识码：A 文章编号：1009－3044(2
摘要：Photoshop是一个专业图像处理软件，它具有强大的图像处理功能。在广告、建筑、工业设计等领域都有广泛应用，尤其在创作中能进行必要的移植和嫁接。Photoshop中分离背景技术就是将图像中的某部分物体(目标)和背景分离开来。无疑分离背景技术是图像编辑的基础。掌握好图像分离背景的方法和技巧在图像编辑中有着重要的意义。 关键词：Photoshop；图像编辑；分离背景 中图分类号：TP331