人工知能学会誌 Ｖｏｌ．１６　Ｎｏ．５
（２００１年９月）

目　次

巻頭言
　学会の社会的役割................................................... 麻生英樹 603

特集：「プランニング技術の進展と新たな応用展開」
　特集「プランニング技術の進展と新たな応用展開」にあたって........... 宮下和雄 604

　プランニンググラフとSATプランニング...................... 鍋島英知・井上克已 605

　プランニングとスケジューリング..................................... 宮下和雄 611

　ロボットにおけるプランニング....................................... 三浦　純 617

　ソフトウェアエージェントにおけるプランニング....................... 山田誠二 623

　災害救助・軍事プランニング....................................... 野田五十樹 629

特集：「定理証明，推論関係の新技術」
　特集「定理証明，推論関係の新技術」にあたって............. 岩沼宏治・佐藤　健 635

　CNF充足可能性判定問題の計算複雑さ　―最近の発展―.................. 岩間一雄 636

　モデル検査に基づく知識・信念の推定....................... 磯崎秀樹・勝野裕文 642

　モデル検査系を用いたプログラム発見....................... 萩谷昌己・高橋孝一 648

　論理プログラムの解集合意味論に関する証明系............... 岩山　登・佐藤　健 655

　タブロー法とモデル生成型定理証明............. 長谷川隆三・藤田　博・越村三幸 661

　完備化による等式証明............................................... 外山芳人 668

　近年の定理自動証明技術　―システムコンペCASCとその周辺―........... 岩沼宏治 675

解　説
　スピングラス理論と機械学習............................... 村山立人・樺島祥介 683

寄　書
　グローバライゼーションとローカライゼーション
	―2001年度人工知能学会全国大会（第15回）報告―................. 寺野隆雄 689

AIマップ
　「人間支援のためのバウンダリーレスなAI研究に向けて」へのコメントと回答
	................................. 間瀬健二・田中二郎・長尾　確・竹林洋一 692

　ニューロナルな視点からの挑戦....................................... 中野良平 704

アーティクル
　映画「A.I.」をめぐって......................... 石塚　満・武田英明・神嶌敏弘 712

レクチャーシリーズ：「認知科学」〔第5回〕
　認知神経科学....................................................... 米田孝一 717

論文アブストラクト............................................................ 723

私のブックマーク「プランニングとスケジューリング」................... 宮下和雄 729


社会へのアンテナ................. 732        文献紹介......................... 744
学生フォーラム................... 734        研究室紹介....................... 745
会議報告......................... 736        カレンダー....................... 748
Web探訪.......................... 741        会　告.......................... 1〜8
書評............................. 743