論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究

点击翻译按钮获取中文摘要

論理プログラミングにおけるソテトウェア構成プロセスのモデル化を行うめ以下の観点から研究を進めた。ソフトウェアプロセスを複数の自立的な機能を持つ動作主体が行う協調作業と見なし、その記述をすることを目指した言語の開発を行った。現在活発に研究されているマルチエージェントモデルが有力な記述モデルになることを期待し研究を推進した。あるエージェントが新たな作業を開始するときや、複数のエージェントが協力して連調作業を進める場合、関連するデータベースや知識を動的に保持したり、複数のエージェント間で共有したりする必要がしばしば発生する。本研究ではこれらのデータベースや知識を内包することのできる“フィールド"と呼ぶオブジェクトを導入したマルチェージェントシステム記述用言活を設計し、開発した。エージェントはフィールドに入ることによりファールド内のデータベースや知識を参照できる。また同一フィールドに属するエージェント同志は情報の共有ができる。本モデルはProlog言語を用いて実装されており、UNIXワークステーション上で稼動する。論理型プログラミング言語であるPrologを用いているので、手続とデータを一律化することができる特徴を持っている。またバックトラッキングの特性を持つ強力なマルチエージェントシステム記述用言語となっている。