iv
RIASSUNTO
In questa tesi vengono proposte estensioni del linguaggio LAILA di coordinamento tra agenti logico/abduttivi, con particolare riguardo alle primitive di comunicazione e ai meccanismi di consistenza. Dopo aver fornito una conoscenza tecnica (minima) per affrontare l’argomento, vengono fornite sintassi e semantica in stile operazionale delle estensioni, mettendo in evidenza le differenze fondamentali con il linguaggio originale.
Vengono inoltre forniti esempi di applicazione, in campo medico e in campo legale, mettendo in luce la maggiore espressività del linguaggio.
ABSTRACT
The aim of this thesis is to describe a new language which is an extension of the language LAILA that is used by logic-based agents capable of abductive reasoning, by enabling them to express at a high level several ways to join and coordinate with one other.
The extensions concern the consistence check and the primitives of communication.
In the first chapter, we are going to present the technical background; in the second we are going to present the syntax rules and the semantic rules in operational style. In the third chapter we are going to show some possible applications of our work: application for the diagnosis of diseases (application to medical field) an applicatio n to legal field. Thanks to this applications, we will show how our language is more expressive than LAILA.