Formulazione di un modello di negoziazione semantica tra teorie logiche del primo ordine basato sulla teoria dei giochi

Capitolo 1 Introduzione Presentiamo in questa tesi un modello che formalizza il dialogo di negozi- azione tra due agenti. Con l’e-Commerce, l’interesse per l’automazione to- tale o parziale della negoziazione e` divenuto rapidamente oggetto di ricerca. In particolare, in letteratura si trovano vari studi di strategie ottimali per svariati giochi a somma zero in ambito economico dove si modellano com- portamenti negoziali, ad esempio il bargaining (due giocatori cercano il punto ottimale di partizione di una somma prefissata di denaro) o l’English auc- tion (un gruppo di giocatori cerca di attribuirsi un oggetto posto all’asta al miglior offerente con tempi prefissati tra un’offerta e l’offerta successiva - detta rialzo). Tali strategie sono spesso basate su principi di Intelligenza Artificiale (in particolare su tecniche di search in spazi di soluzioni) e sulla teoria dei giochi. I due giochi sopra definiti (bargaining ed English auction) sono anche i modelli base della corrente letteratura di ricerca nell’ambito dei giochi di negoziazione. Un approccio comune in letteratura e` quello di limitare le locuzioni degli agenti coinvolti in una negoziazione (cioe` le frasi pronunciate durante il gio- co) a offerte e contro-offerte, generate automaticamente in modo tale da aumentare il beneficio soggettivo per ciascun agente (talvolta in tali modelli si distingue operativamente tra vantaggio effettivo e percepito). Cercando di modellare il comportamento umano e rispettando le regole economiche di bargaining e di English auction, i protocolli di negoziazione definiti in letteratura, specificano la forma ed il contenuto dei messaggi scam- biati durante il dialogo. Tali protocolli definiscono anche il linguaggio con cui gli agenti interagiscono. Molti lavori modellano il concetto di agente, defininendolo come un processo continuo, costruito al suo interno in mo- do tale da saper ricevere, fornire ed elaborare informazioni sulla base della sua conoscenza sul mondo. Nella realta`, la negoziazione tra agenti umani, e` tipicamente piu` complessa e ricca di un semplice scambio di offerte e contro-