La logica deontica ha origine dalla filosofia morale e dalla filosofia del diritto come tentativo di formalizzare il ragionamento normativo e giuridico. Questo libro si basa sull'esperienza di ricercatori - che lavorano in campi diversi come l'intelligenza artificiale, la linguistica, la specificazione dei sistemi informatici e il diritto - che hanno scoperto i vantaggi della logica deontica quando applicata alla risoluzione dei problemi dell'informatica e dell'intelligenza artificiale. Logica utile per specificare il comportamento del sistema normativo, la logica deontica ha un ampio spettro di possibili applicazioni nel campo: dai sistemi esperti legali all'elaborazione del linguaggio naturale, dall'integrità del database alla contrattazione elettronica e alla specifica di software tollerante ai guasti. Questo libro fornisce una valutazione unica e tempestiva del valore pratico della logica deontica per gli informatici nel campo dell'intelligenza artificiale e del diritto e, più in particolare, in aree come l'intelligenza artificiale distribuita e i sistemi informativi cooperativi intelligenti.
caricamento...