Obiettivi

1. Sviluppare un nuovo modello formale di integrazione concettuale, computazionalmente fattibile, che sia sufficientemente preciso da cogliere le intuizioni fondamentali della teoria di Fauconnier e Turner e allo stesso tempo abbastanza generale da affrontare l'eterogeneità sintattica e semantica delle rappresentazioni della conoscenza.
2. Acquisire una comprensione più profonda dell'integrazione concettuale e del suo ruolo nella creatività computazionale collegando questo nuovo modello formale a modelli computazionali pertinenti e cognitivamente ispirati, come il ragionamento analogico e basato su casi, l'induzione, l'allineamento semantico e il ragionamento basato sulla coerenza.
3. Progettare un sistema di calcolo creativo basato su questo nuovo modello formale capace di invenzione "fortuita" e manipolazione di nuovi concetti astratti, migliorando così la creatività degli esseri umani quando questo sistema è applicato a particolari domini di applicazione per i quali l'integrazione concettuale è un processo centrale del pensiero creativo.
4. Validare il modello e la sua realizzazione computazionale in due casi di uso rappresentativi della creatività: la matematica e la musica.

Temi

• Rappresentazione della conoscenza e ragionamento
• ontologia applicata
• modellazione cognitiva

Tecnologie chiave

• Distributed Ontology Language (DOL)
• Heteregeneous ToolSet (HETS)
• ONTOhub
• Answer Set Programming

Applicazioni

• Creatività computazionale
• Robotica

Oliver Kutz è un ricercatore a tempo determinato presso la Facoltà di Scienze e Tecnologie Informatiche della Libera Università di Bolzano. Scopri di più su di lui consultando il suo sito web.