東京工業大学 佐藤研究室研究紹介 佐藤（泰）研では， 計算と学習の統合による柔らかな人工知能の実現を目指して， 以下の研究を進めています． 知能の重要な機能として， 記憶や連想以外に推論の機能があり， また推論の形態としては， 公理から定理を導く演繹的推論， 観察結果から一般則を導く帰納的推論， および観察結果から原因を推定するアブダクションがありますが， 我々はこの中で推論結果に不確定性を含む帰納とアブダクションに着目し， 述語論理による論理計算に， 統計的手法による学習や不確定さの評価を融合する事により， 環境に適応する事の出来る知的システムの枠組を研究しています． 発表文献の全リストはこちらをご覧下さい． 記号的統計モデリング/統計的アブダクション モデル記述言語 論理プログラムに基づくモデル記述言語 (PRISM) 確率的言語モデリング 確率文脈自由文法の高速パラメータ学習 (Gemini) 確率文脈自由
Amazon.co.jp： 言語哲学大全1 論理と言語: 本: 飯田 隆
