UN LINGUAGGIO DI COORDINAMENTO PER AGENTI LOGICI ABDUTTIVI

[Total: 0    Average: 0/5]

In questa tesi si propongono estensioni del linguaggio LAILA di coordinamento tra agenti logico/abduttivi, con particolare riguardo alle primitive di comunicazione e ai meccanismi di consistenza. Delle estensioni verranno fornite sintassi e semantica in stile operazionale. Verranno inoltre forniti due esempi di applicazione, uno in campo medico e l'altro in campo legale, mettendo in luce la maggiore espressività del nuovo linguaggio.