|14.00 - 14.40 Hs.||Bill Wadge. A Hybrid Predicate Calculus|
We present in this talk a hybrid logical system which
incorporates a fairly conventional first-order predicate
calculus, but which also include elements of modal logic and
relational algebra. A special effort has been made to produce
a (syntactically and semantically) well integrated whole,
rather than just a disjoint union.
The calculus, from a formal point of view, is equivalent (in terms of expressiveness) to conventional first-order systems. It exhibits, however, some promising pragmatic advantages. In particular, many statements of so-called ``everyday'' language can be formulated more directly and concisely, often without resort to any bound variables.
|14.50 - 15.30 Hs.||[CANCELED] Mike Reape. Hybrid Logics: The Linguistic Connection|
The mechanisms underlying PATR-II and other unification-based
approaches to grammar are based on the use of attribute value
matrices (AVMs) with ``tags'' to indicate re-entrancy of
Hybrid logics built over the tight connection existing between AVMs and deterministic multi-modal logics, providing an easy way to account for re-entrancy: in the setting of hybrid logics ``tags'' are simply nominals.
In this talk we will investigate the connections between hybrid logics and another powerful grammar language: Head-Driven Phrase Structure Grammar (HPSG).
|14.50 - 15.30 Hs.||Geert-Jan Kruijff. Hybrid Logics: The next obvious step in modeling interpretation of natural language|
|The talk will focus on the application of hylos in linguistics - how they provide the kind of ontological detail called for in lexical semantics, how they are familiar in formal semantics (e.g. for the analysis of tense in natural language), and how they provide a brilliant way of tying the former two together into a formal account of grammar (namely, categorial type logics).|
Hybrid Logics Site
Web Master: Carlos Areces
Copyright © 2000.