Research on Basic Technique for Construction of Adaptive Semantic Web
| Project/Area Number |
17300027
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Media informatics/Database
|
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
AKAMA Kiyoshi Hokkaido University, 情報基盤センター, 教授 (50126265)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
MABUCHI Hiroshi 岩手県立大学, 情報ソフトウェア学部, 准教授 (20281545)
|
|---|
| Project Period (FY) |
2005 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥7,230,000 (Direct Cost: ¥6,300,000、Indirect Cost: ¥930,000)
Fiscal Year 2008: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2007: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Fiscal Year 2006: ¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2005: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Keywords | セマンテックWeb / 求解問題 / プログラム生成 / 開世界問題 / 正当性 / 等価変換 / スコーレム化 / 意味保存スコーレム化 / 質問応答問題 / 論理等価式 / 一般論理構造 / 例に導かれた探索 / 適応 |
|---|
| Research Abstract |
セマンテックWeb上の高度な処理を正確かつ高速に行うプログラムを、適応的に自動生成する技術を研究した。 セマンテックWebにおける質問応答問題を一般的にかつ厳密に定式化し、それを等価変換で解く手続きを開発した。 適応的なセマンテックWebを実現するために、正当で高速なプログラムを自動的に構築する方法を研究し、ルール生成に基づくプログラム生成システムの強化を行った。 これらにより、適応的なセマンテックWebを実現するための基礎技術を得た。
|
Report
(5 results)
Research Products
(39 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Creation of ET Rules via Logical Equivalence2009
Author(s)
Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
Organizer
Proceeding of the Second International Conference on Innovative Computing, Information and Control (ICICIC2007), ICICIC-2007-2149, JAPAN ISBN : 0-7695-2882-1
Place of Presentation
Kumamoto
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
