論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究
逻辑编程中软件配置过程建模研究
基本信息
- 批准号:03235209
- 负责人:
- 金额:$ 0.96万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research on Priority Areas
- 财政年份:1991
- 资助国家:日本
- 起止时间:1991 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
論理プログラミングの環境下ではオブジェクト間の論理的な関係に着目してソフトウェアが構成される。ソフトウェア構成課程のモデル化と協調型論理プログラム開発を支援するソフトウェア開発環境の構築に関する研究を行った。本年度分担者は特に協調論理型プログラム開発支援環境の研究に重点を置いた。最近、複数の自律的な動作主体(エ-ジェント)が協調して問題を解決する協調処理モデルが、大規模分散システム、人工知能、グル-プウェアなどさまざまな分野で注目されている。分担者等は論理プログラミングの中にマルチエ-ジェント機構を導入した言語と処理系を提案している。エ-ジェントグル-プを通信媒体とするだけでなく、知識の共有機構とすることを主眼とした協調処理モデルと言語処理系となっている。具体的には、エ-ジェントの他に、フィ-ルドと呼ぶオブジェクトを用意し、フィ-ルドに置かれた知識(プログラム)はフィ-ルドに属するエ-ジェント全てによって共有される。グル-プ内の知識共有知識は、エ-ジェントがフィ-ルドに属している間だけ有効なので一時的な必要な知識として使うことができる。これによって、たとえば次のようなことが可能となる。1.グル-プで共通なデ-タの共有2.グル-プで守るべきル-ルの設定3.状況によって動作を変えるエ-ジェントエ-ジェントの動作を記述するプログラミング言語はPrologをベ-スとしている。現在、処理系を密結合型並列計算機symmetry上に実装して実験を行っているが、協調モデルは分散環境において本領を発揮すると思われるので、モデルの洗練とともに、分散環境での実装を急いでいる。
The relationship between the theory of theory in the environment of theory and practice, and the relationship between the theory and practice in the environment, and the composition of the theory.ソフトウェアConstruction Course のモデル化 and Coordination Type Theory プログラムOpenをSupport するソフトウェアOpen environment construction and に关する research を行った. This year, the co-ordination theory-based project coordinator is responsible for launching a key project to support environmental research. Recently, the plural self-disciplined action subjects (エ-ジェント) have coordinated and solved the problem and coordinated the handling of the problemが、Large-scale decentralization システム、Artificial intelligence、グル-プウェアなどさまざまな分野で心されている. Those who share the responsibility are also responsible for the introduction of the したlanguage and processing system をproposal for the にマルチエ-ジェントorganization in the プログラミングの中にマルチエ-ジェントorganization.エ-ジェントグル-プを Communication Media Corporation, Knowledge Co-owned Organization The とすることをmain eye とした coordinates the processing of the モデルとspeech processing department となっている. Specific には, エ-ジェントのに, フィ-ルドとHUぶオブジェクトを意し, フィ-ルドにThe knowledge of the setting (プログラム)はフィ-ルドに belongs to the するエ-ジェント全てによって is shared by される.グル-プ内の Knowledge shared knowledge は、エ-ジェントがフィ-ルドに belong to している间だけ Effective なので Temporarily necessary な knowledge として うことができる.これによって、たとえば时のようなことがpossibleとなる. 1.グル-プで公なデ-タの全2.グル-プでkeeperるべきル-ルのsetting 3.Statusによってactionを変えるエ-ジェントエ-ジェントのactionをnarrativeするプログラミング语はPrologをベ-スとしている. Currently, the processing system is closely integrated with the parallel computer symmetry, and the coordination system is divided into two parts. The scattered environment's skills are the same as the scattered environment's skills, and the scattered environment's shortcomings are urgent.
项目成果
期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
田村 直之: "Semantic processing on parse trees represented in a chart" Memories of Graduate School of Science Kobe University. 9ーA. 68-79 (1991)
Naoyuki Tamura:“图表中表示的解析树的语义处理”神户大学研究生院的回忆 9-A。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
田村 直之: "Lazy evaluation of preference on a packed shared forest without unpacking" NL Understanding and LP111. 15-23 (1991)
Naoyuki Tamura:“在不拆包的情况下对打包共享森林的偏好进行惰性评估”NL Understanding 和 LP111 (1991)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
金田 悠紀夫: "マイクロプロセッサとRISC" オ-ム社, 139 (1991)
Yukio Kaneda:“微处理器和 RISC” Ohmsha,139 (1991)
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
金田 悠紀夫其他文献
金田 悠紀夫的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('金田 悠紀夫', 18)}}的其他基金
マルチエージェントの協調による発展可能型ソフトウェアの実現
通过多Agent协作实现可扩展的软件
- 批准号:
10139225 - 财政年份:1998
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)
マルチエージェントの協調に基づく発展可能型ソフトウェアの具現化
基于多Agent协作的可进化软件的实现
- 批准号:
09245219 - 财政年份:1997
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究
逻辑编程中软件配置过程建模研究
- 批准号:
04219207 - 财政年份:1992
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
心臓の超音波3次元立体動的画像構築とその表示に関する研究
心脏超声3D动态图像的构建与显示研究
- 批准号:
X00090----558015 - 财政年份:1980
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
相似海外基金
群知能に基づく並列帰納論理プログラミングの実現
基于群体智能的并行归纳逻辑编程的实现
- 批准号:
23K11054 - 财政年份:2023
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
例外を許容する知識ベースシステムからの帰納論理プログラミングを用いた知識獲得
使用归纳逻辑编程从容忍异常的基于知识的系统获取知识
- 批准号:
11780269 - 财政年份:1999
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
論理プログラミングの拡張による汎用学習システムのための基礎理論とその実現
扩展逻辑编程的通用学习系统的基础理论及其实现
- 批准号:
10780213 - 财政年份:1998
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
仮説論理プログラミングを用いたソフトウェア発展モデルの研究
基于假设逻辑编程的软件开发模型研究
- 批准号:
10139201 - 财政年份:1998
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)
極小変更の定式化に基づいた論理プログラミングにおけるソフトウェア発展モデルの研究
基于最小变化公式的逻辑编程软件演化模型研究
- 批准号:
09245201 - 财政年份:1997
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
帰納論理プログラミングにおける効果的背景知識利用の研究
归纳逻辑编程中背景知识的有效利用研究
- 批准号:
08780346 - 财政年份:1996
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
線形論理プログラミングHACLに基づく型つき並列オブジェクト指向言語の実装
基于线性逻辑编程HACL的类型化并行面向对象语言的实现
- 批准号:
07780232 - 财政年份:1995
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
型付き論理プログラミングを用いた学習アルゴリズムの構成
使用类型化逻辑编程构建学习算法
- 批准号:
07680375 - 财政年份:1995
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究
逻辑编程中软件配置过程建模研究
- 批准号:
04219207 - 财政年份:1992
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
前向き推論による並列論理プログラミング
使用前向推理的并行逻辑编程
- 批准号:
04650325 - 财政年份:1992
- 资助金额:
$ 0.96万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)