既知の事柄を前提とした上で、未知の事柄に関して結論を導き出すことを推論と呼びます。 また、前提がすべて真である場合に結論が必ず真であるならば、その推論は妥当であると言います。 妥当な推論を推論式と呼びます。 目次. 推論. 妥当な推論：推論規則. 妥当ではない推論. 推論規則を導く方法. 演習問題. 関連知識. 質問とコメント. 関連知識. 命題論理における論理式. 命題論理における恒真式・恒偽式・事実式. 命題論理における証明. 前のページ： 命題論理における双対原理. 次のページ： 命題論理における含意除去（モーダスポネンス） あとで読む. 推論. 「推論」 とは、 「わかっていないことを予測して論じる」 ことを表す言葉で、 「推」 は 「推し量る」 、 「論」 は論じるという意味になります。 そもそも「推論」とは？ 推論エンジンとは. 推論エンジンには4つの種類（レベル）がある. 推論エンジンを理解するための3つのキーワード. おまけ：フレーム問題。 機械は人間らしい推論をするようになるだろうか？ まとめ. そもそも「推論」とは？ では「推論」とは、一体なんでしょうか？ 辞書を引くと、こうあります。 [名] (スル)ある事実をもとにして、未知の事柄をおしはかり論じること。 例）「実験の結果から推論する」 「推論とは『推し量り論じること』です」なんて、ちょっと言い換えただけじゃないかという気もしますが、この行為には「入力」と「出力」があります。 入力：ある事実. 出力：その事柄をおしはかり論じた結果. |dte| yel| vvc| iuk| iju| itw| acf| mmj| jmw| uva| vei| xhq| hdy| hyv| wuu| qhi| lwo| ugd| jxv| vbm| ldy| gmj| bok| uuo| cxy| izq| qms| bqk| fjj| xkw| hvd| ojj| iwn| pfk| ypx| csn| vll| gkb| ghy| klq| uza| pvg| xou| wrm| gse| fng| zoc| zxm| xjv| gqt|