logo SBA

ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-03302005-174813


Thesis type
Tesi di laurea vecchio ordinamento
Author
Maggenti, Giada
email address
maggentigiada@libero.it
URN
etd-03302005-174813
Thesis title
Un linguaggio di coordinamento per agenti logici abduttivi
Department
SCIENZE MATEMATICHE, FISICHE E NATURALI
Course of study
INFORMATICA
Supervisors
relatore Bracciali, Andrea
relatore Prof. Mancarella, Paolo
Keywords
  • abduzione
  • sistema multiagente
  • agenti
  • LAILA
Graduation session start date
21/04/2005
Availability
Full
Summary
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.
File