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

Knowledge Structural Modeling for Developing Expert Systems.

Research Project

Project/Area Number 01460253
Research Category

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

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionHokkaido University

Principal Investigator

OHUCHI Azuma  Hokkaido University, Fac. of Engineering, Professor, 工学部, 教授 (50002308)

Co-Investigator(Kenkyū-buntansha) ENDOU Satoshi  Hokkaido University, Fac. of Engineering, Instructor, 工学部, 助手 (00223686)
OHYANAGI Toshio  Hokkaido Univesity, Fac. of Engineering, Instructor, 工学部, 助手 (70177020)
KURIFARA Masahito  Hokkaido University, Fac. of Engineering, Assistant Professor, 工学部, 助教授 (50133707)
Project Period (FY) 1989 – 1990
Project Status Completed (Fiscal Year 1990)
Budget Amount *help
¥6,600,000 (Direct Cost: ¥6,600,000)
Fiscal Year 1990: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1989: ¥5,600,000 (Direct Cost: ¥5,600,000)
KeywordsExpert System / Knowledge Acquisition / Structural Modeling / E T S / Fuzzy / Personal Construct Grid Method / ファジィ / 人工知能 / 二項関係
Research Abstract

Knowledge acquisition is the bottle neck of developing experts systems. This research project aimed to develop a new effective method for knowledge acquisition by applying Flexible Interpretive Structural Modeling (FISM) Which is a method used to construct systems structural modeling. The research project was planed for a period of two years, from 1990 to 1991. The main results of the first period are as follows :
1. Many knowledge acquisition methods were surveyed. Especially, Personal construct theory which is used in a knowledge acquisition system ETS was discussed,
2. Extension of functions of FISM to treat multidimensional relation and degrees of relation were considered.
The results of the second period are summarized as fololws :
1. Fuzzy binary relation was introduced for considering the degree of relation,
2. Multidimensional relation was treated by introducing the interconnection relation matrix,
3. A test system was implemented on an AS4330 work station,
4. Results were applied to automated reasoning, quantitative reasoning and syntax learning of computer languages.
The problem of how to deal with the case based reasoning hereafter still remains.

Report

(3 results)
  • 1990 Annual Research Report   Final Research Report Summary
  • 1989 Annual Research Report
  • Research Products

    (54 results)

All Other

All Publications (54 results)

  • [Publications] 若林 高明,大内 東: "ファジイISMにおける推移的結合の考察" 第6回ファジイシステムシンポジウム講演論文集. 427-430 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Azuma OHUCHI,Masahito KURIHARA: "DEVELOPING A CONSENSUS MODEL IN FLEXIBLE ISM" Proceedings 1990 IEEE International Conference on Systems,Man,and Cybernetics. 72-77 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 大内 東,栗原 正仁: "FISMによる合意モデル構築支授" 情報処理学会論文誌. 32. 256-264 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 門脇 保,大内 東: "関係連関行列を用いた知識構造モデリング" 第23回SISC北海道支部学術講演会. 67-68 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 若林 高明,大内 東: "Sanchezの固有ファジイ集合方程式の解法を用いた相互連関行列の決定法" 第23回SISC北海道支部学術講演会. 111-112 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 大内 東,三田村 保: "PCTとF^2ISMを融合した知識獲得" 情報処理学会第42回全国大会講演論文集(3). 130-131 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masahito KURIHARA,Azuma OHUCHI: "Modularity of simple termination of term rewriting systems" 情報処理学会研究報告. 89ーSFー31. 1-10 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 近藤 久,栗原 正仁,大内 東: "単純化順序を用いた項書き換えシステム停止性検証システムの開発" 電子情報通信学会技術研究報告. COMP89ー108. 9-16 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masahito KURIHARA,Azuma OHUCHI: "Modularity of simple termination of term rewriting systems" 情報処理. 31. 633-642 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masahito KURIHARA,Azuma OHUCHI: "Modularity of simple termination of term rewriting systems with shared constructors" 情報処理学会研究報告. 90ーSFー36. 1-10 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masahito KURIHARA,Azuma OHUCHI: "Termination of direct sum of simplyーterminating term rewriting systems" International Conference on Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan(InfoJapan'90). 11-18 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Hisashi KONDOH,Masahito KURIHARA,Azuma OHUCHI: "Termination verifier of term rewriting systems with reason maintenance system" JapaneseーSino SapporoーShenyang International Conference on Computer Applications(4th SSICA). 5-8 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masahito KURIHARA,Hisashi KONDOH,Azuma OHUCHI: "Using ATMS to efficiently verify the termination of term rewriting systems" Pacific Rim International Conference on Artificial Intelligence (PRICAI'90). 456-461 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 大柳 俊夫,大内 東: "有理数演算を用いた線形方程式の解法の振舞い" 情報処理学会研究報告. 89ーNAー31. 1-10 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 大柳 俊夫,大内 東: "有理数演算によるゴモリ-の小数法の基礎検討" 情報処理学会論文誌. 31. 667-675 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 大柳 俊夫,大内 東: "大型疎線計画問題に対するReidの基底更新アルゴリズムの改善とその性質" 情報処理学会研究報告. 90ーALー16. 1-8 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 遠藤 聡志,大内 東: "計算機言語の文法に対する構造モデリングと複雑度評価" 情報処理学会論文誌. 32. (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] T. Wakabayashi, A. Ohuchi :"Study of Transitive Coupling in Fuzzy ISM" Proceedings of the 6th Fuzzy Systems Symposium,. 427-430 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] A. Ohuchi, M. Kurihara :"Developings a consensus model in flexible ISM" Proc. 1990 IEEE International Conference on Systems, Man, and Cybernetics,. 72-77 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] A. Ohuchi, M. Kurihara :"Developing a consensus model en flexible ISM" Trans. of Information Processing Society of Janpan,. Vol. 32, No. 5. 256-264 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] T. Kadowaki, A. Ohuchi :"Knowledge Structural Modeling by Associated Matrix for Relations" The 23th Annual Convention SICE Hokkaido,. 67-68 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] T. Wakabayashi, A. Ohuchi :"Determination of Interconnection Matrices using Sanchez's Relation of Fuzzy Sets Equations" The 23th Annual Convention SICE Hokkaido. 111-112 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] T. Mitamura, A. Ohuchi :"A Unified Method for Knowledge Acquisition Based on PCT and F^2 ISM" Proc. of the 42th Annual Convention IPS Japan,. 130-131 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] M. Kurihara, A. Ohuchi :"Modularity of simple termination of term rewriting systems" IPSJ SIG Report,. 89-SF-31. 1-10 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] H. Kondoh, M. Kurihara, A. Ohuchi :"Development of termination verifier for term reWriting systems based on simplification ordering : The use of ATMS" IEICE Technical Report,. COMP89-108. 9-16 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] M. Kurihara, A. Ohuchi :"Modularity of simple termination of term rewriting systems" J. IPS Japan,. 31. 633-642 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] M. Kurihara, A. Ohuchi :"Modularity of simple termination of term rewriting systems with shared constructors" IPSJ SIG Report,. 90-SF-36. 1-10 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] M. Kurihara, A. Ohuchi :"Termination of direct sum of simply-terminating term rewriting systems" International Conference on Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan '90),. 11-18 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] H. Kondoh, M. Kurihara, A. Ohuchi :"Termination verifier of term rewriting systems with reason maintenance system" Japanes-Sino Sapporo-Shenyang International Conference on Computer Applications (4th SSICCA). 5-8 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] M. Kurihara, H. Kondoh, A. Ohuchi :"Using ATMS to efficiently verify the termination of term rewriting systems" Pacific Rim International Conference on Artificial Intelligence (PRICAL'90),. 456-461 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] T. Ohyanagi, A. Ohuchi :"A Behavior of an algorithm for Linear Equations using Rational Arithmetic" IPSJ SIG Reports,. 89-NA-31-3. (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] T. Ohyanagi, A. Ohuchi :"Rational Arithmetic for Gomory's Fractional Method" Trans. of Information Processing Society of Japan,. Vol. 31, No. 5. 667-675 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] T. Ohyanagi, A. Ohuchi :"On Improvement of Reid's Basis Updating Method for Large Sparse Linear Programming Problems and Its Characteristics" IPSJ SIG Reports,. 90-AL-16-1. (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] S. Endon, A. Ohuchi :"Structural Modeling and Complexity Evaluation for Syntax of High-Level Programming Languages" Trans. of Information Processing Society of Japan. Vol. 32, No. 5. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 若林 高明,大内 東: "ファジイISMにおける推移的結合の考察" 第6回ファジイシステムシンポジウム講演論文集. 427-430 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Azuma OHUCHI,Masahito KURIHARA: "DEVELOPING A CONSENSUS MODEL IN FLEXIBLE ISM" Proceedings 1990 IEEE International Conference on Systems,Man,and Cybernetics. 72-77 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 大内 東,栗原 正仁: "FISMによる合意モデル構築支援" 情報処理学会論文誌. 32. 256-264 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 門脇 保,大内 東: "関係連関行列を用いた知識構造モデリング" 第23回SISC北海道支部学術講演会. 67-68 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 若林 高明,大内 東: "Sanchezの固有ファジイ集合方程式の解法を用いた相互連関行列の決定法" 第23回SISC北海道支部学術講演会. 111-112 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 大内 東,三田村 保: "PCTとF^2ISMを融合した知識獲得" 情報処理学会第42回全国大会講演論文集(3). 130-131 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] Masahito KURIHARA,Azuma OHUCHI: "Modularity of simple termination of term rewriting systems" 情報処理. 31. 633-642 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Masahito KURIHARA,Azuma OHUCHI: "Modularity of simple termination of term rewriting systems with shared constructors" 情報処理学会研究報告. 90ーSFー36. 1-10 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Masahito KURIHARA,Azuma OHUCHI: "Termination of direct sum of simplyーterminationg term rewriting systems" International Conference on Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan(InfoJapan'90). 11-18 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Hisashi KONDOH,Masahito KURIHARA,Azuma OHUCHI: "Termination verifier of term rewriting systems with reason maintenance system" JapaneseーSino SapporoーShenyang International Conference on Computer Applications(4th SSICCA). 5-8 (190)

    • Related Report
      1990 Annual Research Report
  • [Publications] Masahito KURIHARA,Hisashi KONDOH,Azuma OHUCHI: "Using ATMS to efficiently verify the termination of term rewriting systems" Pacific Rim International Conference on Artificial Intelligence(PRICAI'90). 456-461 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 大柳 俊夫,大内 東: "有理数演算によるゴモリ-の小数法の基礎的検討" 情報処理学会論文誌. 31. 667-675 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 大柳 俊夫,大内 東: "大型疎線形計画問題に対するReidの基底更新アルゴリズムの改善とその性質" 情報処理学会研究報告. 90ーALー16. 1-8 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 遠藤 聡志,大内 東: "計算機言語の文法に対する構造モデリングと複雑度評価" 情報処理学会論文誌. 32. (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] Azuma Ohuchi: "Correction Procedares for Flexible Interpretive Structural Modeling" IEEE Trans.Systems,Man & Cybernetics. 19. 85-94 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 大内東: "知識構造モデリングにおける構造修正法" 人工知能学会研究会資料. SIG-FAI8902-8. 71-79 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Masahito Kurihara: "Modular term rewriting systems and the termination" Information Processing Letters. 34. 1-4 (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] Masahito Kurihara: "Modularity fo simple termination of term rewriting systems" 情報処理. 31. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] 大内東: "FISM:フレキシブルISM" 計測自動制御学会第10回知識工学シンポジウム論文集. 159-163 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 大柳俊夫: "有理数演算によるゴモリ-の小数法の基礎的検討" 情報処理学会論文誌. 31. (1990)

    • Related Report
      1989 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi