人工智能——一阶谓词表示法

谓词逻辑适合于表示事务的状态、属性、概念等事实性的知识，事务间确定的因果关系。 首先确定谓词，然后用连词连接。 例1 自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数   1. 谓词定义 自然数：   大于零：   整数： 偶数：      奇数：        除以2：   2. 连词连接表示  例2 设在房间c处有一机器人，在a及b处各有一张桌子，a桌上有一个盒子，为了让机器

>>阅读原文<<