ETD

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

Tesi etd-03302005-174813

Tipo di tesi

Tesi di laurea vecchio ordinamento

URN

etd-03302005-174813

Titolo

Un linguaggio di coordinamento per agenti logici abduttivi

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

abduzione
agenti
LAILA
sistema multiagente

Data inizio appello

21/04/2005

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

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

Nome file	Dimensione
dedica.pdf	3.96 Kb
frontespizio.pdf	9.16 Kb
Indice.pdf	7.98 Kb
Riassunt...tract.pdf	5.38 Kb
ringraziamenti.pdf	3.32 Kb
tesi.pdf	272.63 Kb
Contatta l’autore