Il cammino verso l’e-learning: formazione a distanza ed e-learning. La terza generazione dell’e-learning: i Learning Objects (LO).
Introduzione ai sitemi logici. Verità e dimostrabilità.
Logica proposizionale e predicativa. Deduzione naturale nella logica proposizionale. Rappresentazione di proposizioni nella logica dei predicati.
Introduzione al linguaggio XML. Parsing non validante e validante.
Caratteristiche dei Resource Description Frameworks per la rappresentazione della conoscenza.
- dispense del docente on line
- manuale on line di XML http://xml.html.it/guide/leggi/58/guida-xml-di-base/, paragrafi 1-8
Obiettivi Formativi
Conoscere il mondo dell’e-learning: fornire una panoramica sui nuovi approcci per la creazione di Learning Objects, e indirizzare lo studente alla conoscenza e all’approfondimento delle caratteristiche e delle potenzialità del web semantico.
Imparare i processi base del ragionamenti logico ed i concetti di verità e dimostrabilità. Derivare la conoscenza tramite processi inferenziali.
Fornire cenni e stimoli alla analisi delle prospettive offerte dal web semantico. Realizzare e modificare tramite il linguaggio XML i Learning Objects. Progettare e costruire percorsi formativi personalizzati.
Prerequisiti
nessuno
Metodi Didattici
lezioni frontali con esempi ed esercizi. Integrazione di sedute al PC se possibile
Altre Informazioni
nessuna
Modalità di verifica apprendimento
esame scritto e orale
Programma del corso
Formazione a distanza ed e-learning. Personalizzazione dell’apprendimento on line.
La terza generazione dell’e-learning: i Learning Objects (LO). I metadati.
Lo standard SCORM. Problemi dello standard SCORM. I LO repository. Ricerca all’interno del repository Merlot.
Scrivere i metadati in XML. Definizione del linguaggio XML. Parsing non validante e validante.
Il Web Semantico. Agenti basati sulla conoscenza. Linguaggi di rappresentazione della conoscenza: sintassi e semantica.
Verità e dimostrabilità. Interpretazione delle formule in un modello. Processi di inferenza automatica.
I sitemi logici. La logica proposizionale e predicativa. Logica proposizionale: sintassi e formule ben formate. La semantica della logica proposizionale
Tavole di verità.
Logica proposizionale: le regole di inferenza. Alberi di deduzione.
La logica predicativa. Sintassi (formule ben formate). Semantica: il valore dei connettivi. Rappresentazione di proposizioni nella logica dei predicati.
La rappresentazione della conoscenza tramite gli RDF (Resource Description Frameworks) fatta in XML.
L’RDF Data Model: risorse, proprietà e statements. Il grafo della conoscenza. L’RDF Schema. Trasformare relazione n-arie in relazioni binarie: i blank node. Utilizzo dei blank node con i contenitori.
Il concetto di reificazione. Rappresentazione di meta-informazioni tramite la reificazione. Cenni al concetto di classe.