Libri di Marcello Frixione

Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità Frixione Marcello  Palladino Dario   -  Carocci, 2004  -  Università

Nata nel corso degli anni Trenta del secolo scorso nel contesto delle ricerche sui fondamenti della matematica, con lo sviluppo dei calcolatori digitali la teoria della computabilità ha assunto il ruolo di disciplina fondamentale per l'informatica teorica. Attraverso di essa, la sua influenza culturale si è estesa ad ambiti quali l'intelligenza artificiale, le scienze cognitive, la linguistica. Questo volume vuole rendere accessibili, con un adeguato approfondimento, i principali risultati della teoria della computabilità ad un pubblico non specializzato.

Logica, significato e intelligenza artificiale Frixione Marcello   -  Franco Angeli, 1994  -  Epistemologia

Il libro tratta dei rapporti tra le teorie logico-formali del significato in filosofia del linguaggio e l'intelligenza artificiale di orientamento logico. Questi due settori si sono sviluppati lungo linee in parte parallele, seguendo però direzioni opposte: la semantica formale si è mossa verso l'intelligenza artificiale e l'intelligenza artificiale simbolica si è evoluta in direzione della logica. Ciò ha comportato una sinergia tra i due settori, ma ha anche posto problemi che vale la pena di mettere in luce. Scopo del libro è indagare alcuni aspetti delle relazioni che sussistono fra i due settori di ricerca, mostrando come il loro rapporto, lungi dall'essere circolare, sia fonte di promettenti sviluppi.