人工知能学会誌（1986～2013, Print ISSN:0912-8085）
仮説推論システムの拡張知識表現と概念学習機構
1988 年 3 巻 1 号 p. 94-102
詳細
1988 年 3 巻 1 号 p. 94-102
A hypothesis-based reasoning system handles the knowledge-base including complete (fact) and incomplete (hypothesis) knowledge. The incomplete knowledge plays a crucial role to realize advanced AI functions, such as common-sense, flexible matching, learning, etc. Thus the hypothesis-based reasoning is important as one step toward next generation knowledge-based system. In thls paper, an enhanced knowledge representation is described for the hypothesis-based reasoning system. Then an inductive learning mechanism is presented in the framework of the hypothesis-based reasoning. This learning mechanism enables multiple-concepts formation from given examples. The key technology of the mechanism is a minimum generalization extended to the knowledge including hypotheses. The whole system has been fully implemented as a meta-interpreter on Prolog.
