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

Formalization of Higher Order Ingerence Mechanism Based on Type Theory and Its Application to Analogical Reasoning System

Research Project

Project/Area Number 04650320
Research Category

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

Allocation TypeSingle-year Grants
Research Field 情報工学
Research InstitutionKyushu Institute of Technology

Principal Investigator

HARAO Masateru (1993)  Kyushu Institute of Technology Professor, 情報工学部, 教授 (44266272)

原尾 政輝 (1992)  九州工業大学, 情報工学部, 教授 (00006272)

Project Period (FY) 1992 – 1993
Project Status Completed (Fiscal Year 1993)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1993: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1992: ¥1,300,000 (Direct Cost: ¥1,300,000)
KeywordsType theory / Knowledge representation / Inference machanism / Intelligent software / analogical system / Higher order program language / Theorem proving / Logic program / 高階論理 / 類推 / 知識ベース / 自然演繹証明 / ML
Research Abstract

In this research project, I set the following concrete themes :
(1)Developments on knowledge representation and inference systems based on type theory.
(2)Design of higher order program language and its processing system.
(3)Realization of analogical reasoning system based on higher order abstraction.
For the first teme, I have developped a theoretical properties on the knowledge representation and inference mechamisms using the logical framework, which is a kind of type theory. Especially, by introducing the concept such that type = proposition = concept, I have characterized the hierarchical properties in knowledge structures. I have also demonstrated that theunification and generalization, inheritance can be realized clearry in this framework.
For the second theme, I have designed a kind of higher order program language using ML language, in which the processing mechanism works under the type inference. I confirmed that a kind of higer order representation and the processing based on inheritance are able to be established.
For the third theme, I have realized a analogical reasoning system by choosing the object to the LK theorem proving problem. The analogical reasoning system have the similar ability to the one of average college students.
By this research project, I believe that I could developped a new approch based on type theory to the branch of intelligent software language.

Report

(3 results)
  • 1993 Annual Research Report   Final Research Report Summary
  • 1992 Annual Research Report
  • Research Products

    (25 results)

All Other

All Publications (25 results)

  • [Publications] 桜井、脇園、原尾: "抽象化に基づく類推" 情報処理. 34,No.5. 558-565 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] 原尾: "Analogical Reasoning for LK Theorem Proving" Proc.of Inter.Workshop on Automated Reasoning. North Hdland. 265-274 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] 原尾,中川: "類似性に基づく一般化知識の獲得と推論" 人工知能学会全国大会(1993年度). 41-44 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] 原尾,羽室: "高階の概念を用いた仮説推論" 1993年度電気関係九州支部大会. 688-688 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] 原尾,村田: "LF理論に基づく論理型言語に関する一考察" 1993年度電気関係九州支部大会. 686-686 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] 原尾: "型理論に基づく知識処理の定式化" シンポジウム-知識科学の最前線 論文集. 3-12 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] 原尾政輝: "人工知能アルゴリズム論" 近代科学社, 270 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Sakurai, Wakizono, Harao: "Analogical Reasoning Based on Abstraction" Information Processing. Vol.34, No.5. 558-565 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Harao: "Analogical for LK Theorem Proving" Proc.of Intern.Workshop on Automated Reasoning, Northholland. 265-274 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Harao, Nakagawa: "Knowledge Acquisition and Ingerence Based on Analogy" Proc.of the Annual Conference of Japan Society of Artificial Intelligence, 1993. 41-44 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Harao, Hamuro: "Hypothesical Reasoning Using Highger Order Concept" proc.of Annual Conference of Kyushu District Related on Elecro-communicationc, Information, 1993. 688-688 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Harao, Murata: "A Consideration on the Logic Program Lnaguage Based on Type Theory" proc.of Annual Conference of Kyushu District Related on Elecro-communicationc, Information, 1993. 686-686 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Harao: "Formalization of Knowledge Processing Based on Type Theory" Proc.of Symposium "The Frontier of Knowledge Science". 3-12 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] HArao: Algorithm Theory in Artificial Intelligence. Kindai-Kagaku-Sha, (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] 桜井,脇園,原尾: "抽象化に基づく類推" 情報処理. 34,No.5. 558-565 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 原尾: "Analogical Reasoning for LK Theorem Proving" Proc.of Tnter.Workshop on Automated Reasoning. North Hdland. 265-274 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 原尾,中川: "類似性に基づく一般化知識の獲得と推論" 人工知能学会全国大会(1993年度). 41-44 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 原尾,羽室: "高階の概念を用いた仮説推論" 1993年度電気関係九州支部大会. 688-688 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 原尾,村田: "LF理論に基づく論理型言語に関する一考察" 1993年度電気関係九州支部大会. 686-686 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 原尾: "型理論に基づく知識処理の定式化" シンポジウム-知識科学の最前線 論文集. 3-12 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 原尾 政輝: "人工知能アルゴリズム論" 近代科学社, 270 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 原尾 政輝: "高階一般化による類推" 人工知能研究会資料,人工知能基礎論. 75-14. 127-136 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] 中川 祥子,原尾 政輝: "類推によるLK定理証明" 電子情報通信学会,コンピュテーション研究会資料. COMP92-36. 63-70 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] M.Harao: "Analogical Reasoning For Natural Deduction Theorem Proving," 自動推論に関する国際ワークショップ(Int.Workshop on Automated Reasoning). 220-228 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] M.Harao: "LK Theorem Proving By Analogy" 環太平洋人工知能国際会議(PRICAI'92). 714-720 (1992)

    • Related Report
      1992 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi