{"type":"ScholarlyArticle","title":"Definition Theory as Basis for a Creative Problem Solver","authors":[{"name":"T. Gorgely","slug":"t-gorgely","given":"T.","family":"Gorgely","affiliation":""},{"name":"Hajnal Andréka","slug":"hajnal-andreka","given":"Hajnal","family":"Andréka","affiliation":""},{"name":"István Németi","slug":"istvan-nemeti","given":"István","family":"Németi","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1975/7","pdf":"https://ijcai.org/proceedings/1975/0007.pdf","markdown":"https://ijcai.org/proceedings/1975/7.md","bibtex":"https://ijcai.org/proceedings/1975/bibtex/7","volume":{"slug":"1975","title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1975","url":"https://ijcai.org/proceedings/1975/","year":1975,"location":"Tbilisi, Georgia, USSR","dates":"","editors":"Patrick Winston and Carl Hewitt","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Mathematical and Theoretical Aspects of A.I","track":"Mathematical and Theoretical Aspects of A.I","number":7,"pages":{"first":40,"last":44},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}