Research on Discovery and Creative Process Modelling in Logic

点击翻译按钮获取中文摘要

We built a new framework for reducing higher order concept learning problem into the problem of a new predicate introduction.Particularly, we showed that we can achieve the higher order concept learning in the framework of first order concept learning by giving the definition of a new predicate corresponding to the higher order predicate as a background knowledge of PROGOL.Furthermore, we proposed a general framework of utilizing database as a source of input to PROGOL by semi-automatically generating positive examples, negative examples, background knowledge, mode declaration and type information. We built an experimental system called DB-Amp to achieve data mining in database based on the framework.We developed a knowledge base for an e-mail classification system which outomatically classifies e-mails concerning to equipment malfunction consultation in a real business environment by using DB-Amp. We gave keyword thesaurus as background knowledge DB-Amp and succeeded in sutomatically extracting e-mail classification rules.We also made an attempt to parallelize PROGOL to increase efficiency of inductive logic programming and built an experimental system in Prolog. Especially, we showed that we could make the program very simple by adopting a parallel theorem prover MGTP (Model Generation Theorem Prover) in the algorithm