Logic-based regulation compliance-assistance

ABSTRACT

This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that support the development of the compliance assistance system are discussed. The first is a document repository containing federal and state regulations and supplemental documents. The second is an XML framework for representing regulations and associated metadata. The prototype effort for the regulation assistance system has been focused on environmental regulations and related documents. The compliance assistance system is illustrated in the domain of used oil management. The objective of this research is to develop a formal infrastructure for regulatory information management and compliance assistance.

REFERENCES

• 1: Rechtschaffen, C., "Competing Visions: EPA And The States Battle For The Future Of Environmental Enforcement," Environmental Law Reporter, 2000.
• 2: Romine, M., "Politics, The Environment, And Regulatory Reform At The Environmental Protection Agency," Environmental Lawyer, 1999.
• 3: Heffron, F. A. and N. McFeeley, The Administrative Regulatory Process, Longman, 1983.
• 4: Heenan, C., Manual and Technology-Based Approaches to Using Classification for the Facilitation of Access to Unstructured Text (Unpublished Manuscript), Engineering Informatics Group, Stanford University, January, 2002. (available at http://eil.stanford.edu/regnet).
• 5: Business Compliance One Stop Workshop, Small Business Administration, Queenstown, MD, July 24-26th, 2002.
• 6: National Compliance Assistance Providers Forum. cosponsored by the U.S. Environmental Protection Agency and Texas Commission on Environmental Quality: San Antonio, TX., Dec., 2002.
• 7: Botkin, A., "Wizards, Advisors and Websites, Oh My! Interactive Electronic Tools for Compliance Assistance," presented at the National Compliance Assistance Providers Forum, co-sponsored by U. S. Environmental Protection Agency and Texas Commission on Environmental Quality, San Antonio, December, 2002.
• 8: McCune, W. W., Otter 3.0 Reference Manual and Guide. ANL-94/6, Mathematics and Computer Science Division, Argonne National Laboratory, 1994.
• 9: Kathryn E. Sanders, Representing and reasoning about open-textured predicates, Proceedings of the 3rd international conference on Artificial intelligence and law, p.137-144, May 1991, Oxford, England [doi>10.1145/112646.112663]
• 10: Andrew J. I. Jones , Marek Sergot, On the characterization of law and computer systems: the normative systems perspective, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, UK, 1994
• 11: Marc Lauritsen, Knowing documents, Proceedings of the 4th international conference on Artificial intelligence and law, p.184-191, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.159000]
• 12: Environmental Compliance and Pollution Prevention Guide for Vehicle Maintenance Shops, New York State Department of Environmental Conservation Pollution Prevention Unit, 2002.
• 13: 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]
• 14: Wahlgren, P., Automation of Legal Reasoning, Kluwer Law and Taxation Publishers, 1992.
• 15: Zeleznikow, J. and D. Hunter, Building Intelligent Legal Information Systems: Representation and Reasoning in Law, Kluwer Law and Taxation Publishers, 1994.
• 16: T. J. M. Bench-Capon, Knowledge-based systems and legal applications, Academic Press Professional, Inc., San Diego, CA, 1991
• 17: McCarty, T., "Reflections on Taxman: An Experiment in Artificial Intelligence and Legal Reasoning," Harvard Law Review, 1977.
• 18: Andrew Stranieri , John Zeleznikow, The evaluation of legal knowledge based systems, Proceedings of the 7th international conference on Artificial intelligence and law, p.18-24, June 14-17, 1999, Oslo, Norway [doi>10.1145/323706.323711]
• 19: Stefanie Brüninghaus , Kevin D. Ashley, Finding factors: learning to classify case opinions under abstract fact categories, Proceedings of the 6th international conference on Artificial intelligence and law, p.123-131, June 30-July 03, 1997, Melbourne, Australia [doi>10.1145/261618.261645]
• 20: C. A. Royles , T. J. M. Bench-Capon, Dynamic Tailoring of Law Related Documents to User Needs, Proceedings of the 9th International Workshop on Database and Expert Systems Applications, p.609, August 26-28, 1998
• 21: Proceedings of the 7th International Conference on Artificial Intelligence and Law. Oslo, Norway, ACM Press, 1999.
• 22: Proceedings of the 8th International Conference on Artificial Intelligence and Law. St. Louis, Missouri, ACM Press, 2000.
• 23: Jie Wang , James O. Leckie, Distributed information organization and management for hazardous waste regulation compliance checking, 2003

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Predicate logic

Additional Classification:
  J. Computer Applications
  J.1 ADMINISTRATIVE DATA PROCESSING

General Terms:
Design, Performance, Theory

Keywords:
compliance assistance, legal informatics, regulations