<!doctype html public "-//w3c//dtd html 4.0 transitional//en">

<html>

Rob Malouf wrote:

<blockquote TYPE=CITE>I don't think there are serious computational or

formal problems with using

<br>persistent defaults.  The LKB implementation of Lascarides and

Copestake's

<br>(1999) YADU operator is quite fast and robust, and for now at least

it looks

<br>like if unification is fast enough for your purposes, then default

<br>unification probably will be fast enough too.</blockquote>

  Apparently, YADU (L&C 1999) can manage pretty well with default

unification, however it doesn't provide a good solution to deal with a

<br>  multi-dimensional type hierarchy.

<p>  According to YADU, a default TFS is calculated from a TDFS by

unifying in the maximal set of compatible elements of the

<br>  union of the tails to the non-default TFS in *priority order*.

The priority order is given by the ordering in the type hierarchy. In the

case

<br>  where there is conflict between the default information, the

specificity or priority of the position of the root type in the type hierarchy

<br>  determines which default information in the tail wins.

<p>  The fact is that in a type hierarchy with multiple inheritance

(like G&S 2001), a subtype can inherit constraints from types belonging

to

<br>  different dimensions (which are not related in terms of specificity).

So, in the case where the supertypes contain (conflict) default

<br>  information, it is not possible to calculate a default TFS according

to the specificity in the hierarchy. However, it's possible to use defaults

<br>  and YADU `in some part' of the hierarchy as long as it behaves

as a bounded complete partial order (apparently a multidimensional

<br>  inheritance hierarchy is not a BCPO, G. Erbach 1994). This seems

to be the case with the default GHFP: this default principle can only

<br>  be overridden by constraints on types in the HEADNESS dimension

of the hierarchy.

<p>  Maybe this is not too relevant for the previous discussion and

probably the problem can be solved without too much effort, but I think

it's

<br>  important to keep in mind that we still need a default unification

for a multidimensional typed hierachy.

<br> 

<p> Best,

<br> Raquel

<pre>-- 

Raquel Fernández Rovira

NLP Group,

Dept of Computer Science

King's College London

The Strand,London WC2R 2LS,UK

phone: +44 (0)20 7848 2476

raquel@dcs.kcl.ac.uk</pre>

 </html>