Jazyky a konzistencia

Pôvodný názov:

Languages and the Consistency

Obsah knihy:

Práca opísaná v tejto knihe je súčasťou projektu "ENGLISH BEANS", čo je online program na výučbu angličtiny. Jeho cieľom je pomôcť žiakom základných a stredných škôl zlepšiť efektivitu výučby angličtiny pomocou najmodernejších technológií, ako je spracovanie prirodzeného jazyka, korpus a znalostný graf. "English Beans" má viacúrovňovú hierarchickú architektúru a komplexnú štruktúru a zahŕňa aj rôzne moduly a nástroje tretích strán. Konzistentnosť, medzi rôznymi modulmi a nástrojmi, je preto kľúčovým problémom na účely integrity projektu "ENGLISH BEANS". Do projektu bol zavedený jazyk EXPRESS (ISO 10303-11), ktorý poloformálnym spôsobom opisuje relatívne znalosti, informácie a údaje. Na tejto poloformálnej úrovni by sa potom uplatňovala kontrola, analýza, simulačná práca, aby sa zaručila konzistentnosť a úplnosť celého systému.

Správny model EXPRESS by mal byť nielen syntakticky správny, ale aj sémanticky úplný a konzistentný. V tomto kontexte definícia konzistencie znamená, že v modeli by nemali existovať žiadne konfliktné obmedzenia, aby model a všetky jeho čiastkové komponenty mohli správne koexistovať v inštancii.

Súčasné prístupy ku kontrole modelu EXPRESS sa zameriavajú na syntaktickú a sémantickú kontrolu jazyka a na kontrolu údajov inštancie podľa modelových obmedzení. Prístup, ktorým sa zaoberá táto kniha, je odlišný v tom, že zohľadňuje otázky sémantickej konzistencie prostredníctvom analýzy definície modelu EXPRESS.

Na konzistentnosť sa čiastočne zameriavajú viaceré paradigmy, napríklad UML, OWL a programovanie s obmedzeniami (Constraint Programming - CP). Riešenie otázok konzistentnosti v týchto paradigmách si vyžaduje formálnu sémantiku a technológie zdôvodňovania, ktoré dokážu takúto formálnu sémantiku plne pokryť. Práca opísaná v tomto dokumente využíva tieto formálne prístupy, a najmä programovanie obmedzení, na poskytnutie prostredia na kontrolu konzistentnosti pre modely EXPRESS.