Extracting Traceable Formal Models from Natural Language Policy Documents

0429948Insup Lee宾夕法尼亚大学从自然语言策略文档中提取可跟踪的形式模型Insup Lee，Aravind Joshi策略在我们的生活中扮演着重要的角色，并在许多方面影响着我们，例如，美国食品和药物管理局的联邦法规规范了如何检测血液中的传染病。这些政策文件中的模糊性、冲突和不完整性可能导致不受欢迎和不安全的情况。拟议的研究是开发基于NLP（自然语言处理）的技术和方法，用于从政策文件中提取正式模型。 然后分析这些模型的正确性和一致性，并用于策略实现的一致性测试。 这是NLP和形式方法研究人员之间的合作努力，旨在创造一个环境，使政策可以在自然和形式语言中共存。 为了这种方法的成功和有用性，重要的是保持这两种策略表示之间的对应性和可追溯性。 此外，政策库的庞大规模和文档的复杂性保证了模型的模块化提取，然后合并这些模型。 现有的NLP技术需要扩展和定制，以帮助正式模型的模块化提取。 合并提取的模型也需要扩展和完善正式的方法技术。 随着我们的社会越来越依赖基于计算机的系统，特别是医疗设备，拟议的研究将有助于提高此类系统的可靠性。

0429948Insup LeeUniversity of PennsylvaniaExtracting Traceable Formal Models from Natural Language Policy Documents Insup Lee, Aravind JoshiPolicy plays an important role in our lives and affects us in many ways, e.g., the Food and Drug Administration's Code of Federal Regulations govern how to test blood for communicable diseases.Ambiguities, conflicts, and incompleteness in such policy documents could lead to situations that are undesirable and unsafe.The proposed research is to develop NLP (Natural Language Processing) based techniques and methods for extracting formal models from policy documents. These models are then analyzed for correctness andconsistency and also to used for conformance testing of implementations of the policy. 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. For success and usefulness of this approach, it isimportant to maintain correspondence and traceability between these two representations of policy. Furthermore, the large size of the policy bases and the complexity of the documents warrant modularizedextraction of models and then the merging of these models. Existing NLP techniques need to be extended and tailored to aid in the modular extraction of formal models. The merging of extracted models alsorequires extensions and refinements to formal method techniques. As our society relies more on computer-based systems, and on medical devices in particular, the proposed research will help to improve the reliability of such systems.