Il campo dei sistemi ad agenti e multi-agente sta vivendo un'enorme crescita. Allo stesso tempo il campo dei metodi formali sta fiorendo e ha dimostrato la sua importanza nelle applicazioni industriali e governative. I workshop FAABS (Approcci formali ai sistemi basati su agenti), unendo le preoccupazioni dei due campi, hanno fornito una piattaforma tempestiva e convincente su cui discutere le crescenti preoccupazioni e la richiesta degli utenti dei sistemi basati su agenti che i sistemi debbano essere accompagnati da garanzie comportamentali. Questo libro è nato dalla straordinaria risposta al FAABS '00, '02 e '04 e tutti i capitoli sono aggiornati o rappresentano nuove ricerche e sono progettati per fornire un trattamento più approfondito dell'argomento. Sono inclusi esempi di come altri hanno applicato metodi formali a sistemi basati su agenti, oltre a strumenti e tecniche di metodi formali che i lettori possono applicare ai propri sistemi. La tecnologia degli agenti da una prospettiva formale fornisce una visione approfondita e preziosa delle questioni chiave relative alla tecnologia degli agenti da una prospettiva formale, sia per i ricercatori che per i professionisti. Questo è un campo interdisciplinare relativamente nuovo e c'è un enorme spazio per un'ulteriore crescita. Il libro non solo crea una base iniziale, ma ne evidenzia le lacune; indicando i problemi aperti che dovranno essere affrontati dai futuri ricercatori, studenti e professionisti.
caricamento...
