DIPLOTMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications

        Rules promise to be widely useful in Internet electronic commerce. Declarative prioritized default rule knowledge representations offer the advantage of handling conflicts that arise in updating rule sets, but have as yet had little practice deployment. DIPLOMAT is a Java library that embodies a new approach to the implementation of such prioritized default rules: to compile them into ordinary logic programs (with forward or backward inferencing, not simply prolog.) We apply the approach to a newly generalized version of courteous logic programs (LPs), a semantically attractive and computational overhead. This takes a long step towards actual deployment of prioritized default knowledge representation in commercially fielded technology and applications.

        We give in the demo storyboard (appendix) an automated example of e-commerce application scenario: inferencing in a 6-rule courteous LP that represents personalized pricing and promotions on a bookstore's Web storefront.

By: Benjamin N. Grosof

Published in: RC21473 in 1999


r6.ps

LIMITED DISTRIBUTION NOTICE:

This Research Report is available. This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). I have read and understand this notice and am a member of the scientific community outside or inside of IBM seeking a single copy only.

r6.ps

Questions about this service can be mailed to reports@us.ibm.com .