DWELLS@G.BBN.COM (Dori Wells) (02/09/88)
BBN Science Development Program
AI/Education Seminar Series
SOME NEW LOGICS FOR LINGUISTIC DESCRIPTIONS
William Rounds
CSLI, Stanford University
Xerox PARC
(ROUNDS@Russell.Stanford.EDU)
BBN Laboratories Inc.
10 Moulton Street
Large Conference Room, 2nd Floor
10:30 a.m., Tuesday, February 23, 1988
Abstract: Unification-based grammar formalisms typically use attribute-
value matrices as repositories of information derived from
utterances. In previous work we have shown how to represent
grammatical specifications as logical formulas which speak directly
about these matrices. This involved the use of a particularly
simple form of deterministic propositional dynamic logic. In this talk,
we will review this logic, and then discuss how to extend the
logic to speak about set-valued matrices, which involves
a notion of nondeterminism.
Examples will be given involving modeling common knowledge
as a certain non-wellfounded set (its elements include the set itself),
and some coordination phenomena in lexical-functional grammar.
Each example illustrates a particular kind of logical expression.
-------