<< Prev | - Up - | Next >> |

Defining DRS interpretation in terms of context change potential is done by relating each DRS with an ingoing and outgoing assignment function.

Defining DRS interpretation in terms of context change potential is done by relating each DRS with an ingoing and outgoing assignment function. But there are some other technical changes we make as well. First, we define an assignment as a ``total'' function (in other words, is defined for any discourse referent used in a DRS). Second, the interpretation function yields a set of assignment functions for conditions, and a set of pairs of assignment functions for DRSs. And finally, we need a device to express differences of assignment functions with respect to a set of discourse referents. We will write meaning that assignment differs at most from in the values it assigns to the discourse referents .

<< Prev | - Up - | Next >> |

Aljoscha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn and Johan Bos

Version 1.2.5 (20030212)