適応的セマンテックWebの構築技術の研究

2008 年度 研究成果報告書

• 研究課題/領域番号: 17300027
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: メディア情報学・データベース
• 研究機関: 北海道大学
• 研究代表者: 赤間 清 北海道大学, 情報基盤センター, 教授 (50126265)
• 研究分担者: 馬淵 浩司 岩手県立大学, 情報ソフトウェア学部, 准教授 (20281545)
• 研究期間 (年度): 2005 – 2008
• キーワード: セマンテックWeb / 求解問題 / プログラム生成 / 開世界問題 / 正当性 / 等価変換 / スコーレム化

研究概要

セマンテックWeb上の高度な処理を正確かつ高速に行うプログラムを、適応的に自動生成する技術を研究した。 セマンテックWebにおける質問応答問題を一般的にかつ厳密に定式化し、それを等価変換で解く手続きを開発した。 適応的なセマンテックWebを実現するために、正当で高速なプログラムを自動的に構築する方法を研究し、ルール生成に基づくプログラム生成システムの強化を行った。 これらにより、適応的なセマンテックWebを実現するための基礎技術を得た。

研究成果

• [雑誌論文] Generating Functionality-based Rules for Program Construction (2009)
  • 著者名/発表者名: Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • 雑誌名: International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.9(掲載決定)
  • 査読あり
• [雑誌論文] Creation of ET Rules from Logical Formulas representing Equivalent Relations (2009)
  • 著者名/発表者名: Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • 雑誌名: International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.2 ページ: 263-277
  • 査読あり
• [雑誌論文] Extension of logical structures by safe extension of specialisation systems (2008)
  • 著者名/発表者名: Kiyoshi Akama, and Ekawit Nantaeewarawat
  • 雑誌名: Int. J. Automation and Control Vol. 2, Nos. 2/3 ページ: 340-364
  • 査読あり
• [雑誌論文] Generating Speq Rules based on Automatic Proof of Logical Equivalence (2008)
  • 著者名/発表者名: Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • 雑誌名: International Journal of Computer Science (IJCS) vol.3, no.3 ページ: 190-198
  • 査読あり
• [雑誌論文] Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules (2007)
  • 著者名/発表者名: Ekawit Nantajeewarawat, Kiyoshi Akama, and Hidekatsu Koike
  • 雑誌名: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.5 ページ: 478-490
  • 査読あり
• [雑誌論文] State-Transition Computation Models and Program Correctness Thereon (2007)
  • 著者名/発表者名: Kiyoshi Akama, Ekawit Nantajeewarawat
  • 雑誌名: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.10 ページ: 1250-1261
  • 査読あり
• [雑誌論文] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method, PSI 2006, LNCS 4378 (2007)
  • 著者名/発表者名: Kiyoshi Akama, Ekawit Nantajeewarawat and Hidekatsu Koike
  • 雑誌名: Springer-Verlag Berlin Heidelberg, ページ: 41-54
  • 査読あり
• [雑誌論文] Formalization of the Equivalent Transformation Computation Model (2006)
  • 著者名/発表者名: Kiyoshi Akama, and Ekawit Nantajeewarawat
  • 雑誌名: Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3 ページ: 245-259
  • 査読あり
• [学会発表] Creation of ET Rules via Logical Equivalence (2009)
  • 著者名/発表者名: Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • 学会等名: Proceeding of the Second International Conference on Innovative Computing, Information and Control (ICICIC2007), ICICIC-2007-2149, JAPAN ISBN : 0-7695-2882-1
  • 発表場所: Kumamoto
  • 年月日: 20090905-07
• [学会発表] Meaning-Preserving Skolemization on Logical Structures (2008)
  • 著者名/発表者名: Kiyoshi Akama, Ekawit Nantajeewarawat
  • 学会等名: Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  • 発表場所: Samui, Thailand
  • 年月日: 20081007-09
• [学会発表] Conceptual Modelling and Program Generation for Dynamic Interactive Systems (2008)
  • 著者名/発表者名: C. Powell, Kiyoshi Akama, and T. Wakatsuki
  • 学会等名: The 9th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2008)
  • 発表場所: Dunedin, New Zealand
  • 年月日: 2008-12-02
• [学会発表] Extension of Logical Structures by Safe Extension of Specialization Systems (2007)
  • 著者名/発表者名: Kiyoshi Akama, and Ekawit Nantajeewarawat
  • 学会等名: Proceedings of the 8th International Conference on Intelligent Technologies (InTech'07)
  • 発表場所: Sydney, Australia
  • 年月日: 20071212-14
• [学会発表] Solving Logic Problem with ET rules (2007)
  • 著者名/発表者名: Zheng Cheng, Kiyoshi Akama, Ekawit Nantajeewarawat
  • 学会等名: Proceedings of the Eighth International Conference on Intelligent Technolog ies (InTech'07)
  • 発表場所: Sydney, Australia
  • 年月日: 20071212-14
• [学会発表] Construction of Equivalent Transformation Rules from Logical Equivalence (2007)
  • 著者名/発表者名: Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • 学会等名: Proceedings of the Eighth International Conference on Intelligent Technologi es (InTech'07)
  • 発表場所: Sydney, Australia
  • 年月日: 20071212-14
• [学会発表] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation (2006)
  • 著者名/発表者名: Kiyoshi Akama, Ekawit Nantajeewarawat and Hidemi Ogasawara
  • 学会等名: Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  • 発表場所: Taipei Taiwan
  • 年月日: 20061212-15
• [学会発表] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence (2006)
  • 著者名/発表者名: Katsunori Miura, Kiyoshi Akama, Yoshinori Shigeta, and Hiroshi Mabuchi
  • 学会等名: Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  • 発表場所: Taipei Taiwan
  • 年月日: 20061212-15
• [学会発表] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method (2006)
  • 著者名/発表者名: Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
  • 学会等名: Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference
  • 発表場所: Novosibirsk, Akademgorodok, Russia
  • 年月日: 20060627-30
• [学会発表] The Squeeze Method -A Method for Program Construction in the Equivalent Transformation Computation Model (2005)
  • 著者名/発表者名: Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
  • 学会等名: Proceedings of the 6th international conference on intelligent technologies (InTech'05)
  • 発表場所: Phuket, Thailand
  • 年月日: 20051214-16
• [学会発表] State-Transition Computation Models and Program Correctness Thereon (2005)
  • 著者名/発表者名: Kiyoshi Akama, and Ekawit Nantajeewarawat
  • 学会等名: Proceedings of the 6th international conference on intelligent technologies (InTech'05)
  • 発表場所: Phuket, Thailand
  • 年月日: 20051214-16