[Ltg] LTG Seminar [Marc Tilbrook, May 24]

[Stephen.Wan at csiro.au]

----
LTG Seminar
 - see: http://www.clt.mq.edu.au/Events/Seminars.html

Monday, May 24, 2004 at 11am
Macquarie Uni, E6A 357
----

Speaker: Marc Tilbrook
Title: Dynamic Semantics at Work.

Abstract:

In this case study we show how an unambiguous semantic representation
can be constructed dynamically in left-to-right order while a text is
written in PENG, a controlled natural language designed for knowledge
representation. PENG can be used in contexts where precise texts (e.g.
software specifications, axioms for formal ontologies, legal
documents) need to be composed. Texts written in PENG look seemingly
informal and are easy to write and to read for humans but have
first-order equivalent properties that make these texts
computer-processable.

I will be doing this talk as a practise run for a presentation at the
LENLS workshop in Kanazawa Japan.