{"type":"ScholarlyArticle","title":"Steps Toward Automatic Theory Formation","authors":[{"name":"John Seely Brown","slug":"john-seely-brown","given":"John Seely","family":"Brown","affiliation":""}],"abstract":"This paper describes a theory formation system which can discover a partial axiomization of a data base represented as extensionally defined binary relations. The system first discovers all possible intensional definitions of each binary relation in terms of the others . It then determines a minimal set of these relations from which the others can be defined. It then attempts to discover all the ways the relations of this minimal set can interact with each other, thus generating a set of inference rules. Although the system was originally designed to explore automatic techniques for theory construction for question - answering systems, it is currently being expanded to function as a symbiotic system to help social scientists explore certain kinds of data bases.","doi":null,"url":"https://ijcai.org/proceedings/1973/16","pdf":"https://ijcai.org/proceedings/1973/0016.pdf","markdown":"https://ijcai.org/proceedings/1973/16.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/16","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving and Logic: 2","track":"Theorem Proving and Logic: 2","number":16,"pages":{"first":121,"last":128},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}