Definition Theory as Basis for a Creative Problem Solver
Abstract
In this paper the application of some deep theorems of mathematical logic is shown in the field of artificial intelligence. Namely, using some of the results of definition theory we give the mathema - tical base to systems for automatic designing. /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 imtlicite description of the object to be contructed. First of all that unit is investigated at SAD which provides an explicit definition to the circumscribed object.
Cite
Text
Gorgely et al. "Definition Theory as Basis for a Creative Problem Solver." International Joint Conference on Artificial Intelligence, 1975.Markdown
[Gorgely et al. "Definition Theory as Basis for a Creative Problem Solver." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/gorgely1975ijcai-definition/)BibTeX
@inproceedings{gorgely1975ijcai-definition,
title = {{Definition Theory as Basis for a Creative Problem Solver}},
author = {Gorgely, T. and Andréka, Hajnal and Németi, István},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1975},
pages = {40-45},
url = {https://mlanthology.org/ijcai/1975/gorgely1975ijcai-definition/}
}