<<AI入门(5)>>(C)_inroom(robot)-优快云博客

博客介绍了知识表示法中的谓词逻辑法。阐述了谓词逻辑的基本组成部分，包括谓词符号、变量符号等，还介绍了连词（与、或、蕴涵、否定）和量词（每个、存在），并给出了谓词公式合式公式的递归定义。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

AI(5)

不知你学过离散数学没有,如果学过下面的可以跳过,没学过的最好找一本书学学.
我们来看看知识表示法的另一种表示方法:谓词逻辑法

谓词逻辑的基本组成部分为:谓词符号,变量符号,函数符号和常量符号,例如要表示机器人(ROBOT)在房间(ROOM)里,我们可以用简单的原子公式:
INROOM(ROBOT,ROOM)
其中ROBOT和ROOM为常量符号,INROOM为谓词符号,可以当成是一个函数,一个映射.它有一个确定的值.要么是真,要么是假.

下面来讲讲连词和量词:
连词:
 // 表示与,当连接的两个原子公式都是真时,公式为真
 // 表示或,当连接的两个原子公式都是假时,公式为假
 => 表示蕴涵,例如A=>B只有当A为真,B为假时,公式为假
 ~  表是否定,例如~A,A为真时,公式为假,A为假时,公式为真
量词:
 /-/ (没法表示:-),将就一下) 表示每个,例如(/-/x)表示每个x满足...
 倒着的E 表示存在,例如 (倒着的E x)表示存在x满足...

谓词公式:

合式公式的递归定义如下:
 1.原子谓词公式是合式公式
 2.若A是合式公式,则~A是合式公式
 3.若A和B都是合式公式,则(A//B),(A//B),(A=>B)和(A/=/B)是合式公式
(其中/=/是<- )
(          ->)
 4.若A是合式公式,则(/-/A)和(倒着的E x)也是合式公式.
 5.按上面的方法有限次组合的为合式公式.