Titlul original:
Languages and the Consistency
Conținutul cărții:
Lucrarea descrisă în această carte face parte din proiectul "ENGLISH BEANS", care este un program online de învățare a limbii engleze. Obiectivul său este de a ajuta elevii din învățământul primar și gimnazial să își îmbunătățească eficiența învățării limbii engleze prin utilizarea tehnologiilor de ultimă generație, precum Natural Language Processing, Corpus și Knowledge Graph. "English Beans" are o arhitectură ierarhică pe mai multe niveluri și o structură complexă și implică, de asemenea, o varietate de module și instrumente terțe. Prin urmare, consecvența între diferitele module și instrumente este o problemă esențială pentru integritatea proiectului "ENGLISH BEANS". Limbajul EXPRESS (ISO 10303-11) a fost introdus în proiect pentru a descrie cunoștințele, informațiile și datele relative într-un mod semi-formal. Activitatea de verificare, analiză și simulare s-ar aplica apoi la acest nivel semi-formal pentru a garanta coerența și caracterul complet al sistemului global.
Un model EXPRESS corect ar trebui să fie nu numai corect din punct de vedere sintactic, ci și complet și coerent din punct de vedere semantic. În acest context, definiția coerenței este aceea că nu ar trebui să existe constrângeri conflictuale în model, astfel încât modelul și toate sub-componentele sale să poată coexista corect într-o instanțiere.
Abordările actuale privind verificarea modelului EXPRESS se concentrează pe verificarea sintactică și semantică a limbajului și pe verificarea datelor de instanță în raport cu constrângerile modelului. Abordarea abordată în această carte este diferită prin faptul că ia în considerare problemele de coerență semantică prin analiza definiției modelului EXPRESS.
Consistența este, în parte, punctul central al mai multor paradigme, cum ar fi UML, OWL și programarea cu constrângeri (CP). Abordarea problemelor de coerență în aceste paradigme necesită semantică formală și tehnologii de raționament care pot acoperi pe deplin o astfel de semantică formală. Lucrarea descrisă aici utilizează aceste abordări formale și, mai ales, programarea constrângerilor, pentru a oferi un mediu de verificare a coerenței pentru modelele EXPRESS.
