<<AI入门(5)>>(C)

 AI(5) 不知你学过离散数学没有,如果学过下面的可以跳过,没学过的最好找一本书学学. 我们来看看知识表示法的另一种表示方法:谓词逻辑法 谓词逻辑的基本组成部分为:谓词符号,变量符号,函数符号和常量符号,例如要表示机器人(ROBOT)在房间(ROOM)里,我们可以用简单的原子公式: INROOM(ROBOT,ROOM) 其中ROBOT和ROOM为常量符号,INROOM为谓词符号,可以当成是一个函数,一个映射.它有一个确定的值.要么是真,要么是假. 下面来讲讲连词和量词: 连词: // 表示与,当连接的两个原子公式都是真时,公式为真 // 表示或,当连接的两个原子公式都是假时,公式为假 =&gt; 表示蕴涵,例如A=&gt;B只有当A为真,B为假时,公式为假 ~ 表是否定,例如~A,A为真时,公式为假,A为假时,公式为真 量词: /-/ (没法表示:-),将就一下) 表示每个,例如(/-/x)表示每个x满足... 倒着的E 表示存在,例如 (倒着的E x)表示存在x满足... 谓词公式: 合式公式的递归定义如下: 1.原子谓词公式是合式公式 2.若A是合式公式,则~A是合式公式 3.若A和B都是合式公式,则(A//B),(A//B),(A=&gt;B)和(A/=/B)是合式公式 (其中/=/是&lt;- ) ( -&gt;) 4.若A是合式公式,则(/-/A)和(倒着的E x)也是合式公式. 5.按上面的方法有限次组合的为合式公式. 
  • 0
    点赞
  • 0
    评论
  • 0
    收藏
  • 一键三连
    一键三连
  • 扫一扫,分享海报

©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值