You are here: Foswiki>Robotic Web>AutomaStatiFinitiDeterministico (28 Mar 2017, RobertoBernetti)Edit Attach

Articolo di Turing

First Previous Next Last Exit

Slide 2 of 20

Articolo di Turing (1) "Automatic machine"

Astrazione del Processo di calcolo di un numero reale (decimale)

First Previous Next Last Exit

Slide 3 of 20

Articolo di Turing (2) "Table representation"

La definizione di "Macchina" attraverso oggetti matematici:
- Tabelle
- Relazioni

First Previous Next Last Exit

Slide 4 of 20

Articolo di Turing (3) "Enumerable Machine"

creazione della relazione fra i numeri naturali ed ogni insieme di valori che una tabella può assumere

First Previous Next Last Exit

Slide 5 of 20

Articolo di Turing (4) "Universal Machine"

Una macchina che può comportarsi come "qualsiasi altra macchina"

First Previous Next Last Exit

Slide 6 of 20

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

First Previous Next Last Exit

Slide 7 of 20

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\} $

First Previous Next Last Exit

Slide 8 of 20

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)] $$

First Previous Next Last Exit

Slide 9 of 20

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

First Previous Next Last Exit

Slide 10 of 20

Una Macchina Complessa

First Previous Next Last Exit

Slide 11 of 20

Macchina del Ritardo

L'Output della macchina all'istante $ t $ è il suo stato all'istante $t+1$

First Previous Next Last Exit

Slide 12 of 20

La Macchina Espresso

Verificare il diagramma e trasformarlo nella versione "tabellare"

First Previous Next Last Exit

Slide 13 of 20

Classificazione (1)

*AQA Computing A2' by Kevin Bond and Sylvia Langfield, published by Nelson Thornes ISBN 978-0-7487-8296-3

First Previous Next Last Exit

Slide 14 of 20

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

First Previous Next Last Exit

Slide 15 of 20

Intelligenza artificiale

First Previous Next Last Exit

Slide 16 of 20

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

First Previous Next Last Exit

Slide 17 of 20

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à
- .......