From: Mike Dean (mdean@bbn.com)
Date: 01/22/02
Benjamin Grosof provided some read-ahead material on RuleML and Rules for DAML for today's telecon. We'll plan to at least introduce this today, and may continue the discussion next week. Forwarded with permission. Mike -------- Original Message -------- Subject: material on Rules for today's Joint Committee telecon Resent-Date: Tue, 22 Jan 2002 12:02:44 -0500 Resent-From: Mike Dean <mdean@bbn.com> Resent-To: mdeanbbn@prodigy.net Date: Tue, 22 Jan 2002 11:09:30 -0500 From: Benjamin Grosof <bgrosof@MIT.EDU> To: Mike Dean <mdean@bbn.com> CC: boley@dfki.de Hi Mike, Attached are documents by way of background to the discussion of RuleML and Rules for DAML planned for today's Joint Committee telecon. I'm figuring we will be devoting 10-15 minutes to that discussion today -- please let me know if that's right. The documents are: - an overview of future (actually already ongoing) technical directions -- inline'd below - related new paper and demo description that appeared at WITS '01 conference, that describe prototyping of RuleML inferencing and translation (these will soon be posted, with slightly different formatting, on my website) Best, Benjamin %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % plans for RuleML and Rules for DAML % by Benjamin Grosof 1/22/02 % thanks to Harold Boley and Said Tabet for discussion Overview of Directions for technical work on RuleML and related Rules for DAML: work is already underway by Benjamin's group at MIT Sloan 1. courteous extension of logic programs: negation-as-failure, defaults, priorities, merging, updating; limited classical negation (in the logic program sense) 2. importing rules/rulesets, modules of rule subsets, and related aspects of merging 3. procedural attachments: situated logic programs, supporting OPS5, Event-Condition-Action kinds of rules - including Jess 4. queries, relational database 5. justifications 6. combining with Description Logic, types, Object-Oriented - including WebOnt In addition: tools examples %%%%%%%%%%%% Overview of Recent Progress by MIT Sloan: o courteous situated (Logic Programs) extension of DTD defined in Dec. 2001 o tools for running RuleML, including full courteous LP expressiveness: - translation to and from multiple rule systems languages, including: KIF XSB Prolog IBM Business Rules Markup Language Smodels (forward-chaining logic programs) - inferencing: forward chaining; also easily can do backward via translating above - demonstrated at Workshop on Information Technology and Systems (WITS '01) on Dec. 15-16, 2001 held in New Orleans (the premier techno B-school research conference) - soon to be posted and runnable on website (at MIT Sloan, linked from other RuleML)
Prof. Benjamin Grosof, MIT Sloan Sch. of Mgmt. (http://mitsloan.mit.edu) Contracts and Policies for E-Commerce, XML Rules and Agent Communication, Web Services bgrosof@mit.edu http://ebusiness.mit.edu/bgrosof/
This archive was generated by hypermail 2.1.4 : 04/02/02 EST