A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures

In this paper we describe a reasoning framework for knowledge invention and creative problem solving that can integrate and extend the knowledge level mechanism of diverse cognitive architectures (CAs). This framework exploits an extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts. It works as follows: Given a goal expressed as a set of properties, in case an intelligent agent cannot find a concept in its knowledge base (KB) able to fulfill these properties, our framework is able to dynamically recombine, in a goal-oriented perspective, the concepts in the KB in order to find a suitable creative combination able to satisfy the goal. The KB of the agent is then extended via a mechanism of commonsense concept combination where the resulting combined concept represents the solution for the initial goal. Here we discuss how such framework is compliant with the general tenets of the Standard Model of Mind and can extend the knowledge level capabilities of diverse CAs.