Executable declarative business rules and their use in electronic commerce

ABSTRACT

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.

REFERENCES

• 1: G. Antoniou. Nonmonotonic Reasoning. MIT Press, 1997.
• 2: G. Antoniou , M. Arief, Modelling business rules using defeasible logic, Proceedings of the 2000 information resources management association international conference on Challenges of information technology management in the 21st century, p.1020-1022, May 2000, Anchorage, Alaska, United States
• 3: Australian Taxation Office. Guide to GST. 2000.
• 4: Benjamin N. Grosof , Yannis Labrou , Hoi Y. Chan, A declarative approach to business rules in contracts: courteous logic programs in XML, Proceedings of the 1st ACM conference on Electronic commerce, p.68-77, November 03-05, 1999, Denver, Colorado, United States [doi>10.1145/336992.337010]
• 5: C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19,20:73-148, 1994.
• 6: G. Antoniou , D. Billington , M. J. Maher, Normal forms for defeasible logic, Proceedings of the 1998 joint international conference and symposium on Logic programming, p.160-174, August 1998, Manchester, United Kingdom
• 7: G. Antoniou , D. Billington , M. J. Maher, On the Analysis of Regulations using Defeasible Rules, Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6, p.6033, January 05-08, 1999
• 8: Benjamin N. Grosof, Prioritized conflict handing for logic programs, Proceedings of the 1997 international symposium on Logic programming, p.197-211, November 1997, Port Washington, New York, United States
• 9: D. Hay and K. Healy. GUIDE - Business Rules Project, Final Report rev. 1.2. 1997.
• 10: V. Marek and M. Truszczynski. Nonmonotonic Reasoning. Springer, 1993.
• 11: L. Morgenstern and M. Singh. An expert system using nonmonotonic techniques for benefits inquiry in the insurance industry. In Proc. IJCAI-97. Morgan Kaufmann, 1997.
• 12: D. Nute. Defeasible reasoning. In Proc. 20th Hawaii International Conference on Systems Sciences, pages 470-477. IEEE Press, 1987.
• 13: R. Ross. The Business Rule Book: Classifying, Defining and Modeling Rules, 2nd edition. Business Rule Solutions, Inc., 1997.
• 14: M. J. Sergot , F. Sadri , R. A. Kowalski , F. Kriwaczek , P. Hammond , H. T. Cory, The British Nationality Act as a logic program, Communications of the ACM, v.29 n.5, p.370-386, May 1986 [doi>10.1145/5689.5920]
• 15: Guillermo R. Simari , Ronald P. Loui, A mathematical treatment of defeasible reasoning and its implementation, Artificial Intelligence, v.53 n.2-3, p.125-157, Feb. 1992 [doi>10.1016/0004-3702(92)90069-A]
• 16: F. Stolzenburg and B. Thomas. Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints. In Automated Deduction --- A Basis for Applications. Volume III: Applications, pages 243-264. Kluwer Academic, 1998.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving

  J. Computer Applications
  J.1 ADMINISTRATIVE DATA PROCESSING
      Subjects: Business

  K. Computing Milieux
  K.4 COMPUTERS AND SOCIETY
      K.4.4 Electronic Commerce

General Terms:
Algorithms, Design, Theory