Re: Production Logic Programs Approach, in a Nutshell: paper now available

Hi Peter,

At 10:11 AM 12/20/2005, you wrote:
>This bring to mind an interesting issue.
>
>Should the RIF WG be investigating systems or formalisms that do not have
>complete publically-available comprehensible formal definitions?
>
>My vote would be "NO".

Noted :-) .  Do Production Rules (cf. Ilog, Fair Isaac, Jess, etc.), 
or ECA Rules, qualify?  ;-)

Production LP is an expressively fairly simple reformulation of 
several pieces of previous work by me and others
(Situated + various other expressive features, cf. RuleML/SWSL) that 
translates (bidirectionally) a bit more simply to Production Rules 
(PR) than the previous Situated extension does.
I'll be packaging all the formal details about the formalism and the 
translation to PR, in a self-contained relatively-concise way in the 
next major iteration of the writeup (which I aim to have in the next 
few weeks).  I'll look forward to feedback then about comprehensibility :-) .

Best,
Benjamin


>peter
>
>
>From: Benjamin Grosof <bgrosof@MIT.EDU>
>Subject: Production Logic Programs Approach, in a Nutshell: paper 
>now available
>Date: Tue, 20 Dec 2005 00:23:39 -0500
>
> >
> > Hi folks,
> > A paper (20 pages) is now available:
> > "The Production Logic Programs Approach, In a Nutshell:  Foundations
> > for Semantically Interoperable Web Rules"
> > It's at:
> > http://ebusiness.mit.edu/bgrosof/#PLP
> >
> > The status of this is a draft working paper.
> >
> > I plan to put a link to it on the RIF wiki soon.
> >
> > Benjamin
> >
> > 
> ________________________________________________________________________________________________
> > Prof. Benjamin Grosof
> > Web Technologies for E-Commerce, Semantic Rules, Business Policies,
> > E-Contracting, Services, Trust, Financial
> > MIT Sloan School of Management, Information Technology group
> > http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof
> >

________________________________________________________________________________________________
Prof. Benjamin Grosof
Web Technologies for E-Commerce, Semantic Rules, Business Policies, 
E-Contracting, Services, Trust, Financial
MIT Sloan School of Management, Information Technology group
http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof

Received on Tuesday, 20 December 2005 20:46:24 UTC