Tim Fernando in ITK-colloquium

Thread View: nlnet.announce

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Emiel Krahmer Mon, 12 Oct 1992 11:17

Author: Emiel Krahmer
Date: Mon, 12 Oct 1992 11:17

33 lines
1850 bytes

			    ITK-COLLOQUIUM

			     Tim Fernando
			   (CWI, Amsterdam)

	    UNDERSTANDING AND EXTENDING DYNAMIC SEMANTICS

  `Dynamic semantics' (in the sense of, say, DRT and DPL) is presented
from the point of view of `static' semantics (e.g., first-order
logic). The idea is to pass from a static conception of a proposition
A as a set of contexts (validating A) to a dynamic interpretation of A
as a binary relation on contexts (describing transitions A induces).
This passage amounts conceptually to a shift from evaluating A against
some context to constructing some context on the basis of A. While
this shift can be analyzed abstractly in terms of suitable
mathematical structures, the talk will focus more concretely on finer
points concerning translations of first-order formulas into programs.
Motivated (in part) by linguistic considerations, special attention
will be given to alternative (`truly dynamic') accounts of negation,
implication and universal quantification.

  Tim Fernando completed his doctoral dissertation last year in
California under S. Feferman and J. Barwise on the foundations of
situation theory (`broadly conceived'). He has been a member, since
July 1991, of J. van Eijck's group at CWI, investigating parallels
between natural and programming languages.


	       Thursday, nov. 5, 1992, 15.45h - 16.45h
    Institute for Language Technology and Artificial Intelligence

		   Warandelaan 2, 5037 GC, Tilburg
			     Room: PZ 205

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads