Start presentation
Slide 1: Indice
Slide 2: Articolo di Turing
Slide 3: Articolo di Turing (1) "Automatic machine"
- Astrazione del Processo di calcolo di un numero reale (decimale)
Slide 4: Articolo di Turing (2) "Table representation"
- La definizione di "Macchina" attraverso oggetti matematici:
Slide 5: Articolo di Turing (3) "Enumerable Machine"
- creazione della relazione fra i numeri naturali ed ogni insieme di valori che una tabella può assumere
Slide 6: Articolo di Turing (4) "Universal Machine"
- Una macchina che può comportarsi come "qualsiasi altra macchina"
Slide 7: Automa a Stati Finiti
- Condizione Iniziale
- uno Stimolo (Input)
- uno Stato Interno
- Un Alfabeto per descrivere Stati ed Input
- Produce dopo un' unità di tempo
- un Nuovo Stato della Macchina
- un Output
Slide 8: Il Linguaggio
- i 4 elementi che costituiscono l'Automa
- input
- stato interno
- output
- l'alfabeto
- input stato interno ed output sono rappresentati da una da sequenze dei caratteri dell'alfabeto
- due stringhe (input)
- input
- stato della macchina
- due stringhe
- output
- nuovo stato della macchina
- Nel moderni computer l'alfabeto è costituito dai seguenti caratteri \( \{ 0, 1\} \)
-
Slide 9: Rappresentazione tabellare
- \( \mathrm{G} \) descrive i "cambiamenti di stato" della macchina in funzione delle due stringhe di input
- \( \mathrm{F} \) descrive l'output della macchina in funzione delle due stringhe di input
- \( \mathrm{S}(t) \) input
- \( \mathrm{Q}(t) \) stato della macchina;
- l'output è costiutito da due stringhe
$$ R(t+1) = \mathrm{F}[S(t),Q(t)] $$
$$ R(t+1) = \mathrm{G}[S(t),Q(t)] $$
Slide 10: Rappresentazione grafica
- ogni "isola" corrisonde ad un possibile stato della "macchina"
- la lettera alla base della "rotta" corrisponde ad un possibile "input"
- la lettera nella mezzeria della rotta l'output
- la rotta collega all'isola che rappresemta lo stato di output
Slide 11: Una Macchina Complessa
Slide 12: Macchina del Ritardo
- L'Output della macchina all'istante \( t \) è il suo stato all'istante \(t+1\)
Slide 13: La Macchina Espresso
- Verificare il diagramma e trasformarlo nella versione "tabellare"
Slide 14: Classificazione (1)
*AQA Computing A2' by Kevin Bond and Sylvia Langfield, published by Nelson Thornes ISBN 978-0-7487-8296-3
Slide 15: Classificazione (2)
- Mealy Machine Produce una lista di simboli in output in corrispondenza di una lista di simboli in input Transducer
- Moore Machine (Classifier) produce un output associato allo stato della macchina Classifier , Acceptor
Slide 16: Intelligenza artificiale
Slide 17: Intelligenza artificiale (1)
- State of Mind (combinazione dei simboli che possono essere assunti dalle celle di memoria)
- Definizione in termini "esclusivi di Osservazione esterna" del termine "pensare"
Slide 18: Intelligenza artificiale (2)
- Rprodurre "procedure e giudizio di un umano esperto"
- Un automa che è in grado di "imitare il coomportamento umano" dal punto di vista esterno per poter ingannare un interlocutore
- giocare a scacchi
- guidare un'auto
- trovare la strada piu' breve per una località
- .......
Slide 19: Bibliografia
Programming Concept in Python
AQA Computing A2' by Kevin Bond and Sylvia Langfield, p ublished by Nelson Thornes ISBN 978-0-7487-8296-3
Slide 20: Fine
--
RobertoBernetti - 01 Mar 2016