---
title: "Definition Theory as Basis for a Creative Problem Solver"
authors:
  - "T. Gorgely"
  - "Hajnal Andréka"
  - "István Németi"
doi: ""
url: "https://ijcai.org/proceedings/1975/7"
pdf: "https://ijcai.org/proceedings/1975/0007.pdf"
venue: "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"
year: 1975
pages: "40-44"
track: "Mathematical and Theoretical Aspects of A.I"
keywords:
---

# Definition Theory as Basis for a Creative Problem Solver

T. Gorgely, Hajnal Andréka, István Németi

*Proceedings of the Fourth International Joint Conference on Artificial Intelligence*, 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.