人工知能学会誌 Ｖｏｌ．１２ Ｎｏ．３
（１９９７年 ５月）
目 次
巻頭言
人工知能学会の活動への期待………………………………………………山本昌弘 349
特 集：「制約充足問題の基礎と応用」
特集「制約充足問題の基礎と応用」にあたって…………………………山田誠二 350
制約充足問題の基礎と展望…………………………………………………西原清一 351
制約充足問題の近似解法……………………………………………………狩野 均 359
ＣＳＰはなぜ推論に役立つか………………………………………………大澤幸生 366
制約に基づく探索とその応用………………………………………………宮下和雄 374
ＣＳＰの新しい展開：分散／動的／不完全ＣＳＰ…………横尾 真・平山勝敏 381
解 説
ＤｉａＬｅａｇｕｅ
―自然言語処理システムの総合評価―
…………………………橋田浩一・伝 康晴・長尾 確・柏岡秀紀・
酒井桂一・島津 明・中野幹生 390
随 想：“ＩＪＣＡＩ－９７”日本開催への期待（５）
知は相互作用に宿る
―ＩＪＣＡＩ－９７に期待する―……………………………………田村浩一郎 400
ＩＪＣＡＩ－９７への期待…………………………………………………佐藤 繁 402
論 文
文法的不適格文処理のための統合的枠組み…………………今一 修・松本裕治 404
仮説レベルを用いた物概念知識の獲得・修正手法…………牧野俊朗・飯田敏幸 412
木構造属性を許容する決定木学習
………………………フセイン・アルモアリム・秋葉泰弘・金田重郎 421
状況理論に基づくプランニング争点解消手法………………川田哲博・山崎 進 430
画像認識のためのマルチエージェントによる仮説推論
……………………………辻野広司・エドガー・ケルナー・桝谷知彦 440
リアルタイム時相論理の拡張とモデルチェッキング検証手法…………山根 智 448
擬人化エージェントにおける音声対話を通じての
協調的応答戦略の自動学習……………………高間康史・土肥 浩・石塚 満 456
多エージェント系自己認識論理に基づく状態継続と
因果関係の表現…………………………………外山勝彦・稲垣康善・福村晃夫 466
研究室紹介………………………………475 文献紹介………………………………… 478
用語解説…………………………………476 カレンダー……………………………… 479
書 評………………………………477
学会だより………………………………………………………………………………………485
人工知能学会誌原稿執筆案内…………………………………………………………………487
会 告…………………………………………………………………………………………1～12
１９９７年度人工知能学会全国大会（第１１回）プログラム……………………… 13～24
