マルチエージェントの協調に基づく発展可能型ソフトウェアの具現化
マルチエージェントの協調に基づく発展可能型ソフトウェアの具現化
批准号:
09245219
负责人:
金田 悠紀夫
金额:
$1.02万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
财政年份:
1997
资助国家:
日本
项目状态:
已结题
起止时间:
1997 至 --
中文摘要
本言語は拡張Prolog言語の形態をとっており、マルチプロセス、マルチスレッドの環境で稼働するマルチエージェントシステムを記述するためのプログラミング言語となっている。想定しているエージェントとはオブジェクト指向におけるオブジェクトと類似しているが、自律機能、判断機能を持ち自身の環境下で活動する高機能オブジェクトととらえている。実行時に動的に複数のエージェントを生成したり、消去することが可能で、生成された複数エージェントはマルチプロセス、マルチスレッド環境のもと並行実行され協調計算を行うこととなる。この他フィールドと呼ばれる機構が導入されている。フィールドはプログラムの形で知識を格納できる静的なオブジェクトでエージェントはフィールドに属することにより、フィールドの持つ知識を利用できる。またエージェントは属しているフィールド内の知識を実行時に更新できる。フィールドは状況を表しているともいえ、エージェントはフィールドに属したり、離脱することにより、多様な状況依存計算の実行が可能となっている。フィールドを用いることにより、複数エージェント間の知識の共有、エージェント間通信、エージェントのグループ化が可能となっている。エージェント群の協調およびフィールド機能を応用してソフトウェアの発展進化の研究を行った。
英文摘要
本言語は拡張Prolog言語の形態をとっており、マルチプロセス、マルチスレッドの環境で稼働するマルチエージェントシステムを記述するためのプログラミング言語となっている。想定しているエージェントとはオブジェクト指向におけるオブジェクトと類似しているが、自律機能、判断機能を持ち自身の環境下で活動する高機能オブジェクトととらえている。実行時に動的に複数のエージェントを生成したり、消去することが可能で、生成された複数エージェントはマルチプロセス、マルチスレッド環境のもと並行実行され協調計算を行うこととなる。この他フィールドと呼ばれる機構が導入されている。フィールドはプログラムの形で知識を格納できる静的なオブジェクトでエージェントはフィールドに属することにより、フィールドの持つ知識を利用できる。またエージェントは属しているフィールド内の知識を実行時に更新できる。フィールドは状況を表しているともいえ、エージェントはフィールドに属したり、離脱することにより、多様な状況依存計算の実行が可能となっている。フィールドを用いることにより、複数エージェント間の知識の共有、エージェント間通信、エージェントのグループ化が可能となっている。エージェント群の協調およびフィールド機能を応用してソフトウェアの発展進化の研究を行った。
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
田村直之, 金田悠紀夫: "JavaとHORBを用いたPrologプログラムのマイグレーションの実現" Proc.of 10th Symp.on Industrial Applications of Prolog(INAP'97). 64-69 (1997)
Naoyuki Tamura、Yukio Kaneda:“使用 Java 和 HORB 实现 Prolog 程序迁移”Prolog 的第 10 届 Symp.on 工业应用 (INAP97) (INAP97)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
K.Kang and N.Tamura: "A.Leveled IO-model for a Linear Logic Programming Language" Presentation at Symbolic Logic and Computer Science(SLACS'97). (1997)
K.Kang 和 N.Tamura:“用于线性逻辑编程语言的 A.Leveled IO 模型”在符号逻辑和计算机科学 (SLACS97) 上的演讲。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
N.Tamura and Y.Kaneda: "A Compiler System of a Linear Logic Programming Language" Proc.of the IASTED Int'1 Conf.Artificial Intelligence and Soft Computing. 180-183 (1997)
N.Tamura 和 Y.Kaneda:“线性逻辑编程语言的编译器系统”Proc.of the IASTED Int1 Conf.人工智能和软计算。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
M.Banbara and N.Tamura: "Java implementation of a linear logic programming language" Proc.of 10th Symp.on Industrial Applications of Prolog(INAP'97). 56-63 (1997)
M.Banbara 和 N.Tamura:“线性逻辑编程语言的 Java 实现”Proc.of 10th Symp.on Industrial Applications of Prolog(INAP97)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
N.Tamura: "Demonstration of a Compiler System of a Linear Logic Programming Language" Demonstration at Int.1 Symp.on Theoertical Aspects of Computer Software(TACS'97). (1997)
N.Tamura:“线性逻辑编程语言编译器系统的演示”在 Int.1 Symp.on Theoertical Aspects of Computer Software (TACS97) 上的演示。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
マルチエージェントの協調による発展可能型ソフトウェアの実現
-
批准号:10139225
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas (A)
-
资助金额:$0.64万
-
财政年份:1998
-
负责人:金田 悠紀夫
-
依托单位:
論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究
-
批准号:04219207
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.15万
-
财政年份:1992
-
负责人:金田 悠紀夫
-
依托单位:
論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究
-
批准号:03235209
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$0.96万
-
财政年份:1991
-
负责人:金田 悠紀夫
-
依托单位:
心臓の超音波3次元立体動的画像構築とその表示に関する研究
-
批准号:X00090----558015
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.6万
-
财政年份:1980
-
负责人:金田 悠紀夫
-
依托单位: