人工智能技术导论——使用PROLOG逻辑语言解决爱因斯坦斑马问题
一、背景 在上一篇博客https://www.cnblogs.com/wkfvawl/p/12056951.html上，我简单介绍了一下Prolog的一些基本语法，这篇博客主要通过老师课上讲过的一个问题，来体验一下prolog在逻辑推理上的优势。 在介绍问题之前，先引入一道Prolog题 ...
原文：人工智能技术导论——逻辑程序设计语言PROLOG
最近在复习人工智能导论，里面介绍了一种逻辑关系语言PROLOG，但这本书里面用到的编译器是Turbo PROLOG，这个编译器早就被淘汰了，我后来找的了它的升级版Visual PROLOG，但一些语法也发生了变化，现在好像用起来不错的是SWI PROLOG ，这里处于复习的目的，把书上关于PROLOG的相关内容保存到这里，下面一些代码我尽可能的使用SWI PROLOG跑一跑，学习一下。 摘自 人工 ...
2019-12-17 21:22 0 1896 推荐指数：
相关推荐
归纳逻辑程序设计
可被PROLOG等逻辑程序设计语言直接使用。 然而，函数和逻辑表达式嵌套的引入也带来了计算上的巨 ...
人工智能技术导论——基于谓词逻辑的机器推理
一、一阶谓词逻辑 1、谓词、函数、量词 设a1, a2, …, an表示个体对象, A表示它们的属性、状态或关系, 则表达式 在谓词逻辑中就表示一个(原子)命题。 例如, (1) 素数(2), 就表示命题“2是个素数”。 (2) 好朋友(张三, 李四 ...
人工智能技术导论——博弈树搜索
我在之前整理过一篇博客关于博弈论和纳什均衡的几个例子https://www.cnblogs.com/wkfvawl/p/11725263.html 这里来介绍博弈树搜索。 一、博弈树的概念 ...
人工智能技术导论——不确定性知识的表示与推理
背景 一般的（确定性）推理过程：运用已有的知识由已知事实推出结论. 此时，只要求事实与知识的前件进行匹配。不精确思维并非专家的习惯或爱好所至，而是客观现实的要求。 在人类的知识和思 ...
人工智能技术导论——机器学习与知识发现
一、机器学习概述 1、机器学习的概念 心理学中对学习的解释是: 学习是指(人或动物)依靠经验的获得而使行为持久变化的过程。人工智能和机器学习领域的几位著名学者也对学习提出了各自的说法。 如Simon认为:如果一个系统能够通过执行某种过程而改进它的性能, 这就是学习。Minsky认为: 学习 ...
人工智能技术导论——基于产生式规则的机器推理
，不仅包括科学技术知识----知识中最重要的部分，还包括人文社会科学的知识、商业活动、日常生活和工作中 ...
GAITC 2019全球人工智能技术大会（南京）
2019年5月25日至26日，由中国人工智能学会主办，以“交叉、融合、相生、共赢”为主题的2019GAITC将在南京全新亮相。 2019 全球人工智能技术大会（2019 GAITC）以“前端引领、深度透视、加速融合”为使命，立足当下，放眼未来，致力于搭建一个全球共通、共建、共享的中国平台。历经 ...