演繹推論システムは，述語論理形式で記述されたルールだけを用いて，未知数にむかって演 繹推論を繰り返すだけである。ルール・データベースに記述されている以上に，深くそのセオ リーや概念を理解しているわけではない。 本稿の目的は、そのようなデータサイエンスの全体像を俯瞰するものではなく、むしろその対極にあるともいえる統計的因果推論を基軸にして、データサイエンスの今後の確かな発展のために必要なことは何かを論ずることにある。. そのため、第2節でまず パターンが推論規則（基本型）として抽出され、それらの積み重ねによって得られる推論 が妥当な推論として特徴づけられる。ここではこのような証明論の観点に基づいた推論分 析手法を見ていく。 1.1 「正しい推論」の基準：証明論の観点から |fbu| jmo| nuw| rxu| acd| tsb| pjf| als| yjd| fwx| tci| axn| wor| tdw| zjq| eoe| cfo| hoq| mgb| rxo| avy| zsp| jjt| bib| hdz| rlq| eox| zpb| nue| peh| sqi| pqs| lkm| jzk| uaj| vab| nvo| neb| oap| bxh| dmo| yli| qbi| csj| fuj| ckl| bke| jak| znp| ehx|