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: ¥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を実現するための基礎技術を得た。

Research Products

• [Journal Article] Generating Functionality-based Rules for Program Construction (2009)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Journal Title: International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.9(掲載決定)
  • Peer Reviewed
• [Journal Article] Creation of ET Rules from Logical Formulas representing Equivalent Relations (2009)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Journal Title: International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.2 Pages: 263-277
  • Peer Reviewed
• [Journal Article] Extension of logical structures by safe extension of specialisation systems (2008)
  • Author(s): Kiyoshi Akama, and Ekawit Nantaeewarawat
  • Journal Title: Int. J. Automation and Control Vol. 2, Nos. 2/3 Pages: 340-364
  • Peer Reviewed
• [Journal Article] Generating Speq Rules based on Automatic Proof of Logical Equivalence (2008)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Journal Title: International Journal of Computer Science (IJCS) vol.3, no.3 Pages: 190-198
  • Peer Reviewed
• [Journal Article] Meaning-Preserving Skolemization on Logical Structures (2008)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Journal Title: Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08) Pages: 123-132
  • Peer Reviewed
• [Journal Article] An Intuitive, Flexible, Formal Specification Language Based on Equivalent Transformation (2008)
  • Author(s): Courtney Powell, Kiyoshi Akama
  • Journal Title: Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08) Pages: 113-122
  • Peer Reviewed
• [Journal Article] Algorithmic Debugging of Equivalent Transformation Programs Based on Differences in Certainty of Rules (2008)
  • Author(s): Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi
  • Journal Title: Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08) Pages: 103-112
  • Peer Reviewed
• [Journal Article] Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules (2007)
  • Author(s): Ekawit Nantajeewarawat, Kiyoshi Akama, and Hidekatsu Koike
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.5 Pages: 478-490
  • Peer Reviewed
• [Journal Article] State-Transition Computation Models and Program Correctness Thereon (2007)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.10 Pages: 1250-1261
  • Peer Reviewed
• [Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method, PSI 2006, LNCS 4378 (2007)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat and Hidekatsu Koike
  • Journal Title: Springer-Verlag Berlin Heidelberg, Pages: 41-54
  • Peer Reviewed
• [Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method (2007)
  • Author(s): Kiyoshi Akama
  • Journal Title: PSI 2006, LNCS 4378 Pages: 41-54
  • Peer Reviewed
• [Journal Article] Extension of Logical Structures by Safe Extension of Specialization Systems (2007)
  • Author(s): Kiyoshi Akama
  • Journal Title: Proceedings of the 8th International Conference on Intelligent Technologies(InTech'07) Pages: 228-236
  • Peer Reviewed
• [Journal Article] Solving Logic Problem with ET rules (2007)
  • Author(s): Zheng Cheng
  • Journal Title: Proceedings of the Eighth International Conference on Intelligent Technologies(InTech'07) Pages: 224-254
  • Peer Reviewed
• [Journal Article] Formalization of the Equivalent Transformation Computation Model (2006)
  • Author(s): Kiyoshi Akama, and Ekawit Nantajeewarawat
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3 Pages: 245-259
  • Peer Reviewed
• [Journal Article] Componentwise Program Construction : Requirements and Solutions (2006)
  • Author(s): Kiyoshi Akama
  • Journal Title: WSEAS Transactions on Information Science and Applications 7・3 Pages: 1214-1221
• [Journal Article] Formalization of the Equivalent Transformation Computation Model (2006)
  • Author(s): Kiyoshi Akama
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics 10・3 Pages: 245-259
• [Journal Article] Semantic Query Optimization : Correctness and Control (2006)
  • Author(s): Pongtawat Chippimolchai
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics 10・3 Pages: 270-280
• [Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method (2006)
  • Author(s): Kiyoshi Akama
  • Journal Title: Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference Pages: 17-24
• [Journal Article] Generation of Correct Parallel Programs Based on Specializer Generation Transformations (2006)
  • Author(s): Kiyoshi Akama
  • Journal Title: Proceedings of the 7th international conference on intelligent technologies (InTech'06) Pages: 90-99
• [Journal Article] Logical Structures on Specialization System : Formalization and Satisfiability-Preserving Transformation (2006)
  • Author(s): Kiyoshi Akama
  • Journal Title: Proceedings of the 7th international conference on intelligent technologies (InTech'06) Pages: 100-109
• [Journal Article] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain (2005)
  • Author(s): Hiroshi Mabuchi
  • Journal Title: Proc.of the 2005 International Conference on Artificial Intelligence (ICAI'05) Vol.II Pages: 627-633
• [Journal Article] A Programming Language Interpreter System Based on Equivarent Transformation (2005)
  • Author(s): Hidekatsu Koike
  • Journal Title: 2005 IEEE 9th International Conference on Intelligent Engineering Systems (INES 2005) Pages: 283-288
• [Journal Article] Parallel Processing Method based on Equivalent Transformation (2005)
  • Author(s): Hidemi Ogasawara
  • Journal Title: 2005 IEEE 9th International Conference on Intelligent Engineering Systems (INES 2005) Pages: 111-116
• [Journal Article] Transformation of Equivalent transformation Rules into Correct Concurrent Programs (2005)
  • Author(s): Hidemi Ogasawara
  • Journal Title: Proceedings of the 6th international conference on intelligent technologies (In Tech '05) Pages: 34-42
• [Journal Article] The Squeeze Method - A Method for Program Construction in the Equivalent Transformation Computation Model (2005)
  • Author(s): Kiyoshi Akama
  • Journal Title: Proceedings of the 6th international conference on intelligent technologies (In Tech '05) Pages: 198-206
• [Journal Article] State-Transition Computation Models and Program Correctness Thereon (2005)
  • Author(s): Kiyoshi Akama
  • Journal Title: Proceedings of the 6th international conference on intelligent technologies (In Tech '05) Pages: 277-286
• [Presentation] Creation of ET Rules via Logical Equivalence (2009)
  • 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
• [Presentation] Conceptual Modelling and Program Generation for Dynamic Interactive Systems (2008)
  • Author(s): C. Powell, Kiyoshi Akama, and T. Wakatsuki
  • Organizer: The 9th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2008)
  • Place of Presentation: Dunedin, New Zealand
  • Year and Date: 2008-12-02
• [Presentation] Conceptual Modeling and Program Generation for Dynamic Interactive Systems (2008)
  • Author(s): Courtney Powell, Kiyoshi Akama
  • Organizer: The Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'08)
  • Place of Presentation: Dunedin, New Zealand
  • Year and Date: 2008-12-02
• [Presentation] Meaning-Preserving Skolemization on Logical Structures (2008)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat
  • Organizer: Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  • Place of Presentation: Samui, Thailand
• [Presentation] Extension of Logical Structures by Safe Extension of Specialization Systems (2007)
  • Author(s): Kiyoshi Akama, and Ekawit Nantajeewarawat
  • Organizer: Proceedings of the 8th International Conference on Intelligent Technologies (InTech'07)
  • Place of Presentation: Sydney, Australia
• [Presentation] Solving Logic Problem with ET rules (2007)
  • Author(s): Zheng Cheng, Kiyoshi Akama, Ekawit Nantajeewarawat
  • Organizer: Proceedings of the Eighth International Conference on Intelligent Technolog ies (InTech'07)
  • Place of Presentation: Sydney, Australia
• [Presentation] Construction of Equivalent Transformation Rules from Logical Equivalence (2007)
  • Author(s): Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
  • Organizer: Proceedings of the Eighth International Conference on Intelligent Technologi es (InTech'07)
  • Place of Presentation: Sydney, Australia
• [Presentation] メタ計算に基づくプログラム生成実験システム (2007)
  • Author(s): 西田 好孝
  • Organizer: 電子情報通信学会 ソフトウェアサイエンス研究会
  • Place of Presentation: 島根大学 松江キャンパス
• [Presentation] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation (2006)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat and Hidemi Ogasawara
  • Organizer: Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  • Place of Presentation: Taipei Taiwan
• [Presentation] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence (2006)
  • Author(s): Katsunori Miura, Kiyoshi Akama, Yoshinori Shigeta, and Hiroshi Mabuchi
  • Organizer: Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  • Place of Presentation: Taipei Taiwan
• [Presentation] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method (2006)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
  • Organizer: Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference
  • Place of Presentation: Novosibirsk, Akademgorodok, Russia
• [Presentation] The Squeeze Method -A Method for Program Construction in the Equivalent Transformation Computation Model (2005)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
  • Organizer: Proceedings of the 6th international conference on intelligent technologies (InTech'05)
  • Place of Presentation: Phuket, Thailand
• [Presentation] State-Transition Computation Models and Program Correctness Thereon (2005)
  • Author(s): Kiyoshi Akama, and Ekawit Nantajeewarawat
  • Organizer: Proceedings of the 6th international conference on intelligent technologies (InTech'05)
  • Place of Presentation: Phuket, Thailand