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

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

2007年7月13日 (金) 01:14時点における版

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

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

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