Logica, Informazione, Automazione

Il volume ha l’obiettivo di introdurre il lettore al quadro teorico che caratterizza lo sviluppo delle ricerche sull’automazione nel XX’ secolo, ed il loro collegamento con la logica, fornendo, seppure in modo essenziale, i necessari riferimenti storici e richiami agli autori più rappresentativi. La prima parte è dedicata alla logica ed ai fondamentali concetti quali inferenza, dimostrazione e dualità. In questo quadro vengono mostrate le relazioni tra i principali connettivi verofunzionali e gli operatori impiegati dall’informatica. Una seconda sezione è dedicata al problema delle ontologie, la categorizzazione e la rappresentazione delle conoscenze, con riferimento ai principali modelli teorici. La seconda parte del volume è dedicata alla relazione tra informazione e automazione, partendo dalla analisi simbolica delle informazioni per soffermarsi su algoritmi e diagrammi di flusso. Viene quindi considerato il problema della automazione, con cenni sulla nascita della cibernetica, i suoi principi teorici, la questione dell’Intelligenza Artificiale. La parte conclusiva è dedicata a macchine e automi, con particolare riferimento a macchine di Turing e computabilità, gli esperimenti mentali di Turing e Searle, la relazione tra automi, linguaggi e grammatiche.