Оглавление
Информационная система Scott
-
Определение информационной системы Скотта
- Информационная система Скотта – это логико-дедуктивная система, используемая для представления предметных областей.
- Она состоит из трех компонентов: набора токенов (T), конечных подмножеств токенов (Con) и удовлетворяющих отношений (⊢).
-
Примеры информационных систем Скотта
- Натуральные числа: T = N, Con = {∅} ∪ {{n} | n ∈ N}, X ⊢ a ⟺ a ∈ X.
- Логическое исчисление: T = {ϕ | ϕ выполнимо}, Con = {X ∈ Pf(T) | X является последовательным}, X ⊢ a ⟺ X ⊢ a.
- Домены Скотта: T = D0, Con = {X ∈ Pf(T) | X имеет верхнюю границу}, X ⊢ d ⟺ d ⊑ ⨆X.
-
Связь информационных систем и доменов Скотта
- Из информационной системы можно построить домен Scott, используя упорядочение подмножеств и аппроксимируемые отображения.
- Домены Скотта и информационные системы связаны через отображение, которое сохраняет структуру и порядок.
-
Рекомендации
- Для более глубокого изучения темы рекомендуется обратиться к книге Глинна Винскела “Формальная семантика языков программирования”.
Полный текст статьи: