next up previous
Next: Deriving Properties of the Up: Representing Discourse Previous: The Logic of and

Example: Air Force-GE Discourse

We examine the following hypothetical discourse taking place between the Air Force and General Electric:

  1. AF: Will you bid on the engine for the FX22?
  2. GE: Yes.
  3. AF: What is your bid?
  4. GE: $4M.
  5. AF: Does that include spares?
  6. GE: Yes.
We transcribe the above discourse in our logic as a sequence of discourse contexts, s.t.

tex2html_wrap_inline4619

tex2html_wrap_inline4621

tex2html_wrap_inline4623

tex2html_wrap_inline4625

tex2html_wrap_inline4627

tex2html_wrap_inline4629
where c is the initial discourse context. To simplify presentation, in this section we take tex2html_wrap_inline4342 to be a predicate; in §4 we have illustrated how it can be treated as a function by using tex2html_wrap_inline3747 instead of tex2html_wrap_inline3898 .


Sasa Buvac
Sun Jul 12 14:45:30 PDT 1998