Abstract: 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 practical 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 (LP's), a semantically attractive and computationally tractable form of prioritized default rules. Compilation enables courteous LP's functionality to be added modularly to ordinary LP rule engines, via a pre-processor, with tractable computational overhead. We give in the demo storyboard (appendix) an automated example e-commerce application scenario: inferencing in a 60-rule courteous LP that represents personalized pricing and promotions on a bookstore's Web storefront. This paper is an extended version of the paper appearing in the Proceedings of the AAAI-99 conference.
[ IBM home page | Order | Search | Contact IBM | Help | (C) | (TM) ]