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

1990 Fiscal Year Final Research Report Summary

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
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.

  • Research Products

    (34 results)

All Other

All Publications (34 results)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Kadowaki, A. Ohuchi :"Knowledge Structural Modeling by Associated Matrix for Relations" The 23th Annual Convention SICE Hokkaido,. 67-68 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Kurihara, A. Ohuchi :"Modularity of simple termination of term rewriting systems" IPSJ SIG Report,. 89-SF-31. 1-10 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Kurihara, A. Ohuchi :"Modularity of simple termination of term rewriting systems" J. IPS Japan,. 31. 633-642 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1993-08-12  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi