From: pat hayes ([email protected])
Date: 05/15/01
>Pat's strawman proposal for DAML rules (Pat Hayes will send email)
Well, Pat admits defeat. Here's what I wanted to be able to do,
illustrated by an example. There is a class of things called Actions,
which have unique properties called actor (takes values in class of
Agents), actionType, and target (all object classes). I want to say
that the intersections of two classes of actions is uniquely defined
by the intersections of the three property values, ie an action is in
the intersection if its values are in the corresponding
intersections. That ought to be expressible as a rule which has
antecedents referring to the property values and a consequent
referring to the intersection, but I'm damned if I can see how to do
this using DAML syntax.
I wont even bother describing the strawman idea in detail, since this
was the first thing I tried to use it for, and it couldnt even handle
this. What it amounted to in effect was allowing Horn clause rules
whose atoms were DAML assertions with variables, corresponding
roughly to the entries in the model-theoretic semantics table (with
datatype assertions restricted to the antecedents).
Pat
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
[email protected]
http://www.coginst.uwf.edu/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST