Le tecnologie degli agenti stanno assumendo un ruolo centrale non solo nel settore dell’intelligenza artificiale, ma anche in settori più tradizionali dell’informatica quali l’ingegneria del software e i linguaggi di programmazione, dove il concetto di agente viene considerato una naturale

, con semantica monotona su insiemi ordinati e i suoi teoremi semantici sono definiti come quelle formule che possono essere interpretate come vere e mai come false. 1 Introduzione Le logiche epistemiche e doxastiche, cio`e della conoscenza e della credenza, giocano un ruolo importante in intelligenza

Negli ultimi anni agenti e sistemi multiagente sono stati a lungo oggetto di studio (e lo sono tuttora) in centri di ricerca accademici e non per via dei contributi ai settori dell’ingegneria del software e dell’intelligenza artificiale. Diverse piattaforme e linguaggi di comunicazione sono stati

Nell’ampia disciplina dell’ingegneria della conoscenza è possibile identificare una im-portante sfida che impegna specialisti e ricercatori di differenti settori quali data mining, intelligenza artificiale, basi di dati, information management: essa consiste nell’attività di combinare in maniera

linguistica, agli studi sull'intelligenza artificiale. In ambito linguistico questo concetto sta alla base della script theory (Schank / Abelson 1977), che studia i meccanismi di produzione di senso tramite l'articolarsi di possibilità semantiche attivate da elementi di natura lessematica. Questa