Executable declarative business rules and their use in electronic commerce

Business rules are statements which are used to run the activities of an organization. In the era of electronic commerce it is important for these rules to be represented explicitly, and to be automatically applicable. In this paper we argue that methods from the field of knowledge representation can be used for this purpose. In particular, we propose the use of defeasible reasoning, a simple but efficient reasoning method based on rules and priorities. We motivate the use of defeasible reasoning, give examples, describe two case studies, and outline current and future work in our research.

[1]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[2]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[3]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[4]  Miroslaw Truszczynski,et al.  Complexity of some forms of nonmonotonic reasoning , 1993 .

[5]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[6]  Leora Morgenstern,et al.  An Expert System Using Nonmonotonic Techniques for Beneefits Inquiry in the Insurance Industry , 1997, IJCAI.

[7]  Benjamin N. Grosof Prioritized conflict handing for logic programs , 1997, International Conference on Logic Programming.

[8]  Benjamin N. Grosof Prioritized Conflict Handling for Logic Programs , 1997, ILPS.

[9]  Ronald G. Ross,et al.  The Business Rule Book: Classifying, Defining and Modeling Rules , 1997 .

[10]  Michael J. Maher,et al.  Normal Forms for Defeasible Logic , 1998, IJCSLP.

[11]  F. Stolzenburg,et al.  Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints , 1998 .

[12]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[13]  Benjamin N. Grosof,et al.  A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.

[14]  Grigoris Antoniou,et al.  Modelling business rules using defeasible logic , 2000, IRMA Conference.