<< 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 >> |