从规范文本中提取形式模型
Extracting Formal Models from Normative Texts
摘要：
规范性文本是基于义务、许可和禁止的道义概念的文件。我们的目标是使用C-O图形式主义来建模这样的文本，使它们能够进行形式化分析，特别是验证文本是否满足有关行为因果关系和时间约束的属性。我们提出了一个实验性的，半自动的援助，以弥合规范性文本和其正式表示之间的差距。我们的方法使用依赖树结合我们自己的规则和算法来提取相关组件。生成的表格数据可以转换为C-O图。
英文摘要：
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is to model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
