The RAS system is a logic-based compliance-assistance system designed to help users work with environmental regulations and related documents. This system is part of a larger project, the RegNet project, which aims to develop a formal, practical infrastructure to enhance access to government regulations. The RAS prototype available through this website is a limited implementation that covers two sections of Part 279 from the Code of Federal Regulations, Title 40: Protection of the Environment (40 CFR). Part 279 covers the standards for the management of used oil and defines standards for a variety of parties: used oil generators, used oil collection centers and aggregation points, used oil transporter and transfer facilities, used oil processors and re-refiners, used oil burners who burn off-specification used oil for energy recovery, used oil fuel marketers, and entities disposing of used oil
Read the RAS tutorial
Start the RAS system
Acknowledgements and Disclaimer
This research project is sponsored by the National Science Foundation, Grant Numbers EIA-998368 and EIA-0085998. The RAS system uses Otter, an automated-deduction program developed by William McCune at Argonne National Laboratory, to do logical inferences for the compliance checking procedure.
The prototype implemented herein is solely for demonstration and research purpose and is not intended to be used for any other purposes. Any opinions, findings, conclusions or recommendations expressed in this material are those of the prototype developers and do not necessarily reflect the views of the National Science Foundation, Stanford University and any other agencies. No approval or endorsement of any commercial product by Stanford University is intended or implied.