- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Fri, 02 Jun 2006 13:19:01 -0400
- To: "Peter F. Patel-Schneider" <pfps@inf.unibz.it>
- Cc: sandro@w3.org, bry@ifi.lmu.de, public-rif-wg@w3.org
> > Specifically, here's my strawman. I propose the ECA/Reaction rule: > > > > on Event > > when Condition > > then Action > > > > be treated semantically as the Horn rule (FOL implication): > > > > if eventHappened(Event) and Condition > > then actionRequested(Action) > > > > and similarly for production rules (just drop the event part). > > I'm not sure that this would result in *any* inferences in a FOL system. > How are you going to put the eventHappened and actionRequested into the FOL > (or other deductive) framework in such a way that supports, for example, > chaining of rules? Such rules have perfect meaning in Transaction Logic, which extends FOL and has both a model theory and a proof theory. --michael
Received on Friday, 2 June 2006 17:19:30 UTC