Abduction, Conversational Implicature and Misleading in Human Dialogues
Abduction, Conversational Implicature and Misleading in Human Dialogues
复制标题
人类对话中的溯因、会话含义和误导
DOI：
10.1093/jigpal/jzu027
复制
发表时间：
2016
影响因子：
1
通讯作者：
Katsumi Inoue
中科院分区：
文献类型：
--
作者：
Chiaki Sakama;Katsumi Inoue
给出了图灵归约完备问题的一个新的句法刻画。一般的标准形式的发展，以定义这样的问题。其中一种形式允许我们在有序结构上定义完整的问题，另一种形式允许我们在至少有一个二元关系的无序结构上定义完整的问题。使用规范形式，逻辑开发的各种复杂性类的完整的问题。证据表明，不可能有任何完整的问题结构只包含一元关系。我们的方法是超越完整的问题。使用类似的形式，开发了一种逻辑来捕获（没有古列维奇意义上的有效性的额外要求）很可能不包含完整问题的复杂性类NP-NP。
A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed to define such problems. One of these forms allows us to define complete problems on ordered structures, and another form to define them on unordered structures with at least one binary relation. Using the canonical forms, logics are developed for complete problems in various complexity classes. Evidence is shown that there cannot be any complete problem on structures containing only unary relations. Our approach is extended beyond complete problems. Using a similar form, a logic is developed to capture (without the additional requirement of effectiveness in the sense of Gurevich) the complexity class NP∩coNP which very likely contains no complete problem.