Computational Logic in Multi-Agent Systems

Il libro "Computational Logic in Multi-Agent Systems" offre un'analisi approfondita del ruolo dei concetti logici nei sistemi multi-agente. Questi sistemi sono composti da più agenti in grado di percepire e reagire al loro ambiente, nonché di perseguire obiettivi individuali o comuni. Gli autori, Michael Fisher, Fariba Sadri e Michael Thielscher, mettono in luce l'integrazione di tecnologie e concetti provenienti dall'intelligenza artificiale e da altri settori dell'informatica. L'opera evidenzia l'importanza dei paradigmi basati su agenti, che trovano applicazione in vari ambiti come i motori di ricerca, l'e-commerce e i sistemi di raccomandazione. Attraverso l'uso della logica computazionale, viene creato un quadro chiaro e rigoroso per esaminare la sintassi, la semantica e le procedure relative alle capacità e alle funzioni degli agenti, nonché alle loro interazioni. Questo consente un'analisi e un'implementazione informate dei sistemi multi-agente.