Steps Toward Automatic Theory Formation
Proceedings of the Third International Joint Conference on Artificial Intelligence. Theorem Proving and Logic: 2. Pages 121-128.
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.
@inproceedings{ijcai1973p16,
title = {Steps Toward Automatic Theory Formation},
author = {Brown, John Seely},
booktitle = {Proceedings of the Third International Joint Conference on
Artificial Intelligence, {IJCAI-73}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Nils J. Nilsson},
pages = {121--128},
year = {1973},
month = {8},
note = {Theorem Proving and Logic: 2},
url = {https://ijcai.org/proceedings/1973/16},
}
TY - CPAPER TI - Steps Toward Automatic Theory Formation AU - Brown, John Seely T2 - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73 PB - International Joint Conferences on Artificial Intelligence PY - 1973 SP - 121 EP - 128 UR - https://ijcai.org/proceedings/1973/16 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
