Definition Theory as Basis for a Creative Problem Solver
Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Mathematical and Theoretical Aspects of A.I. Pages 40-44.
Abstract
In this paper the application of some deep theorems of mathematical logic is shown in the field of artificial intelligence. I;amely, using some of the results of definition theory we give the mathematical base to systems for automatic designinc,. /SAD/. These systems are capable of solving constructive tasks of such kind that need some creativity from the psychological point of view. Above tasks contain the implicite description of the object to be contructed. i 1'irst of all that unit is investigated at SAD which provides an explicit definition to the circumscribed object.
@inproceedings{ijcai1975p7,
title = {Definition Theory as Basis for a Creative Problem Solver},
author = {Gorgely, T. and Andréka, Hajnal and Németi, István},
booktitle = {Proceedings of the Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-75}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Patrick Winston and Carl Hewitt},
pages = {40--44},
year = {1975},
note = {Mathematical and Theoretical Aspects of A.I},
url = {https://ijcai.org/proceedings/1975/7},
}
TY - CPAPER TI - Definition Theory as Basis for a Creative Problem Solver AU - Gorgely, T. AU - Andréka, Hajnal AU - Németi, István T2 - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75 PB - International Joint Conferences on Artificial Intelligence PY - 1975 SP - 40 EP - 44 UR - https://ijcai.org/proceedings/1975/7 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
