| 研究課題/領域番号 |
04452317
|
|---|
| 研究種目 |
一般研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学
|
|---|
| 研究機関 | 奈良先端科学技術大学院大学 (1993-1994)
京都大学 (1992) |
|---|
研究代表者 |
西田 豊明 奈良先端科学技術大学院大学, 情報科学研究科, 教授 (70135531)
|
|---|
| 研究分担者 |
三浦 鉄也 (三浦 欽也) 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (50219581)
武田 英明 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (80252831)
河原 達也 京都大学, 工学部, 助手 (00234104)
山田 篤 京都大学, 工学部, 助手 (20240004)
堂下 修司 京都大学, 工学部, 教授 (00025925)
|
|---|
| 研究期間 (年度) |
1992 – 1994
|
| 研究課題ステータス |
完了 (1994年度)
|
| 配分額 *注記 |
4,800千円 (直接経費: 4,800千円)
1994年度: 800千円 (直接経費: 800千円)
1993年度: 2,300千円 (直接経費: 2,300千円)
1992年度: 1,700千円 (直接経費: 1,700千円)
|
|---|
| キーワード | 人工知能 / 定性推論 / 動的システム / 常微分方程式 / 知識工学 / 知的科学計簿 / 知的科学計算 / 知的科学技術計算 |
|---|
| 研究概要 |
(1)3次元の相空間上の区分線形常微分方程式の挙動解析アルゴリズムの開発
3階の区分線形微分方程式を対象にした挙動自動解析システムの開発を行なった。主な成果は次の通りである。
(1a)空間、特に領域の形状と位相的関係を表現するための情報構造とその管理方式を設計した。
(1b)解曲線群の幾何学的特徴を表現するための情報構造とその管理方式を設計した。
(1c)定性解析と定量解析を統合して、解曲線群の局所的な幾何学的特徴を抽出するアルゴリズムを開発した。
(1d)解曲線群の局所的な幾何学的特徴を統合して、大域的な挙動の特性を解析し、定量解析のプランを生成する大域解析アルゴリズムを開発した。
(1e)以上の成果を挙動自動解析システムとして統合した。
(2)挙動解析システムの大規模化のためのプラットフォームの開発
前項で開発した挙動解析システムの構造を分析し、さらに大規模化するためのプラットフォームの設計開発を行なった。主な成果は次の通りである。
(2a)大規模システムをエージェントと呼ばれる自律的なソフトウェアモジュールが相互作用する系と捉え、エージェントプログラミングのためのプラットフォームを開発した。
(2b)共通オントロジー(概念体系)を用いてエージェントを連携させる方式を開発した。
(2c)既存の人間向きの知識源(自然言語文書や専門家)から知識をボトムアップに獲得するための知識表現方式を開発した。
|
