Progetto di ricerca: "Teoria dell'invenzione concettuale (COINVENT)"

Elemento seguente 

Finalità

L'obiettivo principale di questo progetto è di sviluppare un modello formale e computazionale di invenzione concettuale, e ispirato alla cognitività, basandosi sulla teoria di integrazione concettuale di Fauconnier e Turner e su una solida teoria matematica dei concetti.

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

Contatto

Oliver Kutz ( ,   sito web)

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.

Categoria

Architettura del computer

Tipo di elemento

Progetto di ricerca

Feedback/Richiesta info