3

13.2 A Representation based on FOPC

• The KR language used has much in common with the logical form language.

• The terms of the language include
  • constants, like John1,
  • function applications, like father(John1), and
  • variables, like x and y.

• Note that the logical form language did not use constants - everything was expressed in terms of discourse variables to keep the representation context-independent.