Hi Chris, (01)
Christopher Menzel wrote: (02)
>
>For the record, a better representation might have been simply:
>
>(1'') (Ex)(Event(e) & Buttering(e,j,t))
>
>where, intuitively, "Buttering(e,j,t)" expresses "e is a buttering of t
>by j".
>
>
> (03)
This is closer to how PSL would represent it.
(Buttering j t) would be a term denoting the activity that is the
buttering of toast t by agent j:
(forall (j t)
(if (and (agent j)
(toast t))
(activity (Buttering j t)))) (04)
To represent the "slowly", one could quantify over occurrences of the
activity:
(exists (j t o)
(and (occurrence_of o (Buttering j t))
(lesser D (duration_of ?o))))
where D would be some constant capturing your idea of "slowly". (05)
- michael (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|