• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Study on Database Programming Language for Advanced Use of IS-A Knowledge

Research Project

Project/Area Number 06680357
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field Intelligent informatics
Research InstitutionOsaka University

Principal Investigator

NISHIO Shojiro  Faculty of Eng., Dept.of Info.Sys.Eng., Professor, 工学部, 教授 (50135539)

Co-Investigator(Kenkyū-buntansha) HARUMOTO Kaname  Faculty of Eng., Dept.of Info.Sys.Eng., Assistant, 工学部, 助手 (50263215)
LIU Bo-jiang  Faculty of Eng., Dept.of Info.Sys.Eng., Assistant, 工学部, 助手 (70252624)
TSUKAMOTO Masahiko  Faculty of Eng., Dept.of Info.Sys.Eng., Assistant Professor, 工学部, 講師 (60273588)
Project Period (FY) 1994 – 1995
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1995: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1994: ¥1,400,000 (Direct Cost: ¥1,400,000)
KeywordsIS-A Relation / Knowledge Representation / Reasoning / Knowledge Processing / Knowledge-base / Regular Expression / Dot Notation
Research Abstract

As the advance of hardware systems and their application technologies, database systems are requested to have highly advanced functionalities. As a result, it has become important to support the development of advanced application programs by combining the facilities of deductive databases, which provides a deduction mechanism based on a firm mathematical foundation, and those of object-oriented databases, which provides a flexible modeling capability of the real world. Based on this background, in this study, we focused on the application areas in which advanced knowledge processing capabilities such as natural language processing systems and expert systems are required.
For these areas, we aimed at establishing a programming methodology to provide the capabilities of both advanced reasoning and flexible programming. More specifically, in order to combine the knowledge processing mechanism and the program execution mechanism in a highly flexible way, we examined each of these mechanism … More s closely and then tried to integrate them so as to satisfy the advanced applications' requirements.
In our employed approach, we consider that the notion of inheritance plays a bridge across over the different two mechanisms, i.e., the inheritance reasoning is done in the knowledge processing mechanism and the result is reflected to program execution mechanism. In this approach, we can handle the knowledge processing part and the program execution part separately, while we can make use of both capabilities in an integrated way. As a result of our research in these two fiscal years, we have established the foundations of database programming language for advanced use of IS-A knowledge in three aspects : reasoning, programming, and application development. We feel convinced that the IS-A knowledge will play an important role in developing intellectual applications in the near future, and therefore our study of the last two years is considered to be very meaningful for such advanced applications. Less

Report

(3 results)
  • 1995 Annual Research Report   Final Research Report Summary
  • 1994 Annual Research Report
  • Research Products

    (63 results)

All Other

All Publications (63 results)

  • [Publications] 塚本昌彦: "正規表現を用いた継承システム" 人工知能学会誌. Vol. 9,No. 4. 115-123 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 塚本昌彦: "正規表現を用いた継承システムにおける知識の無矛盾性" 人工知能学会誌. Vol. 9,No. 5. 122-128 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 塚本昌彦: "ドット記法とIS-A関係を用いた知識推論のための完全システム" 人工知能学会誌. Vol. 10,No. 2. 115-123 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 塚本昌彦: "ドット記法とIS-A関係を用いた知識表現システムDOT" 人工知能学会誌. Vol. 10,No. 2. 124-133 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 柳沢豊: "知識ベース独立のための演繹オブジェクト指向プログラミング" 人工知能学会誌. Vol. 10,No. 6. 761-768 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Tsukamoto,M.: "Inheritance Reasoning by Regular Sets in Knowledge-base with Dot Notation" Ling,T. W. et al. eds.: Deductive and Object-Oriented Databases,Lecture Notes in Computer Science 1013,Springer-Verlag. 247-264 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Yanagisawa,Y.: "Deductive Object-Oriented Programming for Knowledge-base Independence" Ling,T. W. et al. eds.: Deductive and Object-Oriented Databases,Lecture Notes in Computer Science 1013,Springer-Verlag. 345-362 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 柳沢豊: "演繹オブジェクト指向プログラミングによる知識ベース独立の実現" 尾内理紀男(編):オブジェクト指向コンピューティングIII(論文選集),近代科学社. 63-70 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 村田顕宏: "インタードメインルーチングプロトコル(IDRP)のための経路制御ポリシ-記述言語" 電子情報通信学会和文論文誌. (採録決定). (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 塚本昌彦: "推論機構によるグループの動的構成手法を用いたメール分配システム" 人工知能学会誌. (採録決定). (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 岩室元典: "推論機構を用いたメール分配システム" 情報処理学会研究報告(マルチメディア通信と分散処理研究会DPS 66-16). Vol. 94,No. 56. 91-96 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 清一隆: "ドット記法とIS-A関係を用いた推論システムの高速化に関する研究" 1994年度人工知能学会大会(第8回)論文集. 517-520 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 柳沢豊: "動的マルチキャスト演繹機構のオブジェクト指向プログラミング言語への導入" 日本ソフトウェア科学会第11回大会論文集. 25-28 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 岩室元典: "配送先に関する知識ベースを用いたメッセージ配送システム" 第6回データ工学ワークショップ(DEWS'95)論文集. 135-142 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 清一隆: "IS-A関係と正規表現を用いたDOT知識ベースシステムの設計および実装" 情報処理学会研究報告(データベースシステム研究会DBS102-6). Vol. 95,No. 31. 41-48 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 村田顕宏: "インタードメインルーティングプロトコル(IDRP)のためのポリシ-記述言語" 情報処理学研究報告(マルチメディア通信と分散処理研究会DPS-71). Vol. 95,No. 61. 151-156 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 柳沢豊: "演繹オブジェクト指向プログラミングの分散環境への適用" 情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 415-418 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 清一隆: "DOT推論システムを用いた多重世界プログラミング" 1995年度人工知能学会大会(第9回)論文集. 303-306 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 清一隆: "連鎖規則に基づく否定表現を導入した知識表現システムDOT" 日本ソフトウェア科学会第12回大会論文集. 349-352 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 柳沢豊: "演繹オブジェクト指向プログラミングを用いたソフトウェア構築技法" 1995年度人工知能学会大会(第9回)論文集. 211-218 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 萩野浩明: "推論機構を用いたメール分配システムMILDにおけるメール検索機構" 情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 283-290 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 高田一雄: "ソフトウェア運用のためのポリシ-記述言語" 第7回データ工学ワークショップ(DEWS'96)論文集. (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 清一隆: "連鎖規則に基づく否定を導入した知識表現システムDOTの拡張" 第7回データ工学ワークショップ(DEWS'96)論文集. (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Tsukamoto, M.: "An Inheritance System Using Regular Expressions" J.JSAI. Vol.9, No.4. 115-123 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Tsukamoto, M.: "Consistency of Knowledge in an Inheritance System with Regular Expressions" J.JSAI. Vol.9, No.5. 122-128 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Tsukamoto, M.: "A Complete System for Inheritance Reasoning Using Dot Notation and IS-A Relation" J.JSAI. Vol.10, No.2. 115-123 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Tsukamoto, M., DOT: "a Knowledge Representation System Using Dot Notation and IS-A Relation" J.JSAI. Vol.10, No.2. 124-133 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Yanagisawa, Y.: "A Deductive Object-Oriented Programming for Knowledge-base Independence" J.JSAI. Vol.10, No.6. 761-768 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Tsukamoto, M.: "Inheritance Reasoning by Regular Sets in Knowledge-base with Dot Notation" Ling, T.W.et al. : Deductive and Object-Oriented Databases, Lecture Notes in Computer Science 1013, Springer-Verlag. 247-264 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Yanagisawa, Y.: "Deductive Object-Oriented Programming for Knowledge-base Independence" Ling, T.W.et al.eds. : Deductive and Object-Oriented Databases, Lecture Notes in Computer Science 1013, Springer-Verlag. 345-362 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Yanagisawa, Y.: "Realizing Knowledge-base Independence by Deductive Object-Oriented Programming" Onai, R.(Ed.) : Object-Oriented Computing III. 63-70 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Murata, A.: "A Routing Policy Description Language for Inter-Domain Routing Protocol (IDRP)" IEICE Journal. B-I (to appear). (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Tsukamoto, M.: "/Design and Implementation of a Mail Distribution System using Reasoning Mechanism for Dynamic Group Construction" J.JSAI. Vol.11, No.5 (to appear). (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] lwamuro, M.: "Implementation of a Mail Distribution System using Reasoning Mechanism" IPSJ SIG Notes, 94-DPS-66. Vol.94, No.56. 91-96 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Sei, K.: "Efficient Reasoning Algorithms for an Inference System with DOT Notation and IS-A Relations" Proc.of the 7th JSAI Annual Conference. 517-520 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Yanagisawa, Y.: "Introduction of Dynamic Muticast Deduction Mechanism to Object-Oriented Programming Languages" Proc.of the 11th JSSST Annual Conference. 25-28 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Iwamuro, M.: "A Message Delivery System using Knowledge-base of Destination Information" Proc.of the 6th IEICE Data Engineering Workshop (DEWS'95). 135-142 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Sei, K.: "Design and Implementation of DOT Knowledge-base System using IS-A Relation and Regular Expressions" IPSJ SIG Notes 95-DBS-102. Vol.95, No.31. 41-48 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Murata, A.: "A Policy Description Language for Inter-Domain Routing Protocol (IDRP)" IPSJ SIG Notes 95-DPS-71. Vol.95, No.61. 151-156 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Yanagisawa, Y.: "Software Development using Deductive Object-Oriented Programming" Proc.of the 9th JSAI Annual Conference. 415-418 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Sei, K.: "Multiple World Programming with DOT Inference System" Proc.of the 9th JSAI Annual Conference. 303-306 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Sei, K: "An Enhancement of DOT Knowledge Representation System by Negative Representation based on Chaining Rule" Proc.of the 11th JSSST Annual Conference. 349-352 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Yanaggisawa, Y.: "Applying Deductive Object-Oriented Programming to Distributed Environment" Proc.of Multimedia Communication and Distributed Peocessing Workshop'95. 211-218 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Hagino, H.: "Mail Retrieval using Reasoning Mechanisms in Mail Distribution System MILD" Proc.of Multimedia Communication and Distributed Processing Workshop'95. 283-290 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Takada, K.: "A Policy Description Language for Software Operations" Proc.of the 7th IEICE Data Engineering Workshop. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] Sei, K.: "Extension of DOT Knowledge Representation System by Negation based on Chaining Rule" Proc.of the 7th IEICE Data Engineering Workshop. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 柳沢豊: "知識ベース独立のための演繹オブジェクト指向プログラミング" 人工知能学会誌. Vol.10 No.6. 761-768 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Tsukamoto,M.: "Inheritance Reasoning by Regular Sets in Knowledge-base with Dot Notation" Deductive and Object-Oriented Databases Lecture Notes in Computer Science 1013,Springer-Verlag. 247-364 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Yanagisawa,Y.: "Deductive Object-Oriented Programming for Knowledge-base Independence" Deductive and Object-Oriented Databases Lecture Notes in Computer Science 1013,Springer-Verlag. 345-362 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 柳沢豊: "演繹オブジェクト指向プログラミングによる知識ベース独立の実現" オブジェクト指向コンピューティングIII(論文選集),近代科学社. 63-70 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 柳沢豊: "演繹オブジェクト指向プログラミングの分散環境への適用" 情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 211-218 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 柳沢豊: "演繹オブジェクト指向プログラミングを用いたソフトウェア構築技法" 1995年度人工知能学会大会(第9回)論文集. 415-418 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 清一隆: "DOT推論システムを用いた多重世界プログラミング" 1995年度人工知能学会大会(第9回)論文集. 303-306 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 清一隆: "連鎖規則に基づく否定表現を導入した知識表現システムDOT" 日本ソフトウェア科学会第12回大会論文集. 349-352 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 萩野浩明: "推論機構を用いたメール分配システムMILDにおけるメール検索機構" 情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 283-290 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 高田一雄: "ソフトウェア運用のためのポリシ-記述言語" DEWS'96. (予定). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 木村章: "アクティブデータベースシステムを用いた移動体ビューの設計および実装" DEWS'96. (予定). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 清一隆: "連鎖規則に基づく否定を導入した知識表現システムDOTの拡張" DEWS'96. (予定). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 塚本昌彦: "正規表現を用いた継承システム" 人工知能学会誌. 9巻4号. 115-123 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 塚本昌彦: "正規表現を用いた継承システムにおける知識の無矛盾性" 人工知能学会誌. 9巻5号. 122-128 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 塚本昌彦: "ドット記法とIS-A関係を用いた知識表現システムDOT" 人工知能学会誌. 10巻2号(掲載予定). (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] 塚本昌彦: "ドット記法とIS-A関係を用いた知識推論のための完全システム" 人工知能学会誌. 10巻2号(掲載予定). (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] 柳沢豊: "知識ベース独立のための演繹オプジェクト指向プログラミング" 人工知能学会誌. 10巻6号(掲載予定). (1995)

    • Related Report
      1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi