Linguaggi, Logiche e Tecnologie per la Gestione Semantica dei Testi

  • Anno Accademico corrente: 2018-2019
  • Corso di Studi: Laurea Magistrale In Gestione E Conservazione Dei Documenti Digitali (vai al sito)
  • Calendario didattico: I corsi iniziano il 04.03.2018 e terminano il 08.06.2018.  (apri il calendario)
  • Nome Docente: Dott.ssa Valeria Fionda (invia email)
  • Orario di ricevimento: Su appuntamento
  • Numero di crediti ECTS: 9
  • SSD di riferimento: INF/01-Informatica
  • Obiettivi: Una volta superato l’esame, lo studente avrà acquisito: - conoscenza dei principi della logica Booleana, proposizionale, e predicativa; - padronanza dei metodi per la rappresentazione ontologica della conoscenza; - padronanza dei saperi tecnici per la gestione semantica dei testi;
  • Orario delle lezioni: Lunedì dalle 14 alle 16, Mercoledì dalle 14.00 alle 17.00 e Giovedì dalle 15.00 alle 17.00, aula E, cubo 20B, II piano.

Programma

    • Linguaggio Proposizionale: Sistemi formali, Sintassi, Semantica.
    • Sistemi deduttivi proposizionali e liguaggi predicativi.
    • Rappresentazione della conoscenza: Logiche descrittive, tassonomie, ontologie.
    • Tecnologie del Web semantico.

Testi Consigliati

  • Titolo: Strutture, Logica, Linguaggi
    • Autori: Luigia Carlucci Aiello, Fiora Pirri
    • ISBN:9788891907844
    • Casa Editrice: Pearson

Software utilizzati durante il corso

Modalità d'esame

  • Lo studente che, in regola con l’iscrizione e le tasse relative  può sostenere tutte le prove di accertamento del profitto.
  • L’esame consta di:
    • Due progetti svolti durante le lezioni/esercitazioni e/o a casa e da consegnare via email prima dell'esame.
    • Un test scritto sugli argomenti delle lezioni.
    • La prova orale è facoltativa.
 

Calendario delle lezioni