Logic-Based Regulation Compliance-Assistance

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 information infrastructure for regulatory information management and compliance assistance. Categories and Subject Descriptors H.3.3 [Information Search and Retrieval]: Information Search and Retrieval; [Artificial Intelligence]: Knowledge Representation Formalisms and Methods – Predicate log...

• Type: Conference
• Year: 2003
• Where: ICAIL
• Authors: Shawn Kerrigan, Kincho H. Law
• Keywords: Compliance Assistance, ICAIL 2003, Order Predicate Calculus, XML Framework