FireTeam

Primi sviluppi dell’Intelligenza Artificiale

saverio — Tue, 19 Jan 2010 14:25:20 +0000

E’ difficile dare una definizione di Intelligenza Artificiale (IA) in quando essa è vista sia dal punto di vista ingegneristico (che punta a costruire macchine intelligenti per assistere l’uomo), sia dal punto di vista psicologico (che punta a riprodurre nelle macchine le caratteristiche dell’attività cognitiva umana).

Seppur con idee diverse, i pionieri dell’IA (McCarthy, Minsky, Rochesterm, e Shannon) videro nel calcolatore digitale uno strumento con capacità di elaborazione ineguagliate, quindi uno strumento adatto al confronto con alcuni aspetti della mente umana.
Si cominciarono a sviluppare i primi programmi relativi ad ambiti ben delimitati in cui c’erano solo regole esplicite per l’elaborazione simbolica e poca conoscenza specializzata. Motivo di questo inizio era la scarsa capacità di memoria e di calcolo dei calcolatori di quei tempi.
Successivamente si parte con lo sviluppo di sistemi esperti, dove la conoscenza specializzata nel campo ci porta ad avere buone prestazioni.

La diffusione di queste tecniche di IA ci conferma il successo dal punto di vista ingegneristico, ma cosa possiamo dire dal punto di vista psicologico?
Cosa implica la costruzione di macchine che riproducono caratteristiche essenziali dell’attività umana? Dove si colloca l’IA nell’ambito delle ricerche sul sistema cervello-mente che coinvolgono le neuroscienze e la psicologia?

Turing e la Macchina di Turing Universale

Abbinando le MdT (Macchine di Turing) alle codifiche di Godel, nasce un modo di codificare le MdT. Si ha inoltre un procedimento effettivo per la codifica e la decodifica.
Dalle MdT codificate, Turing arriva alla macchina universale, che è una particolare MdT che, accettando in input la descrizione di una qualsiasi MdT, riesce a comportarsi come essa.

Dalla MdT Universale nasce la nozione di Macchina Programmabile.
Da questa considerzione ci si chiese se le macchine possano essere intelligenti. Su questo Turing scrive l’articolo “Macchine calcolatrici e intelligenza”.

Macchine calcolatrici e intelligenza

Turing considera la domanda: “Possono pensare le macchine?“. In questa domanda i termini macchina e pensare non sono di facile definizione.

Possiamo definire la parola macchina possiamo imporre che la macchina sia composta da tre parti: memoria, unità operativa, e governo; dove la memoria è un deposito di informazioni, l’unità operativa è la parte atta ad eseguire operazioni, ed il governo coordina l’unità operativa e la memoria.
Quindi scendendo più in dettaglio riusciamo a definire cos’è una macchina.

Cosa possiamo invece definire la parola pensare? Turing non riesce a farlo.
Per questo pensa di riformulare la domanda “Possono pensare le macchine?” con un’altra. Riformula il problema in termini di un gioco dove si trovano tre persona A (un uomo), B (una donna), e C (un’interrogante). C è isolato in una stanza, e può comunicare con A e B mediante messaggi di tipo linguistico.
Lo scopo di C, che parla con due individui, è di capire chi è la donna e chi è l’uomo. B (che è la donna) ha il compito di aiutare l’interrogante C, mentre lo scopo di A (l’uomo) è quello di ingannarlo.
La domanda riformulata è: “Che cosa accadrà se una macchina prende il posto di A nel gioco? La frequenza delle risposte errate da parte di C sarà la stessa di quando il gioco si svolge tra uomini?“.

Chiamiamo questo Test di Turing.

Test di Turing e Intelligenza

Superare il test di Turing, non è una condizione né necessaria, né sufficiente per stabilire se un individuo o una macchina è intelligente.

Condizione Necessaria: se un essere è intelligente deve necessariamente superare il Test di Turing. Ma ci sono situazioni, come quelle delle persone nello stato locked-in (ad esempio il famoso caso di Piergiorgio Welby), in cui l’individuo non è in grado di superare il test, ma comunque non possiamo dire che tale individuo non è intelligente.
Condizione Sufficiente: supponiamo una macchina con un programma complicatissimo, che è fatta apposta per superare il Test di Turing. Questa macchina sa solo superare questo test e basta: possiamo definirela intelligente?

Quindi il superamento del Test di Turing da parte di una macchina non è né condizione necessaria, né condizione sufficiente per affermare che la macchina stressa sia intelligente.

Osservazioni all’articolo

Prima Osservazione: Funzionalismo

Notiamo che in questo gioco la macchina da risposte di tipo linguistico; infatti Turing divide nettamente le capacità fisiche di un essere umano, dalle capacità intellettuali (o mentali). Questo non è vero nell’eccezione Darwiniana in cui le capacità mentali di un essere vivente sono di fondamentale importanza per coordinare le capacità motorie, e permettono così di sopravvivere.
Essendo la mente umana composta da materiali diversi da quelli con i quali è costruita una macchina, Turing adotta il funzionalismo, ossia paragona il funzionamento degli oggetti anche se costruiti in modo diverso.

Seconda Osservazione: La mente funziona a stati discreti

I calcolatori digitali sono indubbiamente delle macchine a stati discreti. Ovvero si muovono a scatti improvvisi ben distinguibili l’uno dall’altro.
Anche se in realtà in natura niente è discreto; se indaghiamo un calcolatore digitale funziona anch’esso in modo continuo. Ma consideriamolo una macchina a stati discreti.
Ci conviene discretizzare la mente paragonandola ad un calcolatore digitale?

Terza Osservazione: I calcolatori digitali non sono caotici

Dato un input in ingresso ad una macchina riusciamo a predire tutti i suoi stati, ed il suo output, in modo esatto. Nel mondo invece vige la teoria del caos, nella quale piccole variazioni nelle condizioni iniziali producono grandi variazioni nel comportamento a lungo termine di un sistema. Ad esempio il battito d’ali di una farfalla può essere la causa di un uragano dall’altra parte del mondo.

Obiezioni Contrarie all’argomento principale dell’articolo

Obiezione Teologica: “Solo Dio ha il potere di creare esseri pensanti”.
Questa obiezione pone serie restrizioni alla provvidenza divina: chi ci dice che Dio non ci abbia dato il potere di creare macchine pensanti?

Obiezione della Testa nella Sabbia: Questa è l’obiezione di chi ha paura delle macchine pensanti. A queste persone piace sentirsi superiori di ogni altra cosa, e si sentono minacciati da questo tentativo di creare macchine pensanti.

Obiezione Matematica: I teoremi di incompletezza di Godel, ed altri risultati ad esso annessi, dimostrano che le macchine non possono conoscere tutte le verità. Quindi esistono dei limiti, e si sostiene che la mente umana non abbia questi limiti.
Ma non è giusto condannare così i calcolatori; diamo risposte errate anche noi. Inoltre ci possono essere uomini più abili di una macchina, ma possono essere costruite altre macchine più abili di questi uomini. Quindi non ci possono essere uomini più abili di tutte le macchine.

Obiezione dell’Autocoscienza: Possiamo dividere la coscienza in “essere consapevole del proprio stato”, ed “essere consapevoli di provare”. Possiamo costruire macchine con medoti di Machine Learning che sono consapevoli del proprio stato, ma non ancora riusciamo ad immaginare macchine che sappiano provare dei sentimenti.

Obiezioni basate su incapacità varie: ad esempio una macchina è capace di gustare le fragole con la panna.
Queste obiezioni nascono dal fatto che vogliamo far assomigliare le macchine agli essere umani. Ma, non essendo le macchine degli essere umani, è difficile avere un rapporto di amicizia tra un uomo ed una macchina.

Obiezione di Lady Lovelace: “La macchina può eseguire solo quello che gli diciamo di fare!”. Questa obiezione è vecchia e risale ai tempi della macchina universale di Babbage.
Con i moderni metodi di Machine Learning possiamo avere delle macchine che riescono ad apprendere, anche se sono formate da un nucleo di base non modificabile. Quindi anche essendo una macchina deterministica, possiamo avere macchine che modificano il proprio comportamento man mano che apprendono nuove regole.

Obiezione fondata sulla continuità del sistema nervoso: Ancora una volta ci rifacciamo al concetto di funzionalismo, secondo il quale cerchiamo di ottenere solo un comportamento intelligente, e non pretendiamo che internamente le cose funzionino allo stesso modo.

Possono le macchine pensare?

Dopo l’articolo di Turing partono gli studi per costruire macchine in grado di competere con l’uomo in ambiti intellettuali. Ma quel’è la strada migliore per iniziare a costruire queste macchine?

L’IA comincia a sviluppare programmi per calcolatori digitali capaci di svolgere attività molto astratte, come giocare a scacchi.
La robotica invece inizia mettendo in risalto il comportamento intelligente degli esseri viventi, e comincia a costruire dispositivi meccanici che si comportano in modo intelligente.

Parallelamente a queste due nasce anche la branca della Machine Learning, un’intuizione geniale da parte di Turing.

La cibernetica prima dei calcolatori digitali

La cibernetica nasce con i sistemi a retroazione. La differenza con il punto di vista di Turing, è che questa volta il comportamento intelligente è visto come un comportamento flessibile-adattativo all’ambiente: c’è un tentativo di collegare questi sistemi a retroazione ai sistemi biologici, con un conseguente collegamento alla scienza molto più forte.
Da un altro punto di vista notiamo che i cibernetici partono dal basso, costruendo prima sistemi molto semplici, mentre Turing punta a riprodurre l’attività mentale umana con un macchina… un compito arduo.

Un primo esempio di sistema a retroazione è la valvola di sfiato della caldaia di una locomotiva a vapore; il suo compito era quello di tenere la pressione costante all’interno della caldaia, in modo da mantenere costante la velocità del treno. Quindi quando la pressione era troppo alta, la valvola faceva uscire del vapore per farla diminuire.
Questo primo meccanismo di sistema a retroazione puntava a correggere l’errore, in un ciclo di questo tipo:

Osservare l’output del sistema
Misurare l’errore
Apportare le modifiche atte a correggere l’errore

Questi meccanismi hanno delle caratteristiche in comune con i sistemi biologici: ad esempio il corpo umano ha un meccanismo simile per controllare la temperatura corporea (la sudorazione).
Rosenblueth, Wiener, e Bigelow, nel loro articolo “Coportamento, Scopo, e Teleologia” affermano che i metodi di studio sia per gli organismi viventi, sia per le macchine, sono simili in quanto non sono state trovare delle caratteristiche qualitativamente diverse che caratterizzano un gruppo e non l’altro.

Possiamo dividere le cause dei mutamenti della natura in quelli provocati da:
- cause efficienti: è l’agente che determina operativamente il mutamento
- cause finali: è l’intenzione di qualche essere vivente a raggiungere un certo scopo

I cibernetici puntano a descrivere il comportamento intelligente usando solo le cause efficienti, in quanto le cause finali sono caratteristiche dei sistemi biologici.
Come esempio possiamo considerare il comportamento della falena che è stato descritto da uno studioso americano con sole cause efficienti.

Comportamento, Scopo, e Teleologia

Il comportamento intelligente può essere diviso in due grosse classi: il comportamento rivolto ad uno scopo (finalizzato), e il comportamento non rivolto ad uno scopo (causale).

Noi ci interessiamo al comportamento rivolto ad uno scopo. Ma cos’è uno scopo? Abbiamo un tentativo riduzionista, che riduce lo scopo ad un oggetto, e il suo raggiungimento è uno spostamento spazio/temporale dell’oggetto stesso.
Su questa visione di vedere uno scopo si inseriscono i critici obiettando il fatto che non sempre lo scopo è un oggetto.

Il comportamento rivolto ad uno scopo può essere diviso a sua volta in comportamento rivolto ad uno scopo con retroazione (o teleologico) o senza retroazione (non teleologico).
Il comportamento rivolto ad uno scopo senza retroazione raggruppa tutti quei casi in cui il movimento è talmente veloce in cui è impensabile che ci sia del tempo utile a modificare il movimento mentre lo si sta facendo. Ad esempio, il comportamento di una rana mentre colpisce una mosca per mangiarsela, è senza retroazione.

Ci interesseremo al comportamento rivolto ad uno scopo con retroazione, nel quale l’azione che si sta svolgendo è modificabile mentre la si sta facendo. Questo tipo di comportamento è più efficace del comportamento senza retroazione, specialmente quando lo scopo è un oggetto fermo.

Il comportamento rivolto ad uno scopo con retroazione può essere ulteriormente diviso in comportamento rivolto ad uno scopo con retroazione non predittivo o non estrapolativo (la falena che cammina verso la luce) e predittivo o estrapolativo (il gatto che balza per catturare un topo nella posizione in cui il topo dovrebbe stare dopo il balzo, quindi il gatto è capace di estrapolare la posizione del topo in un istante di tempo futuro).

Intelligenza e Comportamento rivolto ad uno scopo

Nell’articolo “Coportamento, Scopo, e Teleologia” non sono state individuate le condizioni necessarie e sufficienti per affermare che un agente ha il comportamento intelligente per raggiungere uno scopo. Questo perché il tentativo riduzionista per la descrizione di cosa si intende per scopo ci vincola troppo.

Condizione Necessaria: Supponiamo ci sia un cavaliere alla ricerca del Santo Graal. Se il Santo Graal non esiste, come descriviamo lo scopo di questo cavaliere se imponiamo che lo scopo sia un oggetto?
Condizione Sufficiente: Supponiamo una persona si sveglia all’improvviso durante la notte, e spara un colpo di pistola allo specchio. Come descriviamo lo scopo di questo signore? Il suo intento non era sparare nello specchio, ma l’ha fatto per motivi che non conosciamo.

Quindi la definizione di Scopo come una relazione spazio/temporale relativa ad un oggetto è troppo restrittiva per descrivere il comportamento intelligente rivolto ad uno scopo.

Il ruolo dei Modelli nella Scienza

La cibernetica lavora con i modelli. Obiettivo della scienza è ottenere la comprensione ed il controllo di una qualche parte dell’universo. Ad esempio la lancetta del barometro che si abbassa ha come causa (comprensione) l’abbassamento della pressione; ed anche, la cura per una malattia (controllo) mediante antibiotici.

Ma nessuna parte dell’universo si lascia afferrare senza un minimo di astrazione. I modelli ci aiutano proprio a questo: un modello formale (o intellettuale) rappresenta con astrazione un sistema studiato (cioè la parte dell’universo che stiamo studiando).

Possiamo dividere i modelli in:

Modello materiale: rappresentazione del sistema studiato ottenuto mediante un altro sistema, di solito più semplice, ma con proprietà simili al sistema studiato.
Modello Formale: rappresenta in termini logici il sistema studiato in maniera semplice, con proprietà simili.

I modelli materiali sono utili quando:
- Vogliamo studiare un sistema di un campo inconsueto (sistema studiato), in un campo più familiare (modello meccanico)
- Il modello materiale permette di svolgere esperimenti in condizioni più favorevoli rispetto a quelle date dal sistema studiato. Ad esempio ci conviene sperimentare nuovi farmaci prima sui topi, e poi sugli umani. Ma su quale base diciamo che un topo è un modello materiale dell’umano? Lo diciamo secondo alcuni criteri di “somiglianza” rispetto al modello originale.

I modelli non sono utili quando:
- Se il modello formale non rispecchia bene il sistema studiato, anche il modello materiale sarà poco significativo.
- Se il modello materiale suggerisce esperimenti predittibili dal modello formale, allora esso è superfluo.

Possiamo dividere i problemi in quelli a scatola chiusa e quelli a scatola aperta.
Nei problemi a scatola chiusa conosciamo solo alcuni input e possiamo verificare gli output, ma non sappiamo cosa avviene dentro la scatola. La legge di trasformazione è quella legge che mette in relazione l’input con l’output. Per scoprire cosa c’è nella scatola possiamo provare ad aprirla ed individuare altri input e/o altri output in modo da svolgere studi più approfonditi. Man mano che apriamo tutte le scatole trovate durante lo studio, abbiamo un problema a scatola aperta.
Nell’aprire le scatole, e quindi nell’aggiungere dettagli alla nostra descrizione, facciamo un’ipotesi di modularità, ipotizzando che gli input individuati siano debolmente accoppiati con gli altri elementi della scatola. Bisogna stare attenti quando si studiano questi problemi a scendere nel dettaglio fino ad un livello per noi soddisfacente, in modo da avere una buona descrizione del problema senza complicarlo in modo eccessivo.

“Computer Simulation of Human Thinking” – Newell & Simon

Abbiamo discusso gli sviluppi della prima Cibernetica. Adesso ci spostiamo sul ramo della prima IA, ed esaminiamo il lavoro di Newell & Simon.

Newell & Simon, due neuroscienziati che studiavano la mente, avevano lo scopo di cercare dei modelli del mentale, ossia dei modelli che rappresentassero l’attività cognitiva umana.
Quindi volevano costruire dei programmi che simulassero i compiti cognitivi umani in modo psicologicamente realistico.

Per fare ciò si costruirono delle Microteorie. Ogni microteoria era relativa ad un particolare categoria di compiti cognitivi, ad esempio giocare a dama: essi chiedevano alla persona sotto esame di giocare a dama e pensare a voce alta, quindi riferire tutti i suoi ragionamenti selettivi ed euristici (introspezione).
Il programma risultante di questo studio, non solo doveva dare gli stessi risultati del ragionamento cognitivo (e quindi supera il test di Turing), ma nel calcolarli doveva elaborare le informazioni nello stesso modo di un essere umano. Quest’ultima condizione serve ad avere una simulazione psicologicamente realistica del ragionamento umano.
Una volta costruito un modello per un compito cognitivo, abbiamo una microteoria. Newell & Simon volevano trarre un modello della mente combinando tra loro tutte le microteorie ottenute.

La differenza con Turing, è che Newell & Simon consideravano il test di Turing “debole” in quando non riguarda i processi del pensiero, ma prende in considerazione solo la prestazione finale.

Critiche al lavoro di Newell & Simon

Critica sull’uso del protocollo verbale

Il protocollo verbale, con il quale i soggetti studiati illustravano il proprio processo di pensiero sono incompleti perché non tutti i processi della mente sono accessibili all’introspezione.
Inoltre questo metodo di studio del mentale è scorretto perché pensare e descrivere cosa si sta pensando sono due compiti concorrenti che possono interferire tra loro.
Si sta studiando il modo di pensare, o il modo in cui un essere umano descrive il proprio pensiero?

Critica sul dominio di applicazione

Le microteorie sono strettamente collegate al particolare problema. Quindi applicando il modello suggerito da una microteoria ad un problema simile a quello di partenza non si hanno buoni risultati.

Critica sul campione di persone

Il campione scelto per eseguire i test è ristretto, e non rispecchia il modo di pensare di tutta la popolazione. Inoltre ogni persona ha un modo particolare di pensare.

Critica sulla modularità

Newell & Simon non fanno ipotesi di modularità sulla mente e la considerano interamente in un’unica architettura unificata. Successivi studi (Chomsky, Marr, Fodor, ed altri) tentano di dividere la mente in moduli, in modo da poterli studiare indipendentemente.

Conclusioni

Il lavoro di Newell & Simon è stato fallimentare, ma il loro contributo all’IA è stato enorme. Tutt’oggi le euristiche da loro definite sono molto utilizzate.

Chomsky ed il Linguaggio Universale

Un esempio di ipotesi di modularità è il Linguaggio Universale di Chomsky. Lui osserva come i bambini nei loro primi anni di vita riescono ad imparare la lingua, e nota che gli stimoli che essi ricevono sono di scarsa qualità per ottenere i risultati che si hanno.
Quindi l’ipotesi di modularità di Chomsky è che nella nostra mente esiste un modulo di Grammatica Universale (UG) che ci aiuta ad imparare il linguaggio parlato.

Quello che ha fatto Chomsky è isolare questo modulo UG dalle restanti parti della mente, e studiarlo a se stante.
Questo è proprio quello che manca nel lavoro fatto da Newell & Simon, in quanto non avendo fatto ipotesi di modularità, non riescono a trovare delle variabili in comune a tutti gli essere umani con le quali è possibile creare un modello di tutta la mente umana.

David Marr

Marr, essendo allievo di Chomsky, prende da lui spunto, e nel suo articolo “Artificial Intelligence – A Personal View” espone la sua critica al lavoro di Newell & Simon.

Secondo Marr, un risultato nel campo dell’IA doveva seguire questi passaggi:

Definizione di cosa è calcolato, e perché è calcolato
Definire come calcolarlo, quindi definizione di un algoritmo
Dimostrazione di funzionamento

Il “perché” non è interessante da definire in quanto è legato alla natura del problema: il mondo è fatto così. Il “cosa” invece è molto interessante, in quanto questo passaggio non è stato considerato da Newell & Simon. Infatti è difficile definire “cosa” calcolare in modo preciso quando si sta tentando di costruire un modello per l’intera mente umana.

Marri chiama teorie di tipo 1 quelle in cui si riesce a trovare una buona descrizione di cosa è calcolato, e chiama teorie di tipo 2 quelle in cui non si è ancora riusciti a dare una descrizione formale.

Antonio Damasio

Molti hanno criticato Newell & Simon per mancanza di ipotesi di modularità. In realtà un’ipotesi di modularità è stata fatta: l’attività di problem solving della mente umana è considerata indipendente dalle emozioni provate.

Damasio, neurologo e neuroscienziato degli anni 80, nello studiare un caso clinico si accorge che il paziente non è in grado di provare emozioni.
Questo paziente è perfettamente in grado di effettuare ragionamenti razionali, e risponde correttamente a domande a lui poste. Però quando è coinvolto in prima persona non riesce a prendere le decisioni giuste con i suoi ragionamenti.

L’ipotesi di Damasio è che le emozioni hanno un ruolo importante nel ragionamento pratico.

Test effettuati con questo paziente mostrano che non è in grado di provare emozioni. Ad esempio in una partita a poker non prova tristezza se perde una mano di gioco, oppure riesce a parlare in modo freddo della sua malattia (o di eventi brutti) con freddezza.

Damasio va oltre questa ipotesi e ne formula un’altra, in cui afferma che, come le emozioni, le immagini mentali hanno un ruolo nel ragionamento pratico.

Supponiamo di essere stati morsi da un cane mentre passeggiavamo nel parco. Dopo qualche giorno se ripensiamo a quel cane, riusciamo ad immaginarlo e a ricostruirci nel nostro buffer visivo la sua immagine. Assieme alla scena ricostruita associamo un’emozione che può essere bella o brutta a seconda se il morso del cane ci è piaciuto oppure no (ovviamente in questo caso non ci è piaciuto). Quindi in futuro cercheremo di non passare vicino a quel cane perché rischiamo di essere morsi nuovamente: così facendo nel nostro ragionamento pratico elimineremo tutti gli scenari possibili che ci portano nelle vicinanze di quel cane.
Damasio dice con questa ipotesi che il paziente da lui studiato è incapace associare le immagini mentali alle emozioni, e quindi nel suo ragionamento pratico può scegliere un’azione che lo riporta a commettere un errore già fatto in passato.

Con queste ipotesi Damasio ha cercato di spiegare l’assenza di pianificazione e di prudenza che ha il suo paziente durante i ragionamenti pratici che lo coinvolgono i prima persona.
Inoltre mostra come le emozioni hanno un ruolo centrale nel ragionamento, e quindi è sbagliato considerarle indipendenti dal problem solving. Quindi sarà possibile progettare macchine con prestazioni pari a quelle degli essere umani anche se non provano emozioni?

La nascita dell’Informatica

saverio — Fri, 15 Jan 2010 23:22:56 +0000

Il primo kernel Linux è stato pubblicato nel 1991, l’annuncio del primo sistema operativo della famiglia Windows risale al 1983, la nascita dell’informatica come disciplina scientifica risale al 1953, il primo calcolatore programmabile digitale al 1941 (Z3 di Zuse); in realtà tutto scaturisce da una storia molto più lunga che parte dagli studi di Leibniz quando non esistevano i calcolatori digitali, e coinvolge grandi studiosi come Frege, Gödel, e Turing.

Gottfried Wilhelm von Leibniz

Leibniz (Lipsia, 21 giugno 1646 – Hannover, 14 novembre 1716), è stato un filosofo, matematico, e logico tedesco. Ai suoi tempi la logica era quella Aristotelica, quindi del tipo soggetto-predicato.

Leibniz fu il primo ad intuire l’elaborazione simbolica con il suo progetto della Characteristica Universalis. L’idea alla base della Cu (Characteristica Universalis) era quella di creare un linguaggio universale per migliorare le comunicazioni politiche, religiose, e commerciali; quindi la Cu doveva essere un linguaggio in grado di guidare ogni sorta di ragionamento.

Il progetto della Cu prevedeva:

Una Lista dei concetti primitivi e simboli corrispondenti
Un’Arte Combinatoria utile a combinare i concetti primitivi:
1. Ars Iudicandi: procedura di decisione della verità
2. Ars Invenendi: procedura di decisione generativa

Notiamo che l’Ars Iudicandi e l’Ars Invenendi prevedevano l’introduzione nel sistema della Cu di due procedure effettive, ovvero ci doveva essere un procedimento preciso (algoritmo) sia per decidere la verità di una sentenza del linguaggio (Ars Iudicandi), sia per ottenere altre verità dalle verità che già conosciamo (Ars Invenendi).

I concetti di Procedura Effettiva e Calcolo Simbolico sono dunque nati da quest’idea di Leibniz.

Purtroppo il programma di sviluppare questo linguaggio è solo un progetto di Leibniz che non è mai stato sviluppato. Abbiamo solo dei documenti e schizzi a riguardo, che saranno poi usati da Frege.

Qui notiamo che l’Ars Iudicandi prevede una sorta di predicato dim(x,y), vero quando x è (il numero di) una dimostrazione della formula (di numero) y. Quindi è quasi un esempio compiuto di Sistema Formale.

Immanuel Kant

Kant (Königsberg, 22 aprile 1724 – Königsberg, 12 febbraio 1804) è stato un filosofo tedesco. Egli scrive un’opera alla fine del ‘700 nella quale diceva: “La matematica è una cosa certa, e noi dobbiamo studiare solo come arrivare a questa certezza. Inoltre ci si può chiedere: perché la matematica è certa? Qual è il suo fondamento?”.

Frege proverà a rispondere a questa domanda.

Friedrich Ludwig Gottlob Frege

Frege (Wismar, 8 novembre 1848 – Bad Kleinen, 26 luglio 1925) è stato un matematico, logico e filosofo tedesco, padre della logica matematica moderna.

Frege voleva rispondere alla domanda posta da Kant (“Perché la matematica è certa?”), usando l’intuizione che aveva avuto Leibniz nella sua Characteristica Universalis.

Qui è introdotta la Tesi Logicista (o Programma Logicista):

“La Matematica è riconducibile alla Logica”

Si afferma che la matematica è logica! Per portare avanti il Programma Logicista, Frege introduce la logica del primo e del secondo ordine come la conosciamo attualmente. Lui la chiamava Ideografia.
Nel 1879 Frege propose l’Ideografia un “linguaggio in formule del pensiero puro, a imitazione di quello aritmetico” in cui dice: il modo più sicuro di condurre una dimostrazione è quello puramente logico, il quale astrae dalla natura particolare delle cose e si basa soltanto sulle leggi sulle quali si fonda ogni conoscenza.

A supporto della Tesi Logicista, fu introdotto il primo esempio compiuto di Sistema Formale, ovvero un sistema che vincola il processo dimostrativo in modo tale che è sempre possibile riconoscere mediante un procedimento algoritmico se una qualsiasi configurazione di simboli è una dimostrazione oppure no.

Questo sistema formale prevedeva:

Insieme Finito di Assiomi Logici.
Insieme Finito di Regole di Inferenza che, senza introdurre conoscenza implicita, ci permettano di dedurre gli assiomi della Matematica dall’insieme di Assiomi Logici.

Inoltre ci sono due importanti Condizioni di Effettività che specificano un Sistema Formale:

L’insieme degli Assiomi Logici è Effettivamente Decidibile
L’insieme delle Dimostrazioni Logiche è Effettivamente Decidibile

In quest’ultima richiesta si intravede qualcosa del teorema di Gödel; si chiede che il predicato dim(x,y) sia effettivamente decidibile!

Come in Leibniz, anche questa volta ci deve essere un procedimento formale (Algoritmo) che ci assicuri le condizioni di effettività. Ma questa volta le condizioni di effettività sono espressamente richieste.

Inoltre Leibniz e Frege hanno obiettivi diversi, il primo vuole un linguaggio universale, mentre il secondo vuole verificare la certezza della matematica (un problema più piccolo rispetto alla definizione di una lingua universale); entrambi usano la logica come strumento per raggiungere il proprio fine epistemologico.

Bertrand Arthur William Russell

Frege prosegue con il suo programma logicista puntando a dimostrare gli assiomi della matematica (gli assiomi di Peano) partendo solo dagli assiomi logici. Nel sistema formale definito da Frege si possono individuare:

Il principio di Coestensione: “data una proprietà P, esiste l’insieme y di tutti gli x che godono della proprietà P”
Il principio del Terzo Escluso: almeno uno tra x e not x deve essere vero.

Russell (Trellech, 18 maggio 1872 – Penrhyndeudraeth, 2 febbraio 1970), è stato un filosofo, logico e matematico gallese. Si interessò al lavoro di Frege, e formulò il famoso Paradosso di Russell, causa della caduta del Programma Logicista.

Paradosso di Russell: Supponiamo la proprietà: not(x appartiene ad x)
Un elemento che gode di questa proprietà non appartiene a se stesso. Per il principio della coestensione c’è l’insieme di tutti gli elementi che godono di questa proprietà. Quindi diciamo y l’insieme di tutti gli elementi che non appartengono a se stessi. Adesso ci chiediamo: y appartiene a se stesso?

Se y appartiene a se stesso allora gode della proprietà di non appartenere a se stesso.
Se y non appartiene a se stesso allora per come è definito deve appartenere a se stesso

In entrambi i casi, grazie al principio del terzo escluso, giungiamo ad una contraddizione (questa è un’antinomia).

Russell nel 1901 formulò il paradosso e si rese conto delle conseguenze che avrebbe avuto per il programma logicista. Non esitò a mettersi in contatto con Frege con una lettera nell’estate del 1902 in cui illustra il paradosso.

Frege prese atto delle conseguenze distruttive per il sistema che aveva costruito in quegli anni e decise di scrivere un’appendice ai suoi Principî in cui confessava il fallimento della sua opera.

Siamo davanti ad una scelta:

- rinunciare al principio del terzo escluso: e quindi rinunciare alla logica classica

oppure

- rinunciare al principio di coestensione: ma in questo caso non si riescono più a derivare gli assiomi della matematica

Qui il Programma Logicista, e sorge il problema della certezza della matematica.

A seguire ci saranno due programmi che puntano a risolvere il problema della certezza della matematica: Il Programma Intuizionista, ed il Programma di Hilbert.

Luitzen Egbertus Jan Brouwer

Brouwer (Overschie, 27 febbraio 1881 – Blaricum, 2 dicembre 1966) è stato un matematico olandese. Fondò la Scuola Intuizionista (o costruttivista), nella quale dubitò
del principio del terzo escluso.

I requisiti del Programma Intuizionista erano:

Eliminazione del Principio del Terzo Escluso su totalità infinite.
Interpretazione delle dimostrazioni in modo Costruttivista: cioè una dimostrazione di “esiste x tale che P(x)” deve effettivamente esibire un elemento y per il quale è vero P(y).

Quindi gli intuizionisti puntano a limitare la matematica, eliminando l’uso di proposizioni ideali, come l’infinito in atto (o infinito attuale), che hanno permesso alla matematica di raggiungere ottimi risultati.

David Hilbert

Hilbert (Königsberg, 23 gennaio 1862 – Gottinga, 14 febbraio 1943) è stato un matematico tedesco. Rispose agli intuizionisti con il cosiddetto Programma di Hilbert.

Al contrario di Frege che voleva dimostrare gli assiomi matematici patendo dagli assiomi logici, Hilbert voleva formalizzare la matematica con degli assiomi e poi verificare la coerenza delle teorie matematiche formalizzate.

Quindi:

Formalizzare tutte le teorie matematiche “T” con sistemi formali T
Dimostrare la coerenza di tali sistemi T con metodi matematici finitisti.

Si comincio con la più semplice delle teorie, ossia con l’Aritmetica Elementare. I metodi matematici finitisti non sono mai stati definiti da Hilbert con precisione. Di sicuro sono metodi matematici in cui vengono chiesti i requisiti intuizionisti: quindi no al terzo escluso su totalità infinite e interpretazione costruttivista delle dimostrazioni. Molti concordano che i metodi finitisti sono inclusi nell’aritmetica Primitiva Ricorsiva dove valgono gli assiomi di Peano che descrivono l’aritmetica elementare.

Nasce la meta-matematica, ossia la parte della matematica che consente di studiare la matematica da punti di vista generali. Stiamo cioè usando la matematica stessa per risolvere il problema della certezza della matematica.
Nella metamatematica possiamo studiare varie proprietà dei sistemi formali, ad esempio:

Coerenza: se T dimostra A allora non può dimostrare not A
Correttezza: se T dimostra A allora A è vero nella teoria “T”
Completezza: se A è vero nella teoria “T” allora T dimostra A

Notiamo che la correttezza di un sistema formale T implica la sua coerenza.

Ricapitolando Hilbert con il suo Programma della Coerenza (che è solo una parte del Programma di Hilbert) vuole dimostrare la coerenza della matematica utilizzando la matematica stessa.

Principia Mathematica (PM)

I Principia Mathematica, scritti da Russell e Whitehead tra il 1910 e il 1913, rappresentano un’importante tentativo di formalizzare la matematica con la logica. Traggono origine dal lavoro di Frege.

Chiameremo PM il sistema formale formalizzato in questo lavoro.

Kurt Gödel

Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un matematico, logico e filosofo statunitense di origine austro-ungarica, noto soprattutto per i suoi lavori sull’incompletezza delle teorie matematiche. Gödel è ritenuto uno dei più grandi logici di tutti i tempi insieme a Frege e Aristotele.

Gödel si interessa al Programma di Hilbert, e formula il suo primo teorema di incompletezza:

Se PM è coerente, allora esiste una formula G nel linguaggio L(PM) tale che G è vera e non è dimostrabile in PM ne G ne not G

Ne segue come corollario il secondo teorema di incompletezza:

Se PM è coerente, e dato che la coerenza di PM è esprimibile all’interno di PM stesso (consis(PM) appartiene a L(PM)) allora in PM non è dimostrabile consis(PM)

Il secondo teorema di incompletezza è quello che fa cadere il Programma di Hilbert poiché afferma che non possiamo dimostrare la coerenza di PM all’interno di PM stesso,
cioè non possiamo dimostrare la coerenza della matematica all’interno della matematica stessa.

Però i teoremi di incompletezza si riferiscono al Sistema Formale PM. Per far cadere definitivamente il Programma di Hilbert bisognava generalizzare i teoremi di incompletezza a qualsiasi Sistema Formale che contiene l’aritmetica elementare.

Generalizzazione dei Teoremi di Incompletezza

Vogliamo generalizzare i teoremi di incompletezza in questo modo:

Per ogni sistema formale S tale che:

S contiene P (Aritmetica di Peano)
S soddisfa la condizioni di effettività di Frege
- a) L’insieme degli assiomi è effettivamente decidibile
- b) L’insieme delle dimostrazioni è effettivamente decidibile
S è coerente

Allora per S valgono i teoremi di incompletezza

Le ipotesi 1 e 3 sono ben precise. L’ipotesi 2.a e 2.b invece no! Infatti esse chiedono di avere due funzioni effettivamente calcolabili f(x) e g(Y) le quali ci decidano rispettivamente le formule ben formate di S e le dimostrazioni di S.

Questo è il punto di snodo tra i fondamenti della matematica e la nascita dell’informatica. Infatti una funzione è effettivamente calcolabile se esiste un algoritmo per essa.

Ma quale’è il concetto di algoritmo? Quali sono le funzioni calcolabili mediante un procedimento di calcolo (algoritmo)?

Tutt’ora non esiste un concetto di algoritmo preciso. La classe di tutti gli algoritmi è delineata con la tesi di Church-Turing, la quale essendo una tesi non può essere dimostrata.

Alan Mathison Turing

Turing (Londra, 23 giugno 1912 – Wilmslow, 7 giugno 1954) è stato un matematico, logico e crittanalista britannico, considerato uno dei padri dell’informatica.

Lavorò alla generalizzazione del teorema di Gödel, tentando di rispondere alla domanda: “che cos’è una funzione parzialmente calcolabile mediante un procedimento di calcolo (algoritmo)?”.

Church a quei tempi lavorava alla stessa domanda definendo la classe delle funzioni matematiche PRF, per poi arrivare ad un procedimento di calcolo (λ-calcolo).

Turing invece cominciò questo lavoro cominciando a definire il procedimento di calcolo (definito dalla Macchina di Turing), per poi arrivare alla classe di tutte le funzioni calcolabili da una Macchina di Turing.

Per definire la sua Macchia di Turing (d’ora in poi MdT), Turing osservo il comportamento di un essere umano che calcola. Quindi individua una serie di restrizioni:

L’umano effettua dei calcoli aiutandosi con un foglio. Nel caso di una macchina possiamo pensare ad un nastro potenzialmente infinito fatto di caselle contigue. In ogni casella possiamo
scrivere un simbolo appartenente ad un alfabeto.
Limiti all’uso del nastro
- a. Limite Percettivo: c’è un limite superiore B al numero di caselle contigue osservabili in un istante (questo implica che ci si può spostare sul nastro per vedere le prossime B caselle).
- b. Limite di Memoria: l’alfabeto dei simboli scrivibili sul nastro è finito poiché l’essere umano non riesce a distinguere e ricordare infiniti simboli.
Il comportamento dipende dallo stato mentale (stato di memoria) dell’essere umano. Questo stato mentale dipende dalle azioni fatte precedentemente. Senza indagare molto sul cervello umano, imponiamo che questi stati siano in numero finito (deciso a priori).
Limitiamo il comportamento dell’essere umano che calcola, senza perdita di generalità, al compimento di un’azione per volta:
- a. Si può cambiare il contenuto solo delle caselle osservate
- b. Ci si può spostare di un numero L di caselle per volta
- c. Si può cambiare lo stato mentale
Il calcolo è fatto in maniera Deterministica, dato lo stesso input otteniamo sempre lo stesso output

Ma come imponiamo la condizione di determinismo?

Consideriamo tutte le possibili azioni che può fare l’essere umano durante il calcolo. Diciamo C l’insieme di tutte le possibili coppie . Per ogni elemento di C si può scegliere di fare un’azione a scelta contenuta nell’insieme possibili di azioni A (scrittura di un simbolo, spostamento a destra, spostamento a sinistra, cambiamento di stato mentale). Definiamo l’insieme di tutte le possibili istruzioni I=CxA. L’insieme delle istruzioni come definito contiene delle istruzioni che definiscono un algoritmo non deterministico, poiché a parità di stato mentale e configurazioni di simboli osservati, possiamo trovare istruzioni che effettuano azioni diverse. Poniamo qui una condizione di determinismo, chiedendo di avere come insieme di istruzioni solo un sottoinsieme di I nel quale non compaiano istruzioni che possono essere applicate nello stesso stato del calcolo.

Questa è l’analisi dell’essere umano che calcola.

Adesso definiamo una macchina che simulerà il comportamento di calcolo dell’essere umano. Questa macchina avrà delle configurazioni interne q, che corrispondono agli stati mentali dell’umano. Lavora su un nastro osservando ad ogni nastro un numero B di caselle contigue, e può spostarsi di un numero L di caselle a destra o a sinistra. Può usare i simboli dell’alfabeto per scrivere sulla porzione di nastro osservata, e può cambiare la sua configurazione interna. Questa macchina riproduce il comportamento di calcolo di un essere umano.

Ponendo i vincoli B=1 e L=1 abbiamo proprio la definizione di Macchina di Turing (MdT). Chiamiamo classe delle funzioni Turing calcolabili (o T-calcolabili), la classe delle funzioni calcolabili con una MdT.

Turing arriva a formulare la seguente tesi:

“Ogni funzione calcolabile da un essere umano mediante algoritmo è una funzione T-calcolabile”

Notiamo che questa tesi è però ristretta alle funzioni calcolate da un essere umano, e non da un qualsiasi agente di calcolo (come un calcolatore). Proviamo ad estendere questa tesi in questo modo:

“Ogni funzione calcolabile da un calcolatore mediante algoritmo è una funzione T-calcolabile”

Per arrivare alla tesi di Church-Turing, osserviamo che i limiti B ed L sono soggetti ai limiti della fisica: la teoria delle relatività ci vieta di oltrepassare la velocità della luce. Inoltre in una singola cella di nastro possiamo registrarci un simbolo preso da un alfabeto finito, perché assumiamo che la materia (del nastro) abbia un vincolo di atomicità, ma su questo non è ancora stata formulata alcuna teoria scientifica.

Considerando i limiti della fisica possiamo riscrivere la tesi ed ottenere finalmente la Tesi di Church-Turing:

“Ogni funzione calcolabile da un algoritmo è una funzione T-calcolabile”

Con questa tesi sono stati generalizzati i teoremi di incompletezza di Gödel, chiedendo che le funzioni f(x) e g(Y) siano T-calcolabili. Cade definitivamente il Programma di Hilbert,
e il suo tentativo di verificare la certezza della matematica.

Sviluppi futuri

Quindi dal problema della matematica è nata la MdT, e Turing stesso definì la Macchina di Turing Universale, la quale è programmabile proprio come un moderno calcolatore digitale.

Da questo nasce il ramo dell’Intelligenza Artificiale (IA), e più in generale dell’Informatica.

Uso della Tecnologia ISDN

saverio — Sat, 09 Jan 2010 14:25:22 +0000

Integrated Services Digital Network, o ISDN, è una rete digitale che dà supporto a molti servizi di voce e dati. La definizione tecnica dell’ISDN, che investe diverse componenti delle reti, risale alle raccomandazioni ITU-T della serie I del 1984 e comprende numerose altre pubblicazioni dello stesso ITU-T e dell’ETSI (European Telecommunications Standard Institute) fatte negli anni successivi.

Integrated Services Digital Network – ISDN

ISDN è un servizio di telefonia digitale basato sul protocollo ISDN. Quindi con il termine ISDN ci riferiamo sia al protocollo, sia al servizio implementato dal protocollo stesso.

ISDN: protocollo che descrive come si svolgono le chiamate
Una rete ISDN è quindi una rete digitale anche integrata nei servizi, in cui le diverse parti, il terminale, la rete di accesso, la rete di trasporto, sono realizzate per offrire gli stessi servizi. Elementi fondamentali per il supporto di tali servizi sono il protocollo di segnalazione della rete di trasporto ISUP (ITU-T Q.767) e della rete di accesso DSS1 (ITU-T Q.931), che fanno parte della pila di protocolli del sistema di segnalazione a canale comune n°7 insieme ad altri descritti nelle Racc. ITU-T serie Q. Attraverso tali protocolli vengono trasportate le informazioni che consentono l’espletamento dei diversi servizi; un esempio per tutti l’identità del chiamante, che viene trasportata dai protocolli di segnalazione dalla rete del chiamante verso la rete e il terminale del chiamato.

In Europa è usata la variante ISDN-DSS1 sviluppata da ETSI (European Telecomunications Standards Institute).
Sull’accesso BRA ISDN sono disponibili una serie di nuovi servizi come la segnalazione del numero telefonico di chi chiama (Caller ID) e il multinumero, cioè la possibilità di avere fino ad otto numeri telefonici sullo stesso abbonamento, ciascuno assegnato ad un apparecchio diverso (es. uno per il telefono, uno per il fax, uno per il modem in ingresso…). La tecnologia digitale utilizzata da ISDN garantisce una qualità audio molto elevata, eliminando completamente la diafonia e buona parte dei disturbi presenti nella tradizionale telefonia . In Italia ISDN BRA viene fornito in modalità mononumero o multinumero: è possibile cioè richiedere fino a 7 numeri telefonici diversi oltre al numero principale. Sempre sull’accesso base (BRA), che comprende 2 canali B a 64 Kbit/sec, è possibile collegarsi ad Internet sia ad una velocità di 64 Kbit/s, pagando una semplice telefonata, sia, se il Provider utilizzato lo permette, ad una velocità di 128 Kbit/s, sostenendo però il costo di due chiamate contemporanee. Inoltre sono disponibili i servizi di avviso di chiamata, conferenza a tre, presentazione dell’identità del chiamante (Caller ID), trasferimento di chiamata e per alcuni Operatori anche il servizio di richiamata su occupato.

Molto diffusa in Italia un tipo particolare di NT, chiamata NT1+, che ha al suo interno anche un Terminal Adapter (TA) a/b, capace di gestire due porte analogiche, permettendo cosi’ di connettere direttamente all’NT1+ apparati analogici come telefoni tradizionali o fax di gruppo 3. L’installazione della borchia ISDN deve essere richiesta al proprietario della rete.

Una ulteriore configurazione degli accessi è il “punto-punto” e “punto-multipunto” che in buona sostanza esprime il modo di dialogare della rete con uno o più terminali lato utente. La configurazione “punto-punto” è adottata in presenza, lato utente, di centralini (PABX)collegati sia su accesso primario che in pool di accessi base. La configurazione punto-multipunto è adottata ad esempio negli accessi base in cui sul bus isdn sono collegati dispositivi con numeri diversi (MSN) quali telefoni isdn, modem isdn, fax G4. La differenza tecnica che contraddistingue anche le due tipologie è il cosiddetto TEI, che viene utilizzato nel protocollo ISDN, per il quale una punto-punto è fisso a zero, mentre sulla punto-multipunto è variabile e deciso dalla centrale pubblica. Per capire se la tipologia e punto-punto o punto-multipunto, soprattutto nel caso di accesso base mononumero, bisogna contattare l’operatore che fornisce il servizio, non esistono veri e propri standard.

CALLER-ID: è la funzione che ci permette di vedere il numero di chi ci chiama.

MULTINUMERO: Possibilità di avere fino a 8 numeri su una singola linea ISDN. Ovviamente bisognerà assegnare un numero per ogni apparecchio.

Il collegamento ISDN più diffuso è quello base, a due canali (detto BRI):

1° Canale: 64 kbit/s

2° Canale: 64 kbit/s

3° Canale aggiuntivo: 16 kbit/s (usato per le segnalazioni)

La banda totale e’ 144 kbit/s!!! Di questa banda, solo i canali da 64 kbit/s sono sfruttati per trasferire informazioni utili all’utente finale, quindi in effetti l’utente beneficia di 128 kbit/s (sempre teorici)

Architettura ISDN

Alcuni termini

NT (Network Terminator): Traduce il segnale proveniente dalla centrale telefonica, mediante U-BUS, in segnale utilizzabile dai nostri dispositivi ISDN, su S-BUS. Inoltre il Network Terminator permette di attaccarci
TA (Terminal Adapter) : Permette di allacciare vecchi dispositivi analogigi al Network Terminator, in moda da poterli riutilizzare. E’ indicato per i vecchi FAX .

Esempio NT (Network Terminator)

Un Network Terminator, che prende in ingresso un U-Bus dalla linea ISDN, e caccia in output due S-Bus per allacciarci due dispositivi ISDN (ad esempio due telefono ISDN).

Notiamo che in S-Bus non è che un cavo ethernet, usato per ISDN… e (forse) per U-Bus si usa il doppino telefonico, o anche in questo caso un cavo ethernet.

Configurazione di ISDN

Una linea ISDN può avere varie configurazioni, in modo da adattarsi all’hardware con il quale deve funzionare (esempio PBX – centralino telefonico).

Canali

ISDN supporta due tipi di canali:

-> Canale B (Bearer): sono canali utilizzati per i dati ed hanno una banda prefissata di 64 kbit/s.

-> Canale D (Delta): sono canali usati per segnalazioni e controllo; in particolari configurazioni possono essere usati anche per i dati. La banda passante assegnata ad un canale D varia al variare del tipo di Accesso ISDN.

Accesso ISDN

Esistono due tipi di accesso ISDN:

Accesso BRI [Basic Rate Interface - Accesso Base]:– 2 canali B– 1 canale D a 16 kbit/s==> Totale 2B+D = 144 kbit/s
Accesso PRI T1 [Basic Rate Interface - Accesso Base]: (America, Giappone)– 23 canali B– 1 canale D a 64 kbit/s==> Totale 23B+D = 1536 kbit/s
Accesso BRI E1 [Basic Rate Interface - Accesso Base]: (Europa, Asia, Australia)– 30 canali B– 2 canale D a 64 kbit/s==> Totale 30B+2D = 2048 kbit/s

Funzionamento Chiamate

I canali D sono usati per iniziare le chiamate. Una volta che la chiamata è iniziata, ad essa è allocato un canale B… quindi per ogni chiamata deve essere disponibile un canale B (sempre di 64 kbit/s).

Notiamo come i canali B sono allocati sempre in modo dinamico!

Considerazioni Tecniche

L’evoluzione di ISDN l’ha portato ad essere adottato in anbito aziendale. Queste ultime scelgono spesso tra due opzioni di installazione: il multinumero e la selezione passante.

Multinumero

E’ un servizio opzionale. Permette di avere un massimo di 8 terminali, sullo steso S-BUS, ognuno raggiungibile direttamente dall’esterno con un suo proprio numero telefonico.

Possibile solo su ISDN accesso base (BRI)
Solo due terminali possono essere attivi contemporaneamente
Non chiede l’installazione di un PBX
Le chiamate interne sono a pagamento
NT (Network Terminator) deve essere configurato punto-multipunto

Selezione Passante

E’ un servizio opzionale. Permette di raggiungere direttamente i terminali interni appoggiandoci su un PBX (centralino telefonico). Non si ha il limite di 8 terminali su ogni linea ISDN.

Possibile sia su linee BRI, sia su linee PRI
Non c’è limite al numero di terminali interni attivi contemporaneamente
Chiede l’instllazione di un PBX
Le chiamate interne NON sono a pagamento
NT (Network Terminator) deve essere configurato punto-punto

Considerazioni

Il multinumero si adatta solo in pochi casi… spesso perche’ sono richieste telefonate interne gratuite!

Ad esempio possiamo avere cinque ingressi ISDN: ipotizziamo i numeri telefonici da 0216029101 a 0216029105 (Le ultime due cifre individuano la linea fisica, e sono 5 BRI – quindi max 10 telefonate esterne contemporaneamente).
Grazie alla selezione passante riusciamo ad avere i numeri da 0216029100 a 0216029199… un range di ben 100 numero!

Implementazione della funzione di Ackermann

saverio — Fri, 20 Nov 2009 15:55:55 +0000

La funzione di Ackermann è una funzione f(x,y,z) che ha come dominio l’insieme delle terne di numeri naturali e come codominio i numeri naturali.

Essa è un esempio di funzione ricorsiva che non è primitiva ricorsiva poiché cresce più velocemente di qualsiasi funzione ricorsiva primitiva.

Qui il codice java che implementa questa funzione:

Ackermann.java

public class Ackermann {
 
 static long count = 0;
 
 private static long h(long m, long n) {
  
  count++;
  
  if (m == 0) {
   return n + 1;
  }
  if (n == 0) {
   return h(m-1, 1);
  }
  
  return h(m-1, h(m,n-1) );
 }
 
 private static long ack(long n) {
  return h(n, n);
 }
 
 public static void main(String[] args) {
  
  if (args.length != 1) {
   System.out.println("usage: Ackermann \n\twhere number is a positive integer");
   System.exit(1);
  }
  
  long n = Long.valueOf(args[0]);
  
  count = 0;
  long retValue = ack(n);  
  System.out.println("ack(" + n + ") = " + retValue + " [recursive calls = "+ count +"]");
 
  
  System.exit(0);
 }
 
}

Il meccanismo di calcolo della funzione è estremamente semplice quanto pesante dal punto di vista computazionale. Questi sono i risultati ottenuti:

ack(0) = 1 [recursive calls = 1]
ack(1) = 3 [recursive calls = 4]
ack(2) = 7 [recursive calls = 27]
ack(3) = 61 [recursive calls = 2432]

Non riesco a calcolare ack(4) causa stack overflow (Exception in thread “main” java.lang.StackOverflowError).

Utilizzare un Weblog Client con Wordpress

saverio — Sun, 04 Oct 2009 08:56:20 +0000

Il software per Weblog (anche chiamato blog software o blogware) è del software creato per semplificare la creazione e la manutenzione di blog (detti formalmente weblog).Come CMS (content management system) specializzati, i blog hanno tutti caratteristiche in comune come il suppoto per gli autori, per l’editing e la pubblicazione dei post (in italiano: articoli), gestione dei commenti e la loro moderazione, ed altre operazioni.

La manutenzione di un blog attraverso internet è una caratteristica comune di tutti i blog. Questa è fatta attraverso una interfaccia web-based, cioè la famosa parte di amministrazione.
Molti blog supportano l’uso di software esterno (client per la gestione del blog), detto Weblog Client, per la gestione dei contenuti attraverso l’uso di API come le MetaWeblog API e le Atom Publishing Protocol.

Per Wordpress abbiamo una lunga lista di Weblog Client, ma prima di sceglierne uno bisogna abilitare il protocollo Atom Publishing oppure XML-RPC. Questo di fa spuntando la relativa opzione nelle impostazioni di scrittura di Wordpress.
Fatto questo dobbiamo scegliere un software tra wuelli disponibili per il nostro sistema operativo. Questi sono i software che ho individuato:

Linux

* BloGTK
* Drivel
* Flock
* Gnome Blog
* JBlogEditor
* QTM
* ScribeFire
* WriteToMyBlog – web based

Windows

* BlogDesk
* BlogJet
* Blog Writer
* Chrysanth WebStory
* Deepest Sender
* Ecto
* Elicit
* Flock
* JBlogEditor
* LIPIDr Blog Client
* Post2Blog
* Post2Blog Express
* Qumana
* ScribeFire
* Semagic
* Zoundry Raven
* w.bloggar
* WB Editor
* Windows Live Writer
* WriteToMyBlog – web based

Mac OS X:

* Ecto
* Flock
* JBlogEditor
* Journler (however blogging is being dropped soon from Journler)
* MacJournal
* MarsEdit
* QTM
* Qumana
* ScribeFire (formerly Performancing)
* TextMate
* WriteToMyBlog – web based

Descrivere i media con Mpeg-7

saverio — Sun, 27 Sep 2009 12:34:35 +0000

La diffusione delle connessioni a banda larga ha agevolato la diffusione di audio e video via web: un esempio eclatante è YouTube! Ma riuscire a trovare un video particolare tra la grossa quantità di dati multimediali sul web è un compito arduo: il valore del dato multimediale dipende da quanto è agevole trovarlo, gestirlo, ed accedere.

Per gestire questa grossa quantità di dati multimediali, sia da parte degli utenti, sia da parte dei sistemi automatici, ci aiuta Mpeg-7: uno standard nato per codificare i contenuti multimediali attraverso la definizione di metadati sui dati multimediali.

I precedenti standard Mpeg-1 (1992), Mpeg-2 (1994), e Mpeg-4 (1999) riguardano la codifica del video. Nel 2001 è stato definito Mpeg-7 che non definisce il modo di codificare un video, ma riguarda la sua metataggatura attraverso un linguaggio XML.
Perché 7? Mpeg-7 permette di definire metadati sui video codificati con Mpeg 1, 2, e 4. Siccome 4+2+1=7, nasce il nome Mpeg-7.

Notiamo come non è stato nominato Mpeg-3, lo standard per i famosissimi mp3 . In realtà questo standard non esiste, ma il nome Mpeg-3 è usato per riferirsi alla parte audio di Mpeg-2.

Metadati

I metadati associati ad un video permettono di descrivere cosa c’è nel video. Mpeg-7 permette descrizioni sia a basso livello (caratteristiche del segnale, come il colore di un oggetto), sia ad alto livello (informazioni semantiche, come la scena di un goal in una partita di calcio).
Un esempio di file XML in formato Mpeg-7 contenente la descrizione di un video di una notizia è:

 version="1.0" encoding="UTF-8" standalone="no"?>
 
 xmlns="urn:mpeg:mpeg7:schema:2001" xmlns:mpeg7="urn:mpeg:mpeg7:schema:2001"
 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 xsi:schemaLocation="urn:mpeg:mpeg7:schema:2001 Mpeg7-2001.xsd">
  xsi:type="ContentEntityType">
  xsi:type="VideoType">
 >
 >
 >
 >
  href="MPEG7ContentCS" />
  href="urn:mpeg:mpeg7:cs:FileFormatCS:2001:3">
 >mpeg>
 >
 >17333073>
 >
  colorDomain="color"
 href="urn:mpeg:mpeg7:cs:VisualCodingFormatCS:2001:1" />
  height="576" rate="8000" width="720" />
 >
 >
  id="v20090201_video_15213221">
  />
 >
 >20090201_video_15213221.mov>
 >
 >
 >
 >
 >
 >
 >Obama: presto un piano per famiglie Usa per tagliare costi
 mutui>
 >
 >
 Presidente cerca arginare effetti devastante crisi economica
 >
 >
 >
 >1 Feb 2009>
 >
 >
 >
 >
  href="urn:mpeg:mpeg7:cs:RoleCS:2001:producer">
 >Red>
 >
  xsi:type="OrganizationType">
 >Apcom>
 >
 >
 >
 >
 >milano>
 >
 >
 >2009-02-01T15:21:32>
 >
 >
 >TMNews>
 >
 >
  href="urn:mpeg:TVAnytime_v0.1ContentCS:3.14">
 >est>
 >
 >
 >
 >0.0>
  best="5" style="higherBetter" worst="0">
 >Overall>
 >
 >
 >
 >
 >
 >
 >20090201_video_17483840.mov>
 >
 >
 >
 >
 >20090201_video_18024720.mov>
 >
 >
 >
 >
 >20090201_video_18094945.mov>
 >
 >
 >
 >
 >20090201_video_18153193.mov>
 >
 >
 >
 >
 >20090202_video_13033231.mov>
 >
 >
 >
 >
 >20090202_video_13094131.mov>
 >
 >
 >
 >
 >20090202_video_16491593.mov>
 >
 >
 >
 >
 >20090202_video_17042673.mov>
 >
 >
 >
 >
  id="onDemand">
  href="MPEG7PublicationTypeCS:4" />
 >
  href="MPEG7PublicationTypeCS:4">
 >Internet>
 >
 >
 >it>
 >
 >
 >
 >
  idref="onDemand" />
 >0>
 >
 >
 >
 >T00:00:00>
 >PT0H0M29S>
 >
 >
 >
  xsi:type="ImageType">
 >
 >
 >
 >
  href="urn:mpeg:mpeg7:cs:ContentCS:2001:2">
 >visual>
 >
  href="urn:mpeg:mpeg7:cs:FileFormatCS:2001:3">
 >JPEG2000>
 >
 >12014>
 >
  colorDomain="binary"
 href="urn:mpeg:mpeg7:cs:VisualCodingFormatCS:2001:1">
 >JPEG2000>
 >
  height="288" rate="0" width="360" />
 >
 >
  id="i20090201_video_15213221">
  />
 >
 >20090201_video_15213221.jpg>
 >
 >
 >
 >
 >
 >
 >
 Foto
>
 >
  href="urn:mpeg:mpeg7:cs:RoleCS:AUTHOR">
 >Red>
 >
  xsi:type="OrganizationType">
 >MPEG>
 >
 >
 >
 >
 >
 >
 >
>

Mpeg-7 è un linguaggio XML, ossia usa XML per definire i metadati. In realtà un file Mpeg-7 non è altro che un file ‘.xml’ associato ad uno o più oggetti multimediali. Quindi è possibile memorizzare i metadati indipendentemente dai video… ad esempio un possibile uso di Mpeg-7, è la costruzione di un database multimediale!

Componenti di Mpeg-7

Lo standard Mpeg-7 è composta da quattro elementi fondamentali:

Description Tools
Descriptor
Description Scheme
DDL – Description Definition
Language
System Tool

I metadati di un oggetto multimediale saranno descritti usando i ‘Description Tools’.
I ‘Description Tools’ a loro volta fanno uso del ‘Description Definition Language’ (DDL) che è una estensione di XML Schema proprio per Mpeg-7.
I ‘System Tool’ non riguardano la definizione di metadati, ma la loro rappresentazione e trasmissione. Quindi il file XML è prodotto utilizzando solo ‘Description Tools’ e ‘DDL’, e poi questo file XML può essere diffuso utilizzando le tecniche dei ‘System Tools’.

Description Definition Language (DDL)

Il DDL è basato su XML Schema Language e ne rappresenta una sorta di estensione orientata al multimedia. In particolare XML Schema non è stato progettato per le descrizioni di contenuti audio/video e necessita quindi di tipi di dato per array e matrici, e tipo di dato per gestire il tempo (BasicTimePoint e BasicDuration).

Ad esempio la definizione di TimeType è:


 name="TimeType">
 >
 >
  name="TimePoint" type="mpeg7:TimePointType" />
  name="RelTimePoint" type="mpeg7:RelTimePointType" />
  name="RelIncrTimePoint" type="mpeg7:RelIncrTimePointType" />
 >
  minOccurs="0">
  name="Duration" type="mpeg7:durationType" />
  name="IncrDuration" type="mpeg7:IncrDurationType" />
 >
 >
>
 

 name="TimePointType">
  base="mpeg7:basicTimePointType">
 
 value="(\-?\d+(\-\d{2}(\-\d{2})?)?)?(T\d{2}(:\d{2}(:\d{2} (:\d+)?)?)?)?(F\d+)?(\-|\+\d{2}:\d{2})?" />
 >
>
 

 name="durationType">
  base="mpeg7:basicDurationType">
 
 value="\-?P(\d+D)?(T(\d+H)?(\d+M)
 ?(\d+S)?(\d+N)?)?( \d+F)?((\-|\+)\d{2}:\d{2}Z)?" />
 >
>

Usando queste definizioni di tipo contenute nella DDL, siamo in grado di descrivere il fatto che un certo filmato rappresenta un evento iniziato il 16 ottobre 2002 alle ore 17:00 in un paese con GTM+1, e dura 10 giorni, con questo codice:

>
  >2002-10-16T17:00+01:00>
  >P10D>
>

Ovviamente il DDL, oltre ai tipi qui introdotti (TimeType, TimePointType, e durationType), contiene molte altre definizioni che per brevità non tratteremo.

Description Tools

I Description Tools comprendono ‘Descriptor’ e ‘Descriptor Schemes’ che preferisco non distinguere e trattarli insieme, raggruppandoli in base alle loro funzionalità:

Schema and Basic Elements:
forniscono tutti i tipi di dato utilizzati nelle descrizioni, e la
loro corrispondenza con i tag utilizzati in Mpeg-7;
Content Description:
rappresentazione dell’informazione audio/video sia a livello
strutturale (basso livello), sia a livello semantico (alto livello);
Content Management:
permette di descrivere caratteristiche come creazione, formato, ed
uso del materiale multimediale;
Content Organization:
Permette di gestire collezioni di materiale multimediale: si possono
usare questi tool per implementare una base di dati XML di
informazioni su materiale multimediale;
Navigation and Access:
aiutano l’accessibilità al file multimediale;
User Interaction:
permettono di memorizzare le preferenze dell’utente.

Con i Description Tools siamo in grado di produrre due tipi di descrizioni Mpeg-7 valide: le “Complete Descriptions” che descrivono interamente un materiale multimediale come un video (l’esempio di file xml Mpeg-7 di questo articolo corrisponde ad una Complete Description perchè descrive completamente il video), e le “Descriptions Units” che non sono descrizioni intere ma dei componenti che possono far parte di una Complete Description.

Conclusioni

Non si è trattata la parte dei System Tools, inoltre della parte dei Description Tool si è data una semplice descrizione generale. I Description Tool sono la parte più corposa dello standard Mpeg-7, e studiarli tutti può richiedere tempo. Si suggerisce a tal proposito di utilizzare i documenti ufficiali dello standard o l’utilissima guida di Chiariglione all’indirizzo http://www.chiariglione.org/mpeg/ .

Introduzione alla Tecnologia XML

saverio — Sat, 26 Sep 2009 15:16:49 +0000

Relazione tra XQuery ed XPath

Il linguaggio XML è diventato uno degli elementi fondamentali per la realizzazione di sistemi informativi, indipendentemente dalla tecnologia usata.

Storia

Il World Wide Web Consortium (W3C), in seguito alla guerra dei browser fu costretto a seguire le individuali estensioni al linguaggio HTML. Dovette scegliere quali caratteristiche standardizzare e quali lasciare fuori dalle specifiche ufficiali dell’HTML. Fu in questo contesto che iniziò a delinearsi la necessità di un linguaggio di markup che desse maggiore libertà nella definizione dei tag, pur rimanendo in uno standard.

Il “progetto XML”, che ebbe inizio alla fine degli anni ‘80 nell’ambito della SGML Activity del W3C, suscitò un così forte interesse a tal punto che la W3C creò un gruppo di lavoro, chiamato XML Working Group, composto da esperti mondiali delle tecnologie SGML, ed una commissione, XML Editorial Review Board, deputata alla redazione delle specifiche del progetto.

Nel febbraio del 1998 le specifiche divennero una raccomandazione ufficiale con il nome di Extensible Mark-up Language, versione 1.0. Ben presto ci si accorse che XML non era solo limitato al contesto web, ma era qualcosa di più: uno strumento che permetteva di essere utilizzato nei più diversi contesti, dalla definizione della struttura di documenti, allo scambio delle informazioni tra sistemi diversi, dalla rappresentazione di immagini alla definizione di formati di dati.

Il Linguaggio

Definizione XML: (acronimo di eXtensible Markup Language) è un metalinguaggio di markup, ovvero un linguaggio marcatore che definisce un meccanismo sintattico che consente di estendere o controllare il significato di altri linguaggi marcatori. Costituisce il tentativo di produrre una versione semplificata di SGML che consenta di definire in modo semplice nuovi linguaggi di markup

Quindi quello che si fa con XML è definire/progettare dei propri “Linguaggi XML” (cioè un linguaggio basato su XML); ad esempio possiamo scegliere di codificare in XML i risultati di una giornata del campionato di calcio:

 giornata=”3°”>
  numero=”1”>
  >Napoli>
  >Juventus>
  >3-0>
 >
   numero=”2”>
  >Roma>
  >Lazio>
  >2-2>
 >
>

Il processo di sviluppo di un linguaggio XML è detto “XMLificazione”: ossia la scelta dei tag (partite, partita, squadra, risultato), degli attributi (giornata, numero), e della loro struttura.

Ci possono essere però altri linguaggi XML che usano i nostri stessi tag, e mischiare più linguaggi XML con nomi dei tag uguali può portare a confusione, per questo possiamo introdurre un namespace per i nostri nomi.

Namespace XML: Un namespace è una collezione di nomi di entità, definite dal programmatore, omogeneamente usate in uno o più file sorgente. Lo scopo dei namespace è quello di evitare confusione ed equivoci nel caso siano necessarie molte entità con nomi simili, fornendo il modo di raggruppare i nomi per categorie.Nel linguaggio XML i namespaces sono definiti esplicitamente.

Nel nostro caso la prima riga diventerà:

In questo modo indichiamo che il tag ‘partite’ e tutto il suo contenuto appartengono al namespace ‘http://www.fireteam.it’ di default.

Fin qui XML sembra la più banale delle tecnologie, eppure ha avuto così tanto successo… allora perché è così importante?

La Tecnologia XML

Il primo motivo è che tutti i file XML sono codificati in UNICODE (i famosi UTF-8 UTF-16, ed UTF-32), e sono stati eliminati in questo modo molto dei fastidi che affligevano i formati testuali.

Il secondo motivo è che con XML si può rappresentare l’informazione in modo semplice, mantenendo un minimo di struttura; non a caso l’informazione codificata in XML è detta semistrutturata, che è il compromesso dalla completa strutturazione (come ad esempio la struttura rigida di uno schema di un database relazionale) e l’assenza di struttura (schema-less, ossia il testo puro).

Il terzo motivo, che ritengo più importante, è che attorno a questo semplice linguaggio di markup sono state definite parecchie tecnologie utili a risparmiare lavoro durante il trattamento dei dati. Queste sono:

Xpath: è un linguaggio parte della famiglia XML che permette di individuare i nodi all’interno di un documento XML.

Linguaggi Schema: un linguaggio di schema è un linguaggio formale per esprimere “schemi”. Uno schema è la definizione formale della sintassi di un linguaggio XML, ovvero una famiglia di documenti XML.
- DTD: Il linguaggio DTD è utile a definire schemi DTD per un particolare linguaggio XML. DTD è semplice, con un potere espressivo limitato, non è autoesplicativo poiché non usa una notazione XML (è descritto da una grammatica BNF), e tra i tanti difetti non supporta i namespace in quanto il linguaggio DTD stato definito è stato definito prima dei namespace.
- Schema: è un linguaggio di schema nato per sostituire DTD. E’ più espressivo, è quasi autoesplicativo (è scritto in XML e la sua sintassi è definibile con XML schema stesso, ma non si riescono a catturare tutti gli aspetti sintattici del linguaggio). Inoltre introduce i tipi di dato e permette di crearne nuovi, in modo da riuscire a fare buoni controlli sui contenuti dei file XML.

XSL: acronimo di eXtensible Stylesheet Language, è il linguaggio di descrizione dei fogli di stile per i documenti in formato XML. Com’è noto, lo standard XML prevede che i contenuti di un documento siano separati dalla formattazione della pagina in cui verranno pubblicati.
- XSLT: XSL Transformations – il linguaggio di trasformazione dell’XML. Fa uso di XPath per accedere alle parti di un documento XML. La trasformazione è fatta da un modulo detto Processore XSLT, come ad esempio quello incluso nei browser.
- XSL-FO: XSL Formatting Objects – usato per l’applicazione degli stili e del modo di apparizione a un documento XML.

XQuery: abbrevazione per XML Query Language, è un linguaggio di programmazione specificato dal W3C e destinato ad interrogare documenti e basi di dati XML.

Qui è d’obbligo soffermarsi per discutere sull’utilità di un linguaggio di interrogazione XML. Un’ambiziosa applicazione di XML ha come scopo la generalizzazione del tradizionale modello delle basi di dati relazionali. Da tempo si sta cercando un’alternativa ai vecchissimi database relazionali, e si è provato in svariate direzioni… database gerarchici, database multidimensionali, database ad oggetti, ecc.

XML è un alternativa allettane! Oggi si scrive molto in XML, specialmente sul web dove vi sono pagine XHTML (che sono XML), e l’idea di avere un database XML perfettamente integrabile con tutti gli altri nostri dati non è affatto male… il World Wide Web può così diventare una gigantesca base di dati.

XQuery è un linguaggio per interrogare file XML, allo stesso modo in cui SQL interroga base di dati relazionali… ed è qui che una collezione di file XML è spesso chiamata Database XML.

E come tutti i linguaggi di interrogazione che si rispettano anche per XQuery c’è un algebra… XML Query Algebra definita dal W3C. In realtà i lavori sono ancora in progresso e ci sono varie proposte di algebra:

Algebra per linguaggi di interrogazione XML: sono stati proposti svariati linguaggi di interrogazione XML, come XQuery, XML-QL, ed altri; quindi c’è un interesse crescente verso l’interrogazione di file XML. Non ancora però è stata definita un’algebra comune per questi linguaggi. Un algebra formale è un passo obbligato per avere una buona ottimizzazione delle query.
- TAX: E’ una proposta di algebra non standard, utilizzata da un motore di database XML chiamato “Timber XML”. TAX sta per “Tree Algebra for XML”, ed è una proposta interessante perché usa un modello di dati dove i documenti XML sono effettivamente visti come alberi, quindi le varie operazioni (Selezione, Proiezione, Prodotto, Set, Raggruppamento, Aggregazione, Renaming, Reordering, Copy-and-Paste, Cancellazione, Inserimento) risultano definite in modo naturale.
- XML Query Algebra: anche chiamata “The Algebra” è la proposta di standardizzazione da parte del W3C. Questa algebra, che sembra assomigliare ad un linguaggio di programmazione dichiarativo, non definisce le operazioni con operatori ad HOC, ma riesce a ricavare le consuete operazioni mediante l’uso di cicli for, assegnazioni di variabili, costrutti condizionali, ed altro. Inoltre i tipi di dato sono molto importanti, e sono definiti per ogni espressione. Una volta tradotta una query, la sua ottimizzazione sfrutta delle regole di inferenza logica; un metodo del tutto innovativo.

E quando queste tecnologie non riescono a soddisfare le nostre richieste, entra in gioco la solita programmazione:

Programmazione XML: Benchè gli strumenti XML (Schema, XSLT, XQuery, XPath, ecc…) ci permettono di fare molti tipi di elaborazione, spesso c’è la necessita di manipolare file XML da linguaggi di programmazione di uso generale come ad esempio Java.
- DOM: Il Document Object Model (DOM) è una forma di rappresentazione dei documenti strutturati come modello orientato agli oggetti. DOM definisce un API per accedere e manipolare file XML comune a diversi linguaggi.
- SAX: (Simple API for XML) è un’API per numerosi linguaggi di programmazione che permette di leggere ed elaborare dei documenti XML. Contrariarmente al DOM, il SAX processa i documenti linea per linea. Il flusso di dati XML è unidirezionale, così che dati a cui si è acceduto in precedenza non possono essere riletti senza la rielaborazione dell’intero documento.
- JDOM: JDom è un API per accedere ed elaborare documenti XMl specifica per il linguaggio di programmaziopne Java, che (rispettando il principio del 80/20) permette di sviluppare con semplicità l’80% delle applicazione, mentre richiede una soluzione ad HOC per il restante 20%… cioè JDom sacrifica parte della generalità per dar miglior supporto alle applicazioni più comuni.

XML Retrieval: L’information retrieval (IR) è la disciplina che studia le tecniche utilizzate per il recupero mirato dell’informazione in formato elettronico.

Le Applicazioni XML

XML è oggi una tecnologia matura ed utilizzata negli ambiti più disparati… basta provare a salvare un documento di testo scritto con il famosissimo word processor OpenOffice, rinominare questo file .zip, e provare ad estrarre il contenuto: dentro troveremo il nostro documento descritto in XML!!!

Un altro esempio è SVG, lo standard aperto per la grafica vettoriale che punta a sostituire la tecnologia ‘flash’ sul web. Un file .svg è interamente scritto in XML, tant’è vero che si può aprire senza problemi con un qualsiasi editor di testo.

Alcuni linguaggi XML hanno avuto particolare successo come XHTML, CML (Chemical Markup Language), WML (usato nella tecnologia WAP dei cellulari), RSS ed altri… in particolare Mpeg7:

Mpeg-7: MPEG-7 è uno standard nato per codificare i contenuti multimediali; non è uno standard nato per codificare flussi audio o video come, ad esempio, MPEG-1 MPEG-2 o MPEG-4 ma per definire metadati sui dati multimediali.La codifica utilizza l’XML per memorizzare dei metadati che utilizzano a loro volta il timecode del filmato permettendo di sincronizzare i flussi multimediali con particolari eventi. Per esempio, permette di sincronizzare un filmato con i suoi sottotitoli o un video con il testo della canzone.

Introduzione alle Espressioni Regolari

saverio — Fri, 25 Sep 2009 06:35:43 +0000

Le espressioni regolari sono utili per descrivere la validità di valori, come ad esempio valori di attributi, dati caratteri, e qualsiasi tipo di valore esprimibile con un certo alfabeto.

Il concetto di espressione regolare è un formalismo importante utilizzato, in varie forme, in svariate applicazioni… ad esempio nei linguaggi di schema (come DTD di XML) per descrivere sequenze di elementi o caratteri. I linguaggi regolari sono utilizzati in molte altre aree dell’informatica oltre a XML, dall’elaborazione del testo e del linguaggio naturale alla verifica formale dei componenti hardware.

Potrebbe essere necessario, ad esempio, vincolare un valore ‘data’ in modo tale da rispettare il formato dd-mm-yyyy, ovvero sia composto da due cifre per il giorno, seguite da due per il mese e quattro per l’anno, tutto separato da un segno meno “-”. Alternativamente possiamo specificare che un certo valore deve essere un numero intero.

Chiamiamo Σ un alfabeto consistente in un insieme di atomi, che tipicamente sono caratteri Unicode o nomi di elementi. Un’espressione regolare su Σ è costruita in base alle seguenti regole:

ogni atomo in Σ, preso da solo, è un espressione regolare;
se a e b sono espressioni regolari, allora lo sono anche le seguenti:
- ```
a?
```
- ```
a*
```
- ```
a+
```
- ```
a b
```
- ```
a|b
```
- ```
(a)
```

Gli operatori ?, , e + hanno una precedenza superiore alla concatenazione (l’operatore vuoto o “giustapposizione”), che a sua volta ha una precedenza superiore a |. E’ sempre possibile usare le parentesi per raggruppare sotto-espressioni, superando così le precedenze di default. L’espressione ab*|c, in cui l’alfabeto Σ contiene a, b, e c, è interpretata come (a(b*))|c e non a(b*|c).

Una stringa finita di atomi di Σ può corrispondere o meno a una data espressione regolare a:

un atomo r appartenente a Σ corrisponde unicamente al singolo atomo r;
a? corrisponde ad a opzionalmente, ovvero a qualsiasi stringa corrisponda ad a più la stringa vuota;
a* corrisponde a zero o più ripetizioni delle stringhe che corrispondono ad a;
a+ corrisponde ad una o più ripetizioni delle stringhe che corrispondono ad a;
a b corrisponde a ciò a cui corrisponde ‘a’ seguito da ciò a cui corrisponde b;
a|b corrisponde all’unione delle corrispondenze di a e b;
(a) ha le stesse corrispondente di a.

L’espressione regolare (a(b*))|c corrisponde così a tutte le stringhe composte da una a seguite da zero o più b, oppure una singola c da sola.

Un linguaggio regolare è un insieme di stringhe che corrispondono a una qualche espressione regolare.

E’ possibile definire un’espressione regolare d (che sta per digit, cifra) scrivendo:

0|1|2|3|4|5|6|7|8|9

laddove l’alfabeto è composto ad esempio da tutti caratteri Unicode. Possiamo partire da questa definizione per definire un’altra espressione regolare ‘data’ scrivendo dd-dd-dddd. Naturalmente quest’espressione corrisponde anche a stringhe come 88-26-9995, che non denotano date reali, ma con un po’ più di sforzo è possibile catturare precisamente l’insieme di stringhe desiderato: in effetti su può usare un linguaggio regolare per gestire correttamente anche gli anni bisestili, ma allora le cose si fanno parecchie complicate!

La seguente espressione regolare descrive gli interi con un alfabeto composto dalle dieci cifre e dal segno meno:

0|-?(|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)*

Secondo questa definizione, -42, 0, 117 sono accettabili, mentre 000, -0 e 3.14 non lo sono.

Adesso facciamo l’ultimo esempio, più complicato! In XHTML il contenuto di un elemento table dev’essere una sequenza che consiste in un elemento opzionale ‘caption’ seguito da un certo numero di elementi ‘col’ o alternativamente ‘colgroup’, i quali a loro volta sono opzionalmente seguiti da un elemento ‘thead’ e uno ‘tfoot’, per concludere almeno un elemento ‘tbody’ (o alternativamente ‘tr’). Possiamo scrivere con un’espressione regolare:

caption? ( col* | colgroup* ) thead? tfoot? ( tbody+ | tr+ )

Esistono molte varianti delle espressioni regolari… ad esempio le regular expression del linguaggio perl: tuttavia la maggior parte di queste varianti si limita ad aggiungere zucchero sintattico alla notazione base che abbiamo appena presentato.

Un’estensione tipica sono gli intervalli di caratteri: [0-9], ad esempio, è una comoda abbreviazione per indicare le cifre al posto di 0|1|2|3|4|5|6|7|8|9. In modo analogo a{n,m} con n e m numeri interi non negativi, denota da n ad m ripetizioni di a. Un altro esempio sono le espressioni regolari usate nella suit di ufficio OpenOffice.

Espressioni Regolari in OpenOffice

Questa è l’introduzione alle espressioni regolari; per lavorare efficientemente con un vero implementazione di queste espressioni richiede ulteriore studio.

Nascondere i propri file

ivan — Thu, 24 Sep 2009 20:30:19 +0000

Quante volte abbiamo desiderato di nascondere i nostri file da occhi curiosi?
Questo articolo tratta come nascondere file con un sistema operativo Windows… gli utenti degli altri sistemi operativi non avranno difficoltà ad applicare gli stessiconcetti, specialmente gli utenti Linux hanno a disposizione moltissimi tool gratuiti per nascondere o crittare file.

Cominciamo subito ad introdurre una tecnica stupida che consente di proteggere al 98% il vostro amato file (che sia di testo o un video o quello che sia). Non serve semplicemente nascondere un file cambiando semplicemente gli attributi (Il file può essere sempre raggiunto dalla SHELL), è un trucco facilmente raggirabile.

Doppio cambio dell’estensione con compressione

Ammettiamo di aver un file di nome pippo.txt che contiene dati personali e password di alcuni siti, immaginiamo anche che il pc che usiamo lo utilizza anche il vicino di casa(cosa improbabile però mi serve per l’esempio)…

Il nostro vantaggio sta nel poter manipolare le estensioni dei file, infatti possiamo sfruttare gia l’estensione per camuffare il file, quindi, cominciamo a rinominare il file pippo.txt in pippo.dll: fatto questo abbiamo ottenuto un file con un icona diversa(quando in realtà è un normale file ASCII)… Siamo leggermente + tranquilli ma non basta!
Utilizziamo un programma di compressione come WinZip o qualcosa di free come IzArc. Adesso creiamo un nuovo archivio protetto da password che conterrà il nostro file pippo.dll(Scegliete una buona password).

Fatto questo, vi ritroverete con un file pippo.zip; in realtà possiamo gia tranquillizzarci, Ma per rendere le cose irriconoscibili facciamo un altra operazione di rename: da pippo.zip a pippo.dll e rimettiamo il nuovo pippo.dll in un altro archivio compresso.
Come potete vedere abbiamo fatto un lungo procedimento al fine di rendere il file di origine irriconoscibile agli occhi di un curioso!

Metodo Crittografico

Abbiamo precedentemente detto che il cambio dell’estensione è una tecnica sicura al 98%, infatti persone esperte sanno riconoscere il tipo di file indipendentemente dal nome o dall’estensione del file. La distribuzione Linux Helix è piena di tool capaci di eseguire questo compito in maniera automatica… possiamo zippare il file anche 1000 volte!

Per nascondere il file possiamo ricorrere alla crittografia, ed utilizzare programmi come TrueCrypt, Kruptos 2, Androsa File Protector, ed altri! Ad esempio TrueCrypt (http://www.truecrypt.org) è il programma di riferimento open source per la cifratura e la protezione dei dati personali. Permette di criptare file, cartelle e intere partizioni con i più famosi algoritmi di cifratura a 256 bit (AES, Twofish, Serpent), utilizzando anche 2 di questi algoritmi contemporaneamente. Il programma è in grado di creare un volume criptato nascosto all’interno di un altro volume criptato, in modo da lasciare un’area di sicurezza invisibile anche nel caso si sia costretti a rivelare la password (questa funzionalità è solo per utenti esperti, dal momento che se non si è capaci si rischia di perdere tutti i dati del volume nascosto).
Il volume da criptare potrà avere qualsiasi estensione vogliamo (.txt, .rar, .zip, .iso, .mp3, .jpg, ecc., o anche nessuna estensione): solo TrueCrypt -e con la giusta password- sarà in grado di aprirlo. Inoltre, non è nemmeno possibile stabilire che il file che abbiamo cifrato sia stato criptato con TreuCrypt (questo è un passo ulteriore verso la riservatezza).
Truecrypt non ha bisogno di installazione: si può lanciare da qualunque periferica e utilizzare per aprire -per esempio- qualche volume criptato all’interno del disco rigido.
A scanso di equivoci, ricordo che il criptare una partizione può avere effetti devastanti se non si comprende quello che si fa; prima di combinare danni irreparabili, è bene pensare molto bene prima di agire.

Per nascondere (crittare) semplicemente del testo, come le nostre email, è disponibile GPG (versione open source di PGP), un tool open source molto potente

Camuffare il File

Una tecnica molto sorprendente, e abbastanza difficile da rilevare, è quella di nascondere il proprio file all’interno di una immagine o di un video.
A tale scopo c’è Camouflage scaricabile gratuitamente da http://camouflage.unfiction.com, è un programma che consente di nascondere i propri file personali “Top Secret” all’ interno di altri file, ad esempio un documento di testo dentro a un’ immagine, dentro a un MP3, dentro a un video e viceversa.
Risulta utile per tutelare la propria privacy, in questo modo informazioni di una certa importanza potranno essere celate dentro un comune file e magari lasciato tranquillamente in bella vista nel desktop, senza destare sospetti e completamente al sicuro.

Semplice da utilizzare, nel menu contestuale del mouse una volta cliccato un file con il tasto destro, vengono aggiunte due nuove voci: Camouflage e Uncamouflage.

Camouflage: per nascondere il file Top Secret dentro un altro file.
Uncamouflage: per estrarre il file Top Secret dal file.

Per nascondere il file Top Secret, occorre cliccarlo con il tasto destro del mouse e dal menu contestuale selezionare la voce Camouflage. Verrà visualizzata la finestra di Camouflage, selezionare il file Top Secret e confermare cliccando Next.
A questo punto occorre selezionare il file dentro al quale si vuole nascondere il file Top Secret, ad esempio un’ immagine o una canzone. Confermare cliccando il pulsante Next. Verrà visualizzata l’ opzione Create This File dove eventualmente selezionare la destinazione di salvataggio del file con il contenuto Top Secret. Confermare cliccando Next. Infine, viene visualizzata la finestra nella quale inserire una password di protezione del file Top Secret. Inserire una password facile da ricordare per evitare spiacevoli dimenticanze.
Al termine confermare cliccando Finish. Il file Top Secret è stato nascosto dentro al comune e insospettabile file, che fra l’ altro può essere utilizzato normalmente.
Per estrarre il file Top Secret, cliccare il file in cui è nascosto con il tasto destro del mouse e dal menu contestuale selezionare la voce Uncamouflage, quindi inserire e confermare la password.

Spero di aver salvato i dati della postepay di qualcuno… ciao alla prossima!

Guida all’installazione di Windows Server 2003

saverio — Tue, 22 Sep 2009 12:40:15 +0000

Successore di Windows 2000, Microsoft Windows Server 2003 (Nome in codice Whistler Server, o anche Windows NT 5.2 o ancora Windows .NET Server) (2003) è una tappa della evoluzione della serie server dei sistemi operativi di Microsoft. Il lancio è avvenuto il 24 aprile 2003.
Windows Server 2003 è basato sulla provata stabilità di Windows 2000 Server e la compatibilità con altre caratteristiche di Windows XP.

Questa guida all’installazione e configurazione di Windows Server 2003 è rivolta ai sistemisti alle prime armi, oppure a chi vuole costrure il proprio server a casa
Sarà copera la parte della configurazione Hardware di un buon server; successivamente sarà indicato come configurare il Windows Server 2003 appena dopo l’installazione

Installazione Windows Server 2003

Anche se stiamo in italia, in ambito server installare sempre la versione inglese del sistema… questo ci può creare problemi per la rappresentazione delle date, ma ci semplifica la gestione: installare sempre gli altri pacchetti in inglese!!!

Hardware

Un pò di buon senso…

server web => molta RAM

server di file => molto spazio HD

Per piccole/medie imprese va bene un bi-processore. Per grossi server ci sono macchine a 4 processori: ITANIUM, OPTERON (AMD), XEON (INTEL)

Componenti interni fondamentali per il fault-tollerance:

- Alimentatore interno ridondande,

- Disk-array RAID:

- RAID 0, numero pari di dischi (mirroring)

- RAID 5, numero dispari di dischi + 1 di ripresa a caldo

Sono consigliabili minimo due interfacce di rete: 1 per la rete interna, e 1 per la rete esterna (internet).

Possibilemente schede di rete Gigabit

I moduli di RAM devono essere affidabili: ECC (Error Correction Code).

Preparativi

Partizionare il disco… almeno una partizione per il sistema operativo e una per i dati.

Un partizionamento professionale prevede quattro partizioni: System, Swap File, User Data, RIS Partition

Notare che i cilindri esterni del disco sono quelli letti più velocemente… conviene posizionale in questi posti la partizione di swap. Inoltre è buona norma fare la partiziona del sistema operativo (System) quanto più piccola possibile.

Configurazione di Base

Innanzitutto fare tutti gli aggiornamenti, installare le utility (bginfo, siw, ecc…), ed evitare sempre di usare Internet Explorer per scopi personali.

Menu e Desktop

Mettere il menu classico, oppure dalle impostazioni avanzate del desktop permettere di visualizzare le classiche icone sul desktop.

File temporanei

Bisogna unificare la cartella dei file temporanei, quindi:

1) Click destro su “My Computer” -> “Proprierties” -> tab “Advanced”

2) Modificare le variabili TMP e TEMP in modo che puntino alla stessa directory sul disco… ad esempio C:\Temp

File di swap

Fissare le dimensioni del file di swap in modo che variazioni del file non portino ad un’eccessiva frammentazione. Ad esempio:

-> Initial size (MB): 2048

-> Maxium size (MB): 2048

Effetti grafici

Eliminare gli effetti grafici:

-> Click destro sul Desktop -> “Proprierties” -> “Appareance ed Effects”

Monitor

Configurare gli Hertz del monitor a 60Hz. In questo modo non avremmo problemi di visualizzazione nel caso operiamo da vecchi terminali.

Aggiornamenti automatici

Per avere il totale controllo della macchina e’ bene disabilitare gli aggiornamenti automatici, in modo che Download the updates automatically and notify me when they are ready to be installed.