LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] dei quantificatori) in un insieme di clausole.
Il metodo di risoluzione è un metodo che permette di stabilire se una clausola è una conseguenza di un insieme di clausole.
Esso si basa sulla regoladiinferenzadi risoluzione che è definita nel modo ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] la proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
INTELLIGENZA ARTIFICIALE
Marco Somalvico
L'i.a. è una moderna disciplina sorta nell'ambito della scienza dei calcolatori e dell'informatica che negli anni recenti, specialmente per merito dell'avvento [...] le migliori prestazioni fornite dal sistema stesso.
Ebbene, diregola, quello vincente tra i modelli possibili non è stato quella di ''critica'' e consiste nella capacità di rivedere e di modificare un precedente ''ciclo'' di abduzione, inferenza ( ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] semplice regoladi aggiornamento per modificare le forze di connessione fra i neuroni possa dare luogo a processi di apprendimento tipo di elaborazione dell'informazione è quella di 'inferenza sulla conoscenza' (e allora si parla di elaboratore ...
Leggi Tutto
SISTEMI ESPERTI
I s.e. sono programmi per calcolatore che cercano di riprodurre le prestazioni di esperti umani nella risoluzione di problemi. Essi rappresentano il più conosciuto risultato pratico della [...] , ottenuto componendo opportunamente il ''fattore di certezza'' delle regole d'inferenza impiegate, cioè il livello di fiducia indicato per esse dagli esperti che le hanno formulate. mycin si basa su regoledi produzione. Esso raggruppa le ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza delle logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] genetica di J. Piaget) di quelle regole e procedure formali o sintattiche codificate dalla logica classica -, quanto piuttosto sulla costruzione di modelli provvisti di contenuto semantico. Così, il primo passo per l'inferenza sillogistica ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...