Workplan
WP1: Record-based compositional semantics
We will develop a method for using dependent record types to give a
compositional semantics for natural language, taking account of other
approaches, notably approaches based on Montague semantics and
semantics used in
association with HPSG (Head-driven Phrase Structure Grammar).
Deliverable D1: a report presenting the method for basic
compositional semantics, together with some implemented sample
grammars
WP2: Issue-based dialogue management
We will attempt to recast our previous work on issue-based dialogue
management in terms of dependent record types and evaluate the
results.
Deliverable D2: a report on the recasting
issue-based dialogue management in terms of dependent record types
WP3: Type theoretical theory of records
We shall compare the linguistic work conducted in this
project with work on records in type theory conducted in other
projects by Thierry Coquand et al. Our aim is to see if the
theory developed with programming languages in mind can support the
linguistic application and to see whether the linguistic application
can be improved by incorporating insights from this work.
Deliverable D3: a report indicating the relationship between
the linguistic application and the theoretical work on records
WP4: Records in the Grammatical Framework
In this task we will examine the possibilities and desirability of
incorporating dependent record types into the Grammatical Framework.
Deliverable D4: a report discussing the possibility of record
types in GF, possibly including a preliminary implementation
WP5: Integration of compositional semantics and dialogue
management
The aim of this work package is to combine the work on grammar and
compositional semantics carried out in WP1 and the type theoretically
oriented approach to dialogue management developed in WP 2.
We will examine two strategies: (i) incorporating representations
associated with compositional semantics as a single field within the
records used to implement dialogue management (ii) merging the
information associated with compositional semantics with that
associated dialogue management into a single record structure. Our
hypothesis is that (ii) might be harder achieve but more successful in
the long run.
Deliverable D5: a report describing how information concerning
compositional semantics and dialogue management should be combined
in the record based approach
Approximate schedule
Deadlines will be modified subject to the needs of the research.
| Deliverable | Initial version | Final version |
|---|
| D1: compositional semantics | VT03 | HT05 |
| D2: issue-based dialogue management | HT03 | HT05 |
| D3: comparison with type theoretical theory of records | VT04 | HT05 |
| D4: records in GF | HT04 | HT05 |
| D5: combining compositional semantics and dialogue management in a
record based approach | VT05 | HT05 |
<cooper@ling.gu.se>
Last modified: Mon Aug 4 18:20:01 CEST 2003