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:
  • Tabelle
  • Relazioni

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)
    1. input
    2. stato della macchina
  • due stringhe
    1. output
    2. 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
  1. $\mathrm{S}(t)$ input
  2. $\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

• Isole e linee

• 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)

1. Mealy Machine Produce una lista di simboli in output in corrispondenza di una lista di simboli in input Transducer
2. 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"
  • Essenza del processo di misura
  • evitare discussioni su "pensiero", "coscienza", "mente"
  • La preveggenza di Turing
    • Obiezione Teologica
    • Coscienza

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