1) nonmonotonic abduction
非单调的溯因推理
2) abduction
[英][æb'dʌkʃən] [美][æb'dʌkʃən]
溯因推理
1.
Given a theory and observations,abduction tries to find explanations for observations.
溯因推理是在给定的理论和观察下,求出对于该观察可能的解释。
2.
Analyzing scientific discovery semantically,or researching the activities of scientific discovery themselves historically,we will find that,despite the social,historical,and psychological properties,scientific discovery is actually a logical process of generating,choosing,revising,receiving and interpreting new hypothesis,the logical mechanism is just abduction advocated by Charles S.
不管对科学发现进行语义分析,还是对科学发现活动本身进行历史探究,我们都会发现,科学发现除了具有社会、历史和心理上的属性外,它在本质上乃是新假说的产生、选择、修正、接受和解释的逻辑过程,其逻辑机制正是皮尔士与汉森等所倡导的溯因推理。
3.
And the logic of language finds out that the premise in pragmatic inference is formed by abduction.
语用逻辑对于前提的形成有进一步研究,发现语用推理中的前提是通过溯因方式形成的,而溯因推理的经验性、迅速性、推测性以及语用预设的主观性、隐蔽性等都不能确保前提的正确性,这就为通过虚假预设方式产生的谎言提供了交际有效的逻辑机制。
3) abductive inference
溯因推理
1.
By comparing the non-demonstrative inference as discussed in Relevance Theory and abductive inference, this article applies the later Peircean logic of abduction and Hobbs Interpretation as Abduction to demonstrate that pragmatic reasoning is actually the specific application of abductive inference in utterance.
本文从关联理论非论证性推理和溯因推理的比较出发 ,应用后期皮尔士溯因逻辑思想和Hobbs等人的“解释即溯因”(InterpretationasAbduction)的自然语言理解理论 ,论述语用推理实际上就是溯因推理在话语交际中的具体体现。
2.
After introducing the basic features of abductive inference and its constraining principles in logic and computing science, we contrast abduction with pragmatic inference, with special reference to the pragmatic principles in Gricean theory and relevance theory.
本文探讨语用推理的逻辑实质,在介绍了溯因推理的基本特点及其在逻辑和计算科学上的一些制约原则之后,我们将溯因法与语用推理特别是Grice理论和关联理论的语用原则相对照,认为语用推理就是溯因推理在言语交际中的具体应用,而语用原则就是具体的溯因制约原则。
4) abductive reasoning
溯因推理
1.
Forward reasoning starts from the intention of the cooperating agent, which is used to create the initialized plan hypotheses; backward reasoning is based on abductive reasoning, which is used to find the most suitable plan of the cooperating agent from its actions.
规划识别过程是一个双向的推理过程,正向推理从主体的意图出发,给出初始规划假设的集合;反向推理从协作主体已经采取的行动出发,通过溯因推理进一步对规划假设进行识别。
5) nonmonotonic reasoning
非单调推理
1.
This paper analyzes the characteristics and limitations of approximate reasoning (based on probability) and nonmonotonic reasoning (based on truth maintenance system).
不精确推理和非单调推理是人工智能中两个重要的研究方面。
2.
A prioritized justificationbased nonmonotonic logic is presented which can deal with nonmonotonic reasoning more generally and effectively.
提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理。
3.
The reason for nonmonotonic reasoning reserch has been fully analysed.
分析了非单调推理产生的原因以及非单调推理与传统逻辑间的关系，讨论了其典型的两种研究方法及存在的问题，最后指出了非单调推理的发展前景。
6) non-monotonic reasoning
非单调推理
1.
Model-Based Diagnosis under Non-Monotonic Reasoning;
非单调推理基础上的基于模型诊断
2.
In the context of autonomic computing, by taking advantage of the non-monotonic knowledge representation and reasoning mechanisms of defeasible logic, a flexible Agent model is proposed, which is capable of accepting the real-time rule modifications, flexibly handling the run-time rule conflicts, and providing efficient non-monotonic reasoning functions.
以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型。
补充资料：非单调推理
非单调推理
non-monotonic reasoning
fei dQndiQO tUI 11非单调推理(non.川.如tonic有非单调特征的推理，是常识推理和人工智能应用系统中的一种重要的推理方式。 经典逻辑，诸如命厄逻辑和一阶逻辑等，具有如下的重要性质:设尸是推理的前提集合，C是由尸导出的结论集合，在向P增加了新的前提P之后，设由pU}P}导出的结论集合是Cl，则C必是Cl的子集。换句话说，在向前提集合增加了新的前提后，只可能导出更多的结论，决不能取消或修改原先得到的结论。经典逻辑中推理的这种性质称为推理的单调性。数学中的推理是典型的具有单调性的推理。但是，基于经典逻辑的推理是人们推理的理想化模型，在日常生活中或是在某些人工智能应用系统中，人们经常要依据某些一般来说是正确的但并非绝对正确的规则进行推理，或者在信息不完全的情况下进行推理，这种推理所得的结论是暂时的，可能会修改的，因而不具有单调性，因此人们称之为非单调推理。 对非单调推理作深人的研究是十分必要的。在一阶逻辑中，我们用Vx尸(x)二1表示“所有x都具有性质尸”这一事实。可是实际生活中，这类句子都是近于真实而不是绝对正确的，即大多数x具有性质尸，但偶然也可能会遇见某些例外。例如，所有的鸟儿都能飞，但企鹅和鸵鸟等例外。所有的枯子是黄的，但未熟的和变异的品种例外。由于这类综合性概括语句不是绝对正确的，采用这些语句进行的推理也不可避免地要产生错误。解决这个问题的一种办法是完全抛弃这类语句，这样虽然不会产生错误，但同时也失去了近于真实的东西和许多本来可以得到的结论。另一种办法是修改这类语句，待它完全正确时再使用，可是这种修改相当困难，即使修改好了，句子的结构已变得相当复杂，无法灵活地使用。一种简便而又妥善的处理办法就是先极定这类语句是正确的，并依据它们进行推理，如果在获取了新的事实后发现原来的结论有间题，再取消或修改这些结论，这样一来，推理就具有了非单调性。 为了使非单调推理得到强有力的逻辑支持，人们开始对非单调推理的形式化方法加以认真的研究，提出了各种不同的非单调逻辑。其中较为著名的工作有R.Reiter的默认逻辑，J.M试兔rt场的限制逻辑以及R.C侧b艾e的自认知逻辑等等。作为非单调推理的例子，以下我们着重介绍它的一种重要形式—获认推班。 歇认推理与传统推理的根本区别是在推理的前提中增加了如下形式的歌认规则:。(汤):哪1(劲，…，州帆月(劝r(至)(1)其中。(至)，夕l任)，一，凡(王)和:(王)是一阶逻辑公式，公式中的变元是妥二(xl，…，几)。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条