logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-03302005-174813


Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
Maggenti, Giada
Indirizzo email
maggentigiada@libero.it
URN
etd-03302005-174813
Titolo
Un linguaggio di coordinamento per agenti logici abduttivi
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
relatore Bracciali, Andrea
relatore Prof. Mancarella, Paolo
Parole chiave
  • abduzione
  • sistema multiagente
  • agenti
  • LAILA
Data inizio appello
21/04/2005
Consultabilità
Completa
Riassunto
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