超一致性与字谜

@文章{Gao2016ParaconsistencyAW，title={超一致性和字谜}，author={高田田、保罗·福多和迈克尔·基弗}，journal={逻辑程序设计理论与实践}，年份={2016年}，体积={16}，页数={703-720}，url={https://api.semanticscholar.org/CorpusID:10755540}}
介绍了一种新的APC非单调语义，称为一致性优先稳定模型，并认为它使APC成为处理字谜和NL句子中不一致性的合适平台。
剑桥出版社观点
[PDF]语义阅读器

3引文

用于知识表示和推理的受控自然语言

本文给出了一个准一致性逻辑框架，从中创建了指导用户对CNL语句进行编码的六个原则，这六个原则可以通过注入不一致性来一致有效地解决字谜问题。

2017年8月28日至9月1日在澳大利亚墨尔本举行的2017年ICLP第33届逻辑编程国际会议的技术交流

针对实体集扩展（ESE）问题，提出了一种基于逻辑的方法，即通过引入统一表示组合知识并允许推理的实体网络概念，扩展给定种子集的命名实体列表。

次协调逻辑的最新应用：探索性文献综述

    A.扎曼斯基
    计算机科学、工程
    J.应用。非班级。逻辑
  • 2019
研究表明，次一致性理论的最新发展尚未被应用，基于注释逻辑的次一致性形式实际上是工程应用中唯一的一种方法。

30参考文献

就业难题：通过受控自然语言处理迎接挑战

本文使用受控自然语言作为一种高级规范语言，它紧贴谜题的原始符号，允许我们以机器可处理的方式重建谜题，并在问题描述中添加缺失和隐含信息。

工作难题：逻辑表达和自动推理的挑战

    沙博理
    计算机科学、哲学
    AAAI春季研讨会：…的逻辑形式化…
  • 2011
本文介绍并讨论了乔布斯难题的三种形式化，与最初的形式化相比，它们的难度和繁琐程度更低，但都不能满足所有这三个要求。

通过自动翻译解决英语描述的难题以编写答案集并学习如何进行翻译

一种能够使用基于lambda-calculus的方法，使用概率组合分类语法（PCCG）自动解决（简化）英语中给出的组合逻辑难题的系统，其中单词的含义与参数相关联，以便能够区分同一单词的多个含义。

不一致推理的逻辑

这项工作提出了一种逻辑，称为APC（带注释的谓词演算），它以统一的方式处理任何一组子句，无论是否一致，并声称逻辑理论是人类对不一致性感知的适当模型，实际上得到了严格的论据的支持。

准一致逻辑编程

尝试控制英语知识表达

尝试控制英语（ACE）是一种受控的自然语言，即精确定义的英语子集，可以自动且明确地翻译为一阶逻辑。ACE可以…

基于受控自然语言处理的答案集编程

本文研究了如何将受控自然语言用作回答集编程（ASP）的规范语言，这是一种解决问题的声明性方法，其根源在于知识表示、逻辑编程和约束满足。

广义注释逻辑程序设计理论及其应用

次一致逻辑

“次协调”概念本身并没有那么多；准一致逻辑的集合过于异构，无法在一个标签下非常有效地处理。

准一致逻辑

本章讨论了在不推导琐碎推理的情况下推导合理推理的必要性，这些琐碎推理遵循经典逻辑中的“似是而非”证明规则。