人工智能语言prolog(人工智能语言与理论答案2021)

 

命题逻辑与推理

互联网小常识：为了能够使其他邮件服务器将邮件转发到该邮件服务器，需要建立邮件路由，即在DNS服务器中建立邮件服务器主机资源记录和邮件交换器资源记录。

一、命题逻辑

将知识表示成命题（三个特性：陈述局、可判定真假、结论唯一），然后通过命题与命题之间的关系合取、析取、取反、蕴含表达知识库，借助关系的运算规则（交换律、结合律、分配律、二次取非消去、逆否定理、蕴含消去、双向蕴含消去、摩根定律）来归结，得出结论是否为真。鲁滨逊归结原理是命题逻辑自动化证明的方法，首先将知识库表达为析取范式后，与结论的否定命题做归结，如果归结得到空集则说明结论正确，否则结论不成立。

二、一阶逻辑

一阶逻辑弥补了命题逻辑太粗的弊端，提出了常量、函数、谓词、量词的概念将命题进一步细分，以更简练的表达通用的知识。命题逻辑可以视为一阶逻辑的实例化，通过消去量词的方法将一阶逻辑转化为命题逻辑。一阶逻辑表达中不包含假命题，也就是封闭世界假设，一切未表达的知识都认为是假的。将知识表达为一阶逻辑后，用合一算法进行命题归结。归结算法包括前向链与反向链算法。可以证明，对于确定子句的知识，前向链算法的结论是完备的。

三、前向链与反向链

前向链是不断的检查知识库中是否有满足条件的语句，并将其结论加入到知识库中，该过程迭代进行直至无法在添加新的知识为止。执行前向链需要将知识库转化为一阶确定子句的形式。前向链是一个知识发现的过程，通过既有的知识推理出新的知识。就像向量空间中的基一样，理论上如果找到了基，某种程度上是指元知识，那么就可以得到整个空间中的所有知识。我们能想像的元知识：物理、化学、生物、语文、数学、历史、地理等都属于基，了解的越多。

与前向链算法相反，反向链首先考虑结论，然后查询知识库是否满足前提中的每一个合取子式。

四、Herbrand定理

互联网小常识：综合布线系统分为六个子系统，分别为：工作区子系统、配线（水平）子系统、干线（垂直）子系统、设备间子系统、管理子系统和建筑群子系统。

基于封闭假设，看到在给定知识库与待查结论，归结原理可以在有限步内判定结论的真假。对于所有的查询结论归结原理是否可以在有限步内判定其真假呢？这个不就是图灵机、邱奇数要解决的问题，就是定理的可判定性问题，也就是可计算性问题。在给定空间中，是否可以通过有限步得到答案。

任何一阶逻辑都可以转化为前束范式（含有n个变量的合取范式。

五、两种推理工具Prolog与Lisp

都是人工智能的编程语言，理论基础是一阶逻辑与Herland定理。Prolog语言比较方便掌握可以视为高级语言但是搜索采用了深度优先的算法复杂推理的效率较低，Lisp语言更为灵活可以视为是推理中的汇编语言。

Prolog的下载地址：https://www.swi-prolog.org/

Lisp的下载第地址：http://www.gnu.org/software/emacs/download.htmlnonfree；Lisp环境搭建教程https://www.cnblogs.com/stevenjiang/p/4958033.html；

知识表示与推理是人工智能的基础。知识表示中的本体论与资源描述框架、本体描述语言为知识建模提供了概念基础，即构建领域知识的概念体系，建立领域概念、实体与关系模型。命题逻辑与一阶逻辑则提供了推理的基本方法，最后Prolog与Lisp为推理的实现提供了工具支持。在具体实现的时候可以采用前向推理算法也可以采用后向推理算法，方法的选择取决于问题自身，如果条件比较简单就采用前向推理，如果结论比较简单就采用后向推理的算法。

互联网小常识：VLAN的特点：a、工作在数据链路层b每个VLAN都是一个独立的网段，独立的广播域c每个都有各自唯一的子网号，通信需要第三层的路由功能。

免责声明：本站所有信息均搜集自互联网，并不代表本站观点，本站不对其真实合法性负责。如有信息侵犯了您的权益，请告知，本站将立刻处理。联系QQ：1640731186