Therefore, it is worthwhile to chip pieces of the creativity problem and work on them separately. This talk chips a piece out of the problem of creativity by studying the notion of a creative solution to a problem apart from studying how a person or machine finds the solution. In particular we say that a solution to a problem is creative if it involves concepts not present in the statement of the problem and the general knowledge surrounding it. As a small step toward programs that find creative solutions, we consider how to express the idea of a solution concisely. The adequacy of an idea of a solution is relative to the background of the person or program that will complete the solution.
Conciseness isolates the idea from the background.
Those who attend the talk are invited to a reception immediately afterwards. Relations between approximate concepts and some of their refinements need to be represented. We use mathematical logic fortified with contexts as objects to represent facts involving approximate concepts. Further innovations in logic may be required to treat approximate concepts as flexibly in logic as people do in thought and language. A sentence involving an approximate concept may have a definite truth value even if the concept is ill-defined.