人工智能：彻底弄懂一阶谓词逻辑知识表示方法

简单例题：他每天下午都去玩足球

①判断知识的成立条件和结果。可以将该条知识表示为

每天下午→他去玩足球

②分析知识表示中是否有”任意“和”存在“的含义，如果有则将知识表示转化为如下形式

任意一天 | 当天下午→他去玩足球

③将文字描述状态转化为谓词描述状态。可以将谓词描述视为一个函数，函数的参数给定后即可确定一个具体的对象。于是本题中可以定义如下所示的谓词

Afternoon(Date)：表示具体某一天的下午
Play(person,sport)：表示某个人参与某一项体育项目

④将上述谓词状态描述代入，即可得到完整的谓词表述如下

∀Date(Afternoon(Date)→Play(He,Soccer))

通用步骤

①将知识转化为文字性的描述。也就是将知识的成立条件和结果分开。
②进一步分析文字性的知识描述中是否含有”任意“或”存在“的含义，如果有则将这一部分进行拆开。
③将文字描述状态转化为谓词描述状态。
④代入谓词描述状态，得到知识的完整谓词表述。

用于练习的题目与参考解析

例题1：凡是喜欢编程的人都喜欢计算机

①转化为文字性描述。

某人喜欢编程→某人喜欢计算机

②分析是否有”任意”和“存在”。可以分析出本题中的知识表述含有“任意人”的概念。

任意一人 | 喜欢编程→喜欢计算机

③将文字描述转化为谓词描述。定义如下所示谓词：

Like(person,y)：person表示人，y表示某事物，表示person喜欢y

④转化为完整的谓词表示。

∀person(Like(person,Programming)→Like(person,Computer))

例题2：如果一个人是老实人，他就不会说谎

①转化为文字描述：一个老实人→不会说谎
②分析任意和存在的概念：任意一个人 | 老实人→不会说谎
③设置谓词描述：
Honest(person)：表示person是老实人
Lie(person)：表示person说谎
④转化为完整的谓词表示：∀person(Honest(person)→~Lie(person))

例题3：如果张三比李四大，那么李四比张三小

①转化为文字描述：张三比李四大→李四比张三小
②分析任意和存在的概念：发现没有任意和存在的概念，因此该步骤不做任何操作
③设置谓词描述：
Older(p1,p2)：表示p1比p2年龄大
Younger(p1,p2)：表示p1比p2年龄小
④转化为完整的谓词表示：Older(张三,李四）→Younger(李四,张三)