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

Algorithmic research on computational learning and teaching

Research Project

Project/Area Number 02680031
Research Category

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

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionKyushu University

Principal Investigator

MIYANO Satoru  Kyushu Univ., Fac. Sci., Assoc. Prof., 理学部, 助教授 (50128104)

Co-Investigator(Kenkyū-buntansha) MIYAHARA Tetsuhiro  Kyushu Univ., Fac. Gen. Edu., Assoc. Prof., 教養部, 助教授 (90209932)
SHINOHARA Ayumi  Kyushu Univ., Fac. Sci., Assistant, 理学部, 助手 (00226151)
ARIKAWA Setsuo  Kyushu Univ., Fac. Sci., Professor, 理学部, 教授 (40037221)
Project Period (FY) 1990 – 1991
Project Status Completed (Fiscal Year 1991)
Budget Amount *help
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 1991: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1990: ¥1,300,000 (Direct Cost: ¥1,300,000)
KeywordsComputational learning / Teaching theory / Analogical reasoning / Machine learning / Parallel algorithm / Decision tree
Research Abstract

This research concentrates on computational learning from the view point of algorithmic teaching. We introduced the notion of teachability with which we established a relationship between the learnability and teachability. We obtained some results on the complexity issues of a teacher in relation to learning. We also considered the analogical reasoning in relation to learning. We showed that NP-hard aspect appears in analogicaj reasoning. In our framework, the set cover problem proved to be an important issue for finding keys in teaching. For this problem we devised a parallel algorithm which solves the minimal set cover problem. We also investigated elementary formal systems with respect to polynomial-time learnability. We identified some important and useful subclasses of elementary formal systems which are polynomial-time learnable. Based on these theoretical researches, we developed a machine learning system which employs decision trees over regular patterns. This system finds important keys from randomly chosen samples which may explain the given samples reasonably. In addition to theoretical analysis of our system, experiments show that this machine learning system exhibited quite successful results. In order to find keys in teaching, we also developed a system based on elementary formal systems which employs the approximation algorithm for minimum set cover problem. Comparison of these two systems showed that the former is faster and efficient than the latter. But, by theoretical reasons, the latter system can cope with problems with larger variety.

Report

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

    (23 results)

All Other

All Publications (23 results)

  • [Publications] Ayumi Shinohara: "Teachability in computatinal learning" New Generation Computing. 8. 337-347 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoru Miyano: "Which classes of elementary formal systems are polynomial-time learnable?" Proc.2nd Workshop on Algorithmic Learning Theory. 139-150 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Shinji Furuya: "Analogy in NP-hard" Proc.2nd Workshop on Algorithmic Learning Theory. 207-212 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Tetsuhiro Miyahara: "Analogical reasoning using elementary formal system with mismatch" Proc.2nd Workshop on Algorithmic Learning Theory. 224-230 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Setsuo Arikawa: "A learning algorithm for elementary formal systems and its experiments on identification of transmembrane domains" Proc.25nd Hawaii International Conference onf System Sciences. 1. 675-684 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takayoshi Shoudai: "Using maximal independent sets to solve problems inparallel" Lecture Notes in Computer Science. 570. (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] A. Shinohara and S. Miyano: "Teachability in computational learning" New Generation Computing. 8. 337-347 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] S. Miyano, A. Shinohara and T. Shinohara: "Which classes of elementary formal systems are polynomialtime learnable?" Proc. 2nd Workshop on Algorithmic Learning Theory. 139-150 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] S. Furuya and S. Miyano: "Analogy is NP-hard" Proc. 2nd Workshop on Algorithmic Learning Theory. 207-212 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T. Miyahara: "Analogical reasoning using elementary formal system with mismatch" Proc. 2nd Workshop on Algorithmic Learning Theory. 224-230 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] S. Arikawa, S. Kuhara, S. Miyano: "A. Shinohara and T. Shinohara, A learning algorithm for elementary formal systems and its experiments on identification of transmembrane domains" Proc. 25th Hawaii International Conference on System Sciences. I. 675-684 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T. Shoudai and S. Miyano: "Using maximal independent sets to solve problems in parallel" Lecture Notes in Computer Science. 570. (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoru Miyano: "Which classes of elementary formal systems are polynomialーtime learnable?" Proc.2nd Algorithmic Learning Theory. 139-150 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Shinji Furuya: "Analogy is NPーhard" Proc.2nd Algorithmic Learning Theory. 207-212 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Tetsuhiro Miyahara: "Analogical reasoning using elementary formal system with mismatch" Proc.2nd Algorithmic Learning Theory. 224-230 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Setsuo Arikawa: "A learning algorithm for elementary formal systems and its experiments on identification of transmembrane domains" Proc.25th Hawaii International Conference on System Sciences I. 675-684 (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Setsuo Arikawa: "Identification of transmembrane domains by decision trees over regular patterns"

    • Related Report
      1991 Annual Research Report
  • [Publications] Ayumi Shinohara: "Teachability in computational learning" New Generation Computing. 8. 337-347 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] Satoru Miyano: "Which classes of elementary formal systems are polynomialーtime learnable?" RIFISーTRーCSー37,Research Institute of Fundamental Information Science,Kyushu University. (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 篠原 歩: "PAC学習ー確率的で近似的に正しい学習" 情報処理. 32. (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 古屋 晋二: "類推の計算量" 発表予定.

    • Related Report
      1990 Annual Research Report
  • [Publications] Takayoshi Shoudai: "Bounded degree maximal subgraph problems are in NC" Proc.Toyohashi Symposium on Theoretical Computer Science. 97-101 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Takayoshi Shoudai: "Using maximal independent sets to solve problems in parallel" RIFISーTRーCSー36,Research Institute of Fundamental Information Science,Kyushu University. (1991)

    • Related Report
      1990 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi