说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 非单调的
1)  nonmonotonic
非单调的
2)  nonmonotone
非单调
1.
In this paper we present a nonmonotone line search method for solving nonlinear equations with simple bounds.
提出一种用非单调线搜索方法求解简单界约束非线性方程组,算法采用不精确线搜索技巧,并使用非单调结构,将当前函数最大值的下降改进为函数平均值的下降,推广了算法的适用范围。
2.
Two nonmonotone inexact Newton methods are proposed for finding a zeroof F:Rn→Rn.
对大规模非线性方程组F=0(其中F:Rn→Rn连续可微)提出2种非单调不精确牛顿法。
3.
We develop a class of nonmonotone trust-region methods for solving nonsmooth equations with box constraints.
对简单界约束非光滑非线性方程组提出一种新的非单调信赖域算法,信赖域半径与当前迭代点的投影梯度有关,非单调结构为标准结构。
3)  nonmonotonic
非单调
1.
A nonmonotonic and numerical fuzzy logic is proposed.
该逻辑结合多值逻辑和择优推理的语义特点,得到的推理关系具有模糊性、次协调性和非单调性,且知识的模糊性能以数值的形式显式地表现,适用于对智能系统中的不精确、不一致和不完备知识进行表示和推理。
2.
A nonmonotonic criterion is also used to speed up the convergence.
同时算法采用非单调的技术来加速算法的收敛效果。
3.
The paper proposes a nonmonotonic BFGS-trust-region algorithm for unconstrained optimization.
给出了一个解无约束最优化问题的非单调的新的BFGS校正的信赖域算法。
4)  non-monotonicity
非单调性
5)  Nonmonotone type
非单调类
6)  nonmonotone method
非单调法
补充资料:非单调推理

  
  非单调推理
  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,…,几)。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条