Extracting Traceable Formal Representations from Natural Language Regulatory Documents |
Regulations, laws, and policies that affect many aspects of our lives are represented predominantly as documents in natural language. For example, the Food and Drug Administration's Code of Federal Regulations (FDA CFR) governs the operations of American bloodbanks. The CFR is framed by experts in the field of medicine, and regulates the tests that need to be performed on donations of blood before they are used. In such safety-critical scenarios, it is desirable to assess formally whether:
- The regulation (CFR) is consistent, and
- An organization (bloodbank) conforms to the CFR
The proposed research is to develop natural language processing (NLP) techniques for extracting formal representations from regulatory documents. These representations are then analyzed for consistency and used to determine an organization's conformance to the regulation. This is a collaborative effort between researchers in NLP and formal methods and aims at producing an environment in which policy can co-exist in natural and formal languages.
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking - Nikhil Dinesh, Aravind Joshi, Insup Lee and Oleg Sokolsky. In Submission (2008)
- Checking Traces for Regulatory Conformance - Nikhil Dinesh, Aravind Joshi, Insup Lee and Oleg Sokolsky. To Appear in the Proceedings of the Workshop on Runtime Verification (RV) (2008)
- Logic-based Regulatory Conformance Checking - Nikhil Dinesh, Aravind Joshi, Insup Lee and Oleg Sokolsky. Proceedings of the Fourteenth Monterey Workshop (2007)
- Extracting Formal Specifications from Natural Language Regulatory Documents - Nikhil Dinesh, Aravind Joshi, Insup Lee and Bonnie Webber. Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5), Buxton, England (2006)
People:
- Professor Aravind Joshi
- Professor Insup Lee
- Professor Oleg Sokolsky
- David Arney
- Nikhil Dinesh
- Arvind Easwaran
- Michael May
- Alan Abrahams (ex-member)