人工知能特論2007.pptVIP

人工知能特論2007 東京工科大学 亀田弘之 人工知能 定義：人間のように知的な処理能力を 　　持つソフトウェア 検証方法：チューリングテスト 応用分野： ロボット 機械学習 認識（文字?音声?画像） 自然言語処理　などなど 人工知能の基盤となっている主要要素の１つは「論理」 一方 学問　－　真理の探究 ーー＞思考 　思考過程 ?法則性 　　　　　　　　　　　　　　　　　　　－＞論理学！ そこで 本講義「人工知能特論」では、「論理」を真正面からとりあげ、論理に対する見識を深めるとともに、まさに２１世紀の論理学を概観し、論理学?人工知能?諸学問のより一層の発展を目指す素養を身に付ける。 論理学について まずは、その歴史的発展を概観する。 論理学とは何か？ 思考の法則に関する学問？ 思考のプロセスと言語の形態に関する学問？ 概念に関する学問？ 関係に関する学問？ 説明のための学問？ 発見のための学問？ 論理学の歴史 古代?中世の論理思想 アリストテレス（論理学の父） パルメニデス ゼノン（思考の形式とそれを表現する言語の形式との関係） プラトン（論理の形式の分析） 同時期に、ユークリッド幾何学も発展（論理学創設に寄与） 「合理主義」がその背景にあった。 アリストテレスの業績 論理的思考の成果を体系化 初期の論理学を確立（特に、「三段論法」） 演繹推論