2) 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.
分析了非单调推理产生的原因以及非单调推理与传统逻辑间的关系，讨论了其典型的两种研究方法及存在的问题，最后指出了非单调推理的发展前景。
3) 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模型。
4) non-monotonic inference rule
非单调推理规则
6) nonmonotonic abduction
非单调的溯因推理
补充资料：非单调推理
非单调推理
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，…，几)。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条