【24h】

From Policy-Making Statements to First-Order Logic

机译:从政策制定陈述到一阶逻辑

获取原文

摘要

Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically represented and evaluated. The framework builds on current technologies for multi-threaded discussion, natural language processing, ontologies, and formal argumentation frameworks. This paper focuses on the natural language processing of statements in the framework. A small sample policy discussion is presented. We adopt and apply a controlled natural language (Attempto Controlled English) to constrain the domain of discourse, eliminate ambiguity and unclarity, allow a logical representation of statements which supports inference and consistency checking, and facilitate information extraction. Each of the policy statements is automatically translated into first-order logic. The result is a logical representation of the policy discussion which we can query, draw inferences (given ground statements), test for consistency, and extract detailed information.
机译:在丰富的电子政务政策制定论坛的框架内,职位的Pro和Con陈述是输入,结构相关的,然后逻辑地表示和评估。该框架构建了多线程讨论,自然语言处理,本体和正式论证框架的当前技术。本文重点介绍框架中陈述的自然语言处理。提出了一个小的样本政策讨论。我们采用并申请受控的自然语言(试图控制的英语)来限制话语领域,消除歧义和不通,允许支持推断和一致性检查的逻辑陈述,并促进信息提取。每个策略声明都将自动翻译成一阶逻辑。结果是我们可以查询的策略讨论的逻辑表示,绘制推断(给定地址),测试一致性,并提取详细信息。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号