Lingue e coerenza

Titolo originale:

Languages and the Consistency

Contenuto del libro:

Il lavoro descritto in questo libro fa parte del progetto "ENGLISH BEANS", un programma di apprendimento dell'inglese online. Il suo obiettivo è aiutare gli studenti della scuola primaria e secondaria a migliorare l'efficienza dell'apprendimento dell'inglese utilizzando tecnologie all'avanguardia come l'elaborazione del linguaggio naturale, il corpus e il Knowledge Graph. "English Beans ha un'architettura gerarchica a più livelli e una struttura complessa, oltre a coinvolgere una serie di moduli e strumenti di terze parti. La coerenza, tra i diversi moduli e strumenti, è quindi un problema fondamentale ai fini dell'integrità del progetto "ENGLISH BEANS". Il linguaggio EXPRESS (ISO 10303-11) è stato introdotto nel progetto per descrivere le conoscenze, le informazioni e i dati relativi in modo semi-formale. Il lavoro di verifica, analisi e simulazione si applica a questo livello semi-formale per garantire la coerenza e la completezza del sistema complessivo.

Un modello EXPRESS corretto non deve essere solo sintatticamente corretto, ma anche semanticamente completo e coerente. In questo contesto, la definizione di coerenza è che non ci devono essere vincoli contrastanti nel modello, in modo che il modello e tutti i suoi sottocomponenti possano coesistere correttamente in un'istanziazione.

Gli approcci attuali alla verifica dei modelli EXPRESS si concentrano sulla verifica sintattica e semantica del linguaggio e sulla verifica dei dati di istanza rispetto ai vincoli del modello. L'approccio trattato in questo libro è diverso in quanto considera le questioni di coerenza semantica attraverso l'analisi della definizione del modello EXPRESS.

La coerenza è in parte al centro di diversi paradigmi come UML, OWL e la programmazione a vincoli (CP). Affrontare i problemi di coerenza in questi paradigmi richiede una semantica formale e tecnologie di ragionamento in grado di coprire completamente tale semantica formale. Il lavoro qui descritto utilizza questi approcci formali, e in particolare la programmazione dei vincoli, per fornire un ambiente di verifica della coerenza per i modelli EXPRESS.