Smart Knowledge: Enhancing Argumentation and Abstraction for Explanation and Analysis

Questo progetto si concentra sul progresso di metodologie e strumenti, sottolineando argomentazione, astrazione della conoscenza e ragionamento automatizzato. Attività includere lo sviluppo di linguaggi concorrenti, metodologie modello per spiegare l'apprendimento automatico e i quadri per l'analisi dell'energia consumo. I risultati attesi sono prove di concetto, scientifiche documenti e strumenti innovativi. Il progetto mira a colmare le lacune attuali ricerca, contribuendo sia alla conoscenza teorica che a quella pratica applicazioni.