Meaning and Form in Event Calculus
Edgar Andrade

Abstract:
This thesis is two fold. The first part deals with an existence proof
of a formal algorithm that takes a narrative discourse and returns its
semantic repre sentation in the Event Calculus (EC from now on). This
algorithm uses Discourse Representation Theory, and takes on the form
of a translation from Discourse Representation Structures to Scenarios
and Integrity Constraints in EC. The second part, under a
Cognitive-Functional approach, deals with the closely intertwined
tasks of providing tools for the formalization of Construction
Grammar, and to give the first few steps towards a more flexible
algorithm for the semantic representation in the EC.