溯因推理

因为溯因推理在学习过程中较难被重视，我们就多做这方面的论述。

Since abduction is hardly emphasized in learning , we will give some more insights .

运用溯因推理理解间接回答

Interpreting Indirect Answers by Abduction

Agent机会发现的一种刻画：溯因推理及其扩展

Approach for Agent Chance Discovery Abductive Reasoning and Its Extension

该文提出了一个基于溯因推理的主体协商模型，是对Parsons的基于论据的协商模型的改进。

This paper proposes a negotiation approach based on abductive reasoning , which improves the approach proposed by Parsons .

所以，溯因推理是创造性的过程，以新发现为目的。

So , the abductive process is creative and works towards new discovery .

我们还分析了溯因推理中涉及的时态、因果等等模态概念。

We also analyze modal concepts of tense and causation involved in abductive reasoning .

语用推理具有溯因推理的所有特征，但不等于溯因推理。

Pragmatic reasoning is characterized by abductive nature , but it is not equal to abduction .

溯因推理与语用推理

Abduction and Pragmatic Inference

从现代谓词逻辑的角度看，三段论溯因推理可以转化为谓词逻辑中的溯因推理。

From the perspective of modem predicate logic , syllogistic abductive reasoning can be converted into abductive reasoning in predicate logic .

科学假设作为归纳或溯因推理的终点，它也是从假设到结论的起点。

Scientific hypothesis as the end point of inductive or abductive reasoning is also the starting point of the process from hypothesis to conclusion .

对于这类推理，我们从命题逻辑、三段论和谓词逻辑等三个方面，区分了不同类型的溯因推理。

For this type of reasoning , we explore different types of abductive reasoning from three aspects : propositional logic , syllogism and predicate logic .

命题溯因推理模式主要涉及蕴涵词的使用，然而借助命题逻辑中的定义，也可以对其它命题联结词在溯因推理中的运用进行分析。

Propositional abductive reasoning is mainly concerned with the use of implication . We also analyze use of other propositional connectives in abductive reasoning by definitions of them in propositional logic .

论文从心理实在性出发，采用定性分析和溯因推理的方法对所收集的语料进行详尽的分析，以揭示反语意义的动态构建过程。

Departing from psychological reality , we adopt a qualitative and introspective method to make a detailed analysis of the data so as to reveal the dynamic meaning construction of irony .

从信息输入和输出的角度，构造了各种不同类型的溯因推理的认知模型，反映了溯因推理中信息的动态变化以及溯因推理的或然性特征。

From the perspective of information input and output , we construct corresponding cognitive models for various types of abductive reasoning which reflect dynamics of information and the non-necessary feature of abduction .

陈荣讨论一类扩展的溯因程序，它包含经典否定、缺省否定、一致性约束以及溯因推理机制。

This paper discusses an extended version of abductive logic programs which includes classical negation , default , negation , integrity constraints and abduction .