Books of Frixione Marcello
Come ragioniamo
by Marcello Frixione
publisher: Laterza
pages: 176
Ogni volta che ci applichiamo a comprendere una storia, ragioniamo
Introduzione alle logiche modali
publisher: Laterza
pages: 206
Le logiche modali costituiscono un'estensione della logica classica. Vengono impiegate per studiare gli enunciati e le inferenze in cui compaiono espressioni quali 'è necessario che' e 'è possibile che', dette appunto operatori modali. A partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, questo libro offre un'introduzione chiara e completa alla disciplina.
La computabilità, algoritmi, logica, calcolatori
publisher: Carocci
pages: 142
La teoria della computabilità è un settore della ricerca logico-matematica che studia la nozione di calcolo effettuabile in mo
Come ragioniamo
by Frixione Marcello
publisher: Laterza
pages: VI-167
Dal ragionamento deduttivo, tradizionale oggetto di studio della logica, a tipi di inferenza come il ragionamento induttivo, q
Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
publisher: Carocci
pages: 432
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
by Marcello Frixione
publisher: Franco Angeli
pages: 336
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.