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

<html>

Hi,

<p>Rob Malouf wrote:

<blockquote TYPE=CITE>In the case where conflicting default constraints

are inherited

<br>from orthogonal dimensions of the hierarchy, the result is the generalization

<br>of the conflicting constraints. For example, in a Nixon diamond, where

<br>something inherits the constraint [ F / a ] (i.e., the value of the

feature F

<br>is, by default, an object of type a) from one dimension and the constraint

<br>[F / b ] from another orthogonal dimension, the effect will be that

the value

<br>of F will be constrained to be the least upper bound of a and b. It's

true

<br>that strictly speaking constraints can't be overridden by conflicting

<br>constraints from an orthogonal dimension, but the result is certainly

<br>well-defined and, in my opinion at least, pretty much what you want.

Or is

<br>there some other problem you had in mind?</blockquote>

Ann Copestake wrote:

<blockquote TYPE=CITE>wrt Raquel's point - Rob's right that YADU is fine

with a

<br>multidimensional type hierarchy in the sense that it gives a

<br>well-defined result etc.  If you want to ensure that one side

of a

<br>multiple inheritance gets preferred over the other and you have a

<br>well-defined notion of priority, it'd be trivial to amend the YADU

<br>definition to do that.  But as far as I can see, it'd have to

be an

<br>external or stipulative notion of priority: there's nothing that you

<br>can sensibly compute on a hierarchy alone that'll give you an answer

to

<br>Nixon Diamonds.</blockquote>

It's true that the result is well defined, although I think it is not the

best result you can get since in some cases you would loose too much

<br>information (I'm thinking in examples likes the GHFP conflicting with

some hypothetic default constraint in the Clausality dimension).

<br>My point was that the `problem' with this kind of hierarchies is that

the type hierarchy can not be used to define a priority order.

<br>As Ann Copestake says,  it's necessary to stipulate an additional

ordering aside from the hierarchy in order to compute default

<br>unification in an interesting way.

<p>Cheers,

<br>    Raquel

<br> 

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