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. -------