【人工智能】逻辑Agent、一般逻辑、Entailment_蕴涵、命题逻辑、前向链接、反向链接、Resolution归结

文章目录

  • 逻辑智能体
    • Knowledge bases
      • 一个简单的基于知识的智能体
  • 一般逻辑
    • Entailment 蕴涵
    • Models模型
    • 蕴涵与推理
  • 命题逻辑
    • 逻辑连接词
    • 枚举推理
      • 有效性
      • 可满足性
  • 推导和证明
    • 霍恩子句
    • Forward chaining 前向链接
      • Proof of completeness(完备性)
    • Backward chaining 反向链接
  • Resolution归结

你可能感兴趣的:(人工智能,算法,机器学习,人工智能,深度学习,机器学习)