「非単調推論」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
(新しいページ: '【ひせんけいそうほせいもんだい (nonlinear complementarity problem)】 変数 $x=(x_1,\dots,x_n)$ と同じ次元をもつ非線形ベクトル値関数 $F(x)=$ ...')
 
 
(2人の利用者による、間の3版が非表示)
1行目: 1行目:
−
【ひせんけいそうほせいもんだい (nonlinear complementarity problem)】
+
'''【ひたんちょうすいろん (non-monotonic reasoning)】'''
  
−
変数 $x=(x_1,\dots,x_n)$ と同じ次元をもつ非線形ベクトル値関数 $F(x)=$ \\ $(F_1(x),\dots,F_n(x))$ に対して,  
+
真でないことが証明されない限り真とする仮定を利用しながら推論する方法を非単調推論という. 従来の推論方式は関係する完全な知識が与えられていることを前提とするが, 現実世界では不完全知識を利用しなければならない. したがって, ある程度の仮定を行いながら推論を行うが, 新しい知識によってすでに得た知識が覆される場合が多い. このように, 個々の知識の増加が必ずしも全体としての知識の増加につながらない性質を非単調性という.
  
−
\[
+
[[category:近似・知能・感覚的手法|ひたんちょうすいろん]]
−
x_i \ge 0, \ F_i(x) \ge 0, \ x_i F_i(x) = 0
 
−
\quad (i=1,\dots,n)
 
−
\]
 
−
 
 
−
を満たす $x$ を求める問題.
 

2008年11月13日 (木) 15:17時点における最新版

【ひたんちょうすいろん (non-monotonic reasoning)】

真でないことが証明されない限り真とする仮定を利用しながら推論する方法を非単調推論という. 従来の推論方式は関係する完全な知識が与えられていることを前提とするが, 現実世界では不完全知識を利用しなければならない. したがって, ある程度の仮定を行いながら推論を行うが, 新しい知識によってすでに得た知識が覆される場合が多い. このように, 個々の知識の増加が必ずしも全体としての知識の増加につながらない性質を非単調性という.

「https://orsj-ml.org/orwiki/wiki/index.php?title=非単調推論&oldid=10879」から取得