Původní název:
Languages and the Consistency
Obsah knihy:
Práce popsaná v této knize je součástí projektu "ENGLISH BEANS", což je online program pro výuku angličtiny. Jeho cílem je pomoci žákům základních a středních škol zlepšit efektivitu výuky angličtiny pomocí nejmodernějších technologií, jako je zpracování přirozeného jazyka, korpus a znalostní graf. "English Beans" má víceúrovňovou hierarchickou architekturu a komplexní strukturu a zahrnuje také řadu modulů a nástrojů třetích stran. Konzistence, mezi různými moduly a nástroji, je proto klíčovým problémem pro účely integrity projektu "ENGLISH BEANS". Do projektu byl zaveden jazyk EXPRESS (ISO 10303-11), který poloformálním způsobem popisuje relativní znalosti, informace a data. Na této poloformální úrovni by se pak uplatnila kontrola, analýza, simulační práce, aby byla zaručena konzistence a úplnost celého systému.
Správný model EXPRESS by měl být nejen syntakticky správný, ale také sémanticky úplný a konzistentní. V tomto kontextu definice konzistence znamená, že by v modelu neměla existovat žádná konfliktní omezení, aby model a všechny jeho dílčí komponenty mohly správně koexistovat v instanci.
Současné přístupy ke kontrole modelu EXPRESS se zaměřují na syntaktickou a jazykovou sémantickou kontrolu a na kontrolu dat instance podle modelových omezení. Přístup popsaný v této knize se liší tím, že se zabývá otázkami sémantické konzistence pomocí analýzy definice modelu EXPRESS.
Na konzistenci se částečně zaměřuje několik paradigmat, například UML, OWL a programování s omezeními (Constraint Programming - CP). Řešení otázek konzistence v těchto paradigmatech vyžaduje formální sémantiku a argumentační technologie, které mohou takovou formální sémantiku plně pokrýt. Zde popsaná práce využívá tyto formální přístupy, a zejména programování omezení, k poskytnutí prostředí pro kontrolu konzistence modelů EXPRESS.
