AUTOMATED GENERATION OF INTERESTING CONJECTURES

C. TURLE

IBP-Laforia 1996/22: Rapport de Recherche Laforia / Laforia research reports
6 pages - Octobre/October 1996 - Document en anglais.

PostScript : 62 Ko /Kb

Titre / Title: AUTOMATED GENERATION OF INTERESTING CONJECTURES

Résumé : Puisque nous ne pouvons pas donner à un système toute la connaissance du monde, les systèmes d'I.A. devront la découvrir. Ils devront aussi organiser cette connaissance afin de la rendre utile. Cette tâche n'est pas simple car ces systèmes peuvent produire trop de concepts inutiles qui à la fin les submergent. Une solution au problème de créer uniquement de bons concepts est de guider le système à l'aide de conjectures intéressantes. Malheureusement, le problème est juste déplacé puisque les nouveaux concepts auront aussi besoin de conjectures. Une meilleure solution est alors de donner au système la capacité de découvrir ces conjectures. Dans cette article, nous présentons une méthode générale qui génère des conjectures intéressantes. Cette méthode est basée sur les notions de représentation espace et de procédures générer-et-tester utilisant des connaissances sur les conjectures afin de contraindre la recherche. Nous présentons des résultats dans deux domaines: la théorie élémentaire des ensembles et une partie de la théorie des nombres. Ces résultats proviennent d'expériences réalisées avec SECTE qui est le successeur d'une nouvelle implémentation du système AM de Lenat(Lenat 82)

Abstract : Since we can't give a system all the knowledge of the world, A.I. systems will have to discover it. They will also have to organize this knowledge in order to make it useful. This task is not easy because these systems may produce too many useless concepts which at last overwhelm them. One solution to the problem of creating only good concepts is to guide the system with interesting conjectures. Unfortunately, the problem is just translated since the new concepts will also need conjectures. A better solution is then to enable the system to discover these conjectures. In this paper we present a general method that generates interesting conjectures. This method is based on the notions of space representation and generate-and-test procedure using knowledge on conjectures to constrain the search. We present results in two domains: the elementary set theory and a subset of the number theory. These results come from experiments realized with SECTE which is the successor of a new implementation of Lenat's AM system(Lenat 82).

Publications internes Laforia 1996 / Laforia research reports 1996