W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > August 2005

LP Semantics (non-monotonicity) in Usage Scenarios?

From: Sandro Hawke <sandro@w3.org>
Date: Fri, 26 Aug 2005 15:42:51 -0400
To: public-rule-workshop-discuss@w3.org
Message-Id: <20050826194254.6838C4EF90@homer.w3.org>


How would you use non-mon (MMS/LP) features in the three usage
scenarios in the draft charter?  Each scenario includes the merging of
rulesets created without knowledge of what they would be merged with.
I don't see how you can do that safely with a non-monotonic logic.  If
a drug-interaction rulebase relies on any kind of non-mon feature,
then it's quite possible to give incorrect results when the pharmacy
merges it with another drug rulebase.

This doesn't exactly require non-mon to be out of scope, but it seems
to justify a monotonic logic (eg FOL) as the primary deliverable.

      -- sandro
Received on Friday, 26 August 2005 19:42:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:16:23 GMT