原文:人工智能技术导论——基于谓词逻辑的机器推理

一 一阶谓词逻辑 谓词 函数 量词 设a , a , , an表示个体对象, A表示它们的属性 状态或关系, 则表达式 在谓词逻辑中就表示一个 原子 命题。 例如, 素数 , 就表示命题 是个素数 。 好朋友 张三, 李四 , 就表示命题 张三和李四是好朋友 。 一般地, 表达式 在谓词逻辑中称为n元谓词。其中P是谓词符号,也称谓词,代表一个确定的特征或关系 名 。x ,x , ,xn称为谓词的参 ...

2019-12-28 15:57 0 2717 推荐指数:

查看详情

人工智能技术导论——不确定性知识的表示与推理

背景 一般的(确定性)推理过程:运用已有的知识由已知事实推出结论. 此时,只要求事实与知识的前件进行匹配。不精确思维并非专家的习惯或爱好所至,而是客观现实的要求。 在人类的知识和思维行为中,精确性只是相对的,不精确性才是绝对的。知识工程需要各种适应不同类的不精确性特点的不精确性 ...

Fri Dec 20 00:40:00 CST 2019 1 3458
人工智能技术导论——逻辑程序设计语言PROLOG

最近在复习人工智能导论,里面介绍了一种逻辑关系语言PROLOG,但这本书里面用到的编译器是Turbo PROLOG,这个编译器早就被淘汰了,我后来找的了它的升级版Visual PROLOG,但一些语法也发生了变化,现在好像用起来不错的是SWI PROLOG ,这里处于复习的目的,把书上 ...

Wed Dec 18 05:22:00 CST 2019 0 1896
人工智能技术导论——使用PROLOG逻辑语言解决爱因斯坦斑马问题

一、背景 在上一篇博客https://www.cnblogs.com/wkfvawl/p/12056951.html上,我简单介绍了一下Prolog的一些基本语法,这篇博客主要通过老师课上讲过的一个问题,来体验一下prolog在逻辑推理上的优势。 在介绍问题之前,先引入一道Prolog题 ...

Wed Dec 18 17:34:00 CST 2019 0 1236
人工智能技术导论——机器学习与知识发现

一、机器学习概述 1、机器学习的概念   心理学中对学习的解释是: 学习是指(人或动物)依靠经验的获得而使行为持久变化的过程。人工智能机器学习领域的几位著名学者也对学习提出了各自的说法。 如Simon认为:如果一个系统能够通过执行某种过程而改进它的性能, 这就是学习。Minsky认为: 学习 ...

Sat Dec 21 19:21:00 CST 2019 0 1073
人工智能技术导论——几种结构化知识表示及推理过程

一、框架 1、框架的概念 顾名思义,框架就是一种结构,一种模式,其一般形式是: 即一个框架一般有若干个槽,一个槽有一个槽值或者有若干个侧面,而一个侧面又有若干个侧面值。其中槽值和 ...

Thu Dec 19 19:47:00 CST 2019 0 1642
人工智能技术导论——博弈树搜索

我在之前整理过一篇博客关于博弈论和纳什均衡的几个例子https://www.cnblogs.com/wkfvawl/p/11725263.html 这里来介绍博弈树搜索。 一、博弈树的概念 ...

Thu Dec 19 19:16:00 CST 2019 2 2740
GAITC 2019全球人工智能技术大会(南京)

2019年5月25日至26日,由中国人工智能学会主办,以“交叉、融合、相生、共赢”为主题的2019GAITC将在南京全新亮相。 2019 全球人工智能技术大会(2019 GAITC)以“前端引领、深度透视、加速融合”为使命,立足当下,放眼未来,致力于搭建一个全球共通、共建、共享的中国平台。历经 ...

Wed Apr 17 23:23:00 CST 2019 0 1186
 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM