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

An Inference Method to Obtain Approximate Solutions under Incomplete Knowledge

Research Project

Project/Area Number 15560351
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field System engineering
Research InstitutionTakushoku University

Principal Investigator

ISHIKAWA Tsutomu  Takushoku University, Faculty of Engineering, Professor, 工学部, 教授 (10281370)

Project Period (FY) 2003 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥3,800,000 (Direct Cost: ¥3,800,000)
Fiscal Year 2006: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2005: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2004: ¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 2003: ¥800,000 (Direct Cost: ¥800,000)
Keywordsinference scheme / common knowledge base / knowledge representation / order-sorted logic / knowledge base of words / measurement of similarity / 推論メカニズム / 述語論理 / 知識表現 / 意味解析 / 類似度 / 因果知識 / 知識獲得 / 対話システム
Research Abstract

We have studied an inference scheme to obtain approximate solutions under incomplete knowledge and the common knowledge bases used in the inference, aiming at realization of the same flexible processing as human.
Concerning the former, we have improved the inference method developed before, called ARSK (Approximate Reasoning with Similar Knowledge), which derives approximate solutions using similar knowledge, and have proposed a new knowledge representation scheme for it, called WPL (Word-based Predicate Logic). WPL is a kind of extended order-sorted logic. Both a simple sentence and a complex sentence are transformed to one atomic formula with structured sort symbols using the existent natural language processing tools. The inference processes are executed by semantically interpreting sort symbols, which consist of multiple ordinary words, word by word. We have proposed the new inference rules which can deal with such a complex sort symbols.
We have also developed and evaluated a tool measuring the semantic similarity between words by using both the knowledge base of words, which was constructed based on Japanese dictionaries and an existent thesaurus. The evaluation result shows that this tool can obtain nearly the same performance in the accuracy as human judgment.

Report

(5 results)
  • 2006 Annual Research Report   Final Research Report Summary
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • Research Products

    (8 results)

All 2006 2005

All Journal Article (8 results)

  • [Journal Article] 日常語をベースとした知識表現法とその推論処理法2006

    • Author(s)
      北野正樹, 石川 勉
    • Journal Title

      拓殖大学理工学研究報告 vol.9 No.4

      Pages: 49-56

    • NAID

      110006405603

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts2006

    • Author(s)
      M.Kitano, S.Nishita, T.Ishikawa
    • Journal Title

      Springer-Verlag LNAI 4293

      Pages: 49-58

    • NAID

      40015498759

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Knowledge Representation Scheme Using Ordinary Words and the Inference Mechanism on order-Sorted Logic2006

    • Author(s)
      M.Kitano, T.Ishikawa
    • Journal Title

      Bulletin of Science and Engineering Takushoku University vol.9 No.4

      Pages: 49-56

    • NAID

      130000098283

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts2006

    • Author(s)
      北野正樹, 西田誠幸, 石川 勉
    • Journal Title

      Springer-Verlag LNAI 4293 LNAI 4293

      Pages: 49-58

    • NAID

      40015498759

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 日常語をベースとした知識表現法とその推論処理法2006

    • Author(s)
      北野正樹, 石川 勉
    • Journal Title

      拓殖大学理工学研究報告書 Vol.9 No.4

      Pages: 49-56

    • NAID

      110006405603

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 言葉の意味の類似性判別に関するシソーラスと概念ベースの性能評価2005

    • Author(s)
      川島貴広, 石川 勉
    • Journal Title

      人工知能学会論文誌 Vo1.20 NO.5B

      Pages: 326-336

    • NAID

      10022005456

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] An Evaluation of a Knowledge Base of Words and Thesauruses on Measuring the Semantic Similarity between Words2005

    • Author(s)
      T.Kawashima, T.Ishikawa
    • Journal Title

      Journal of the Japanese Society for Artificial Intelligence vol.20 No.5 B

      Pages: 326-336

    • NAID

      10022005456

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] 言葉の意味の類似性判別に関するシソーラスと概念ベースの性能評価2005

    • Author(s)
      川島貴広, 石川 勉
    • Journal Title

      人工知能学会論文誌 Vol.20 NO.5B

      Pages: 326-336

    • NAID

      10022005456

    • Related Report
      2005 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi