Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
(1)〔induction〕
後退帰納法(こうたいきのうほう、Backward induction)とは、問題や状況の終わり(最終回)から時間を遡って、最適な行動の順序を決定する帰納法。後向き帰納法(後ろ向き帰納法、うしろむききのうほう)、逆向き帰納法(ぎゃくむききのうほう)とも。 ベルマン方程式 後向き連鎖
推論の手続きが帰納によっているさま。
た行動系列,得られるプログラムの計算量を考慮した制約,種々の背景知識が挙げられる.背景知識としては,標準的なデータ型,使用する定義済み関数,データの流れや意図したプログラムを記述するプログラムの概形あるいはテンプレート,解の探索を誘導するヒューリスティクスやその他のバイアスが挙げられる.
なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられた。ジョン・ウォリスによって、彼の著作Arithmetica
帰納法と関係を持つ。 構造的帰納法は、(リストや木構造のように)再帰的に定義された構造のある種の x に関する全称命題 ∀x. P(x) を証明する手法である。そのような構造の上には、整礎な半順序が定義できる。(リストに対する「部分リスト」、木構造に対する「部分木」など。) 構造的帰納法による証明
次元に関して帰納的に空間の次元を定義できるものでなければならない。 小さい帰納次元と大きい帰納次元は位相空間に対する「次元」概念を捉えるのに最も利用される三つの方法のうちの二つで、(距離空間などの余分な性質に依存することなく)その位相のみによって定まる。三つのうち後一つはルベーグ被覆次元
で添字付けられた対象の族、fij: Ai → Aj (i ≤ j) を準同型の族として、以下の条件 fii は Ai の恒等写像であり、 任意の i ≤ j ≤ k に対して fik = fjk ∘ fij が成立する。 が満たされるとき、対、⟨Ai, fij⟩ は I 上の帰納系と呼ばれる。 帰納系 ⟨Ai, fij⟩