Formalizing creativity-related concepts has been a long-term goal of Computational Creativity. To the same end, we explore Formal Learning Theory in the context of creativity. We provide an introduction to the main concepts of this framework and a re-interpretation of terms commonly found in creativity discussions, proposing formal definitions for novelty and transformational creativity. This formalisation marks the beginning of a research branch we call Formal Creativity Theory, exploring how learning can be included as preparation for exploratory behaviour and how learning is a key part of transformational creative behaviour. By employing these definitions, we argue that, while novelty is neither necessary nor sufficient for transformational creativity in general, when using an inspiring set, rather than a sequence of experiences, an agent actually requires novelty for transformational creativity to occur.

翻译：形式化与创造力相关的概念一直是计算创造力的长期目标。为此，我们在创造力的背景下探索形式化学习理论。本文介绍了该框架的主要概念，并对创造力讨论中常见的术语进行了重新诠释，提出了新奇性和变革性创造力的形式化定义。这一形式化标志着我们称之为“形式化创造力理论”的研究分支的开端，探索如何将学习作为探索性行为的准备纳入其中，以及学习如何成为变革性创造性行为的关键组成部分。通过运用这些定义，我们指出，虽然新奇性总体上既不是变革性创造力的必要条件，也不是充分条件，但当使用一组启发性经验（而非一系列经历）时，智能体实际上需要新奇性才能实现变革性创造力。