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

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

論理プログラミングの環境下ではオブジェクト間の論理的な関係に着目してソフトウェアが構成される。ソフトウェア構成課程のモデル化と協調型論理プログラム開発を支援するソフトウェア開発環境の構築に関する研究を行った。本年度分担者は特に協調論理型プログラム開発支援環境の研究に重点を置いた。最近、複数の自律的な動作主体(エ-ジェント)が協調して問題を解決する協調処理モデルが、大規模分散システム、人工知能、グル-プウェアなどさまざまな分野で注目されている。分担者等は論理プログラミングの中にマルチエ-ジェント機構を導入した言語と処理系を提案している。エ-ジェントグル-プを通信媒体とするだけでなく、知識の共有機構とすることを主眼とした協調処理モデルと言語処理系となっている。具体的には、エ-ジェントの他に、フィ-ルドと呼ぶオブジェクトを用意し、フィ-ルドに置かれた知識(プログラム)はフィ-ルドに属するエ-ジェント全てによって共有される。グル-プ内の知識共有知識は、エ-ジェントがフィ-ルドに属している間だけ有効なので一時的な必要な知識として使うことができる。これによって、たとえば次のようなことが可能となる。1.グル-プで共通なデ-タの共有2.グル-プで守るべきル-ルの設定3.状況によって動作を変えるエ-ジェントエ-ジェントの動作を記述するプログラミング言語はPrologをベ-スとしている。現在、処理系を密結合型並列計算機symmetry上に実装して実験を行っているが、協調モデルは分散環境において本領を発揮すると思われるので、モデルの洗練とともに、分散環境での実装を急いでいる。