注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 第二章 谓词逻辑与归结原理

  2. 人工智能课件，关于谓词逻辑与归结原理，在学习了离散数学的基础上，进一步深入的学习谓词逻辑，掌握人工智能的初步知识

  3. 所属分类：专业指导

  1. 中科大人工智能讲义

  2. 中科大人工智能硕士研究生讲义 第一章 绪论 [问题求解部分] 第2章 基本搜索策略 第3章 与或图搜索策略 第4章 博弈树的搜索 第5章 局部搜索与最优化 第6章 约束满足问题 约束优化和多目标优化 (补充内容) [自动推理部分] 第7章 知识表示 第8章 谓词逻辑归结原理 1 2 Answer Set Programming（补充内容） 1 2 [不确定性推理部分] 第9章 贝叶斯网络 第10章 主观贝叶斯方法 第11章 证据理论

  3. 所属分类：专业指导

    • 发布日期：2011-11-28
    • 文件大小：3145728
    • 提供者：mrlizhijun

  1. 数理逻辑(俞瑞钊)

  2. 数理逻辑---讲的非常清楚: 形式系统,命题逻辑,谓词逻辑,归结原理, 还有递归论等内容.

  3. 所属分类：专业指导

    • 发布日期：2013-09-16
    • 文件大小：8388608
    • 提供者：u012150552

  1. 人工智能谓词逻辑归结问题的推理系统

  2. 人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ，可以帮助广大学子进一步学习人工智能的相关知识。

  3. 所属分类：C/C++

    • 发布日期：2014-11-26
    • 文件大小：1048576
    • 提供者：gaoshuangyin

  1. 广工人工智能谓词逻辑算法作业

  2. 结合课本习题3.23解答，通过编制一个程序执行，归结得到结果！

  3. 所属分类：C/C++

  1. 人工智能ppt

  2. 人工智能包括：命题逻辑，谓词，Herbrand定理，归结原理，产生式系统，机器学习，搜索方法等。

  3. 所属分类：讲义

    • 发布日期：2015-10-28
    • 文件大小：8388608
    • 提供者：u013317928

  1. 谓词逻辑归结推理系统

  2. 人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。 我奋斗了几乎5天总算弄出来了，放过bin出来show一下^_^。 至于代码，想要的可以联系我。 这里给出一个测试用例吧： ;假设：所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。 ;求证：李明过着激动人心的生活。 (\x)(~Poor(x)∧Smart(x)→happy(x)) (\x)(Read(x)→Smart(x)) Read(Li)∧~Poor(Li) (\x)(h

  3. 所属分类：C++

    • 发布日期：2008-12-10
    • 文件大小：281600
    • 提供者：qq_33403790

  1. 2017-广东工业大学人工智能实验报告Java，C

  2. 实验一：A*算法解决机器人走迷宫问题 c语言 实验二：α-β剪枝法实现一字棋 ，java，eclipse 实验三：谓词逻辑归结原理，java，eclipse

  3. 所属分类：机器学习

    • 发布日期：2018-01-27
    • 文件大小：742400
    • 提供者：weixin_31789689

  1. 高级人工智能-期末复习重点.docx

  2. 人工智能的三大学派：符号主义，联结主义，行为主义。搜索，遗传算法，多层感知机(MLP)，BP算法，Hopfield 网络，径向基网络，Boltzmann机（BM），深度神经网络（DNN），自动编码器（Auto Encoder），Deep Belief Networks(DBN)，Deep Boltzmann Machine(DBM)，Deep Learning for Image，Deep Learning for Sequence，RNN，LSTM，GAN，消解（归结）原理，一阶谓词逻辑，一阶

  3. 所属分类：互联网

    • 发布日期：2020-03-27
    • 文件大小：4194304
    • 提供者：qq_36918538

  1. 西安电子科技大学.zip

  2. 一、盲目搜索，图搜索（A算法，A*算法）。 二、与或图，博弈论、剪枝。 三、谓词逻辑，归结原理 四、知识 五、贝叶斯网络。

  3. 所属分类：机器学习

    • 发布日期：2020-03-05
    • 文件大小：30408704
    • 提供者：weixin_40823740

  1. 人工智能导论全套课件.ppt

  2. 人工智能全套课件，王万鹏第三版 十二周，让菜菜带你认识sklearn，带你深入浅出地探索算法的神秘世界。我会为你解读sklearn中的主流算法，带你处理数据，调整参数，完善算法，调用结果。我会为你解析参数，助你理解算法原理，也会带你遍历案例，带你实战给你刷经验。 Stata实用计量方法_可以复制的成功发 ... 因果推断专题讨论会丨从线性回归走向 ... 第 1 章 绪论 1.1 人工智能的基本概念 1.2 人工智能的发展简史 1.3 人工智能研究的基本内容 1.4 人工智能的

  3. 所属分类：讲义

    • 发布日期：2020-07-14
    • 文件大小：9437184
    • 提供者：fw1019870887

  1. 合一算法的Python实现–人工智能

  2. 考察 合一算法 求点赞，给作者一点分享的鼓励 代码没写GUI，因为不喜欢这玩意，直接在终端中进行人机交互 代码写的较为冗余，主要还是我没动力了，不想优化了，因为调试代码已经把我榨干了 文章目录合一算法是什么？由来合一算法思路及代码 合一算法是什么？ 由来 如何解决 谓词演算归结 的一个问题，即决定那两个子句是否为亲本子句。例如，下面两个文字 是否能够成为亲本子句呢？ L(f(x)) ∨ L(A) ～L(B) 合一算法正是为此而来 合一算法 在谓词逻辑中，一个表达式的 项 是 常量符号、变量符号

  3. 所属分类：其它

    • 发布日期：2020-12-20
    • 文件大小：107520
    • 提供者：weixin_38644599