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.
The formalism proposed in REF is a first order predicate calculus built upon an XML framework.
Logic-based regulation compliance-assistance
ICAIL
Computer Science