会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Bryce1010
博客园
新随笔
联系
订阅
管理
2017年10月26日
人工智能(七)逻辑Agent
摘要: 一、逻辑逻辑是一种可以从中找出结论的形式化语言。句法(规则)用语言定义句子。语义定义句子的含义。定义一个句子的真假性。二、蕴含即一个事情逻辑上是另一个事情的必然结果:KB ╞ α知识库KB蕴含句子α,当且仅当α在所有KB为真的世界里均为真。蕴含是基于语法的句子关系。三...
阅读全文
posted @ 2017-10-26 13:02 Bryce1010
阅读(417)
评论(0)
推荐(0)
编辑
公告