2.3单元表示方法 在谓词逻辑中,可以通过简单的办法将一个多元关系 转换为二元关系。实际上上述公式就是三元关系 give(JOHN,MARY,BOOK)的一种二元表示。 单元表示法的主要优点是模块化,可以很容易的添加 新信息,例如要表示出给东西事件所发生的时间,则只需 增添一个表示时间的槽就可以了,而不必修改其它内容。 有时槽值可以不是常量符号,如JOHN,而是一个函 数表达式,特别是这个函数可能相当于另一单元的槽名。 这样对于下面的事件 John给了Mary一本书 Bi把钢笔给了从John那里得到书的那个人。在谓词逻辑中, 可以通过简单的办法将一个多元关系 转换为二元关系。实际上上述公式就是三元关系 give(JOHN, MARY, BOOK)的一种二元表示。 单元表示法的主要优点是模块化，可以很容易的添加 新信息，例如要表示出给东西事件所发生的时间，则只需 增添一个表示时间的槽就可以了，而不必修改其它内容。 有时槽值可以不是常量符号，如JOHN，而是一个函 数表达式，特别是这个函数可能相当于另一单元的槽名。 这样对于下面的事件： John给了Mary 一本书。 Bill把钢笔给了从John那里得到书的那个人。 2 . 3 单元表示方法