人工知能学会誌 Ｖｏｌ．１６ Ｎｏ．５
（２００１年９月）
目 次
巻頭言
学会の社会的役割…………………………………………… 麻生英樹 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
