著者

ブンサーン キッスィリクン 沼尾 正行 志村 正道

出版者

社団法人人工知能学会

雑誌

人工知能学会誌 (ISSN:09128085)

巻号頁・発行日

vol.7, no.6, pp.1027-1037, 1992-11-01

被引用文献数

8

---

Learning systems find a concept based on positive and negative examples by using given terms, such as features and predicates. Most learning systems employ selective induction, and find a concept description composed of only predefined terms. However, if such terms are not appropriate, constructive induction or shift of bias are required to invent new terms. Although there has been increasing interest in systems which induce a first-order logic program from examples, there are few systems that perform constructive induction. FOCL invents new terms, i.e., new predicates, by combining existing subpredicates. Based on interaction with its user, CIGOL invents terms without any given subpredicate. This paper presents Discrimination-Based Constructive inductive learning (DBC) which invents a new predicate without any given subpredicate nor any user interaction. Triggered by failure of selective induction, DBC introduces a new predicate into a previously found incomplete clause. This is performed by searching for a minimal relevant variable set forming a new predicate that discriminates positive examples from negative ones. If necessary, DBC also recursively invents subpredicates for the definition. Experimental results show that, without interactive guidance, our system CHAMP can construct meaningful predicates on predefined ones or from scratch. Our approach is system independent and applicable to other selective learning systems such as FOIL.