Project/Area Number  02680031 
Research Category 
GrantinAid for General Scientific Research (C)

Allocation Type  Singleyear Grants 
Research Field 
Informatics

Research Institution  Kyushu University 
Principal Investigator 
MIYANO Satoru Kyushu Univ., Fac. Sci., Assoc. Prof., 理学部, 助教授 (50128104)

CoInvestigator(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)

Keywords  Computational 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 NPhard 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 polynomialtime learnability. We identified some important and useful subclasses of elementary formal systems which are polynomialtime 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.
