Теория ситуаций. Семантика ситуаций.

Теория ситуаций. Семантика ситуаций. Логика минимальных моделей.

Типы в теории определяются путем применения двух форм абстракции типов, начиная с начального набора базовых типов.
Основные типы:
TIM: тип временной локации
LOC: тип пространственного положения
IND: тип человека
RELn: тип n-местного отношения
SIT: тип ситуации
INF: тип инфона
TYP: тип типа
PAR: тип параметра
POL: тип полярности (например, 0 или 1)
Инфоны бывают основных типов. Например: если l - местоположение, то l относится к типу LOC, а информация << of-type, l, LOC, 1 >> - это факт.

https://en.wikipedia.org/wiki/Situation_theory
https://en.wikipedia.org/wiki/Situation_semantics
https://en.wikipedia.org/wiki/Circumscription_(logic)
https://en.wikipedia.org/wiki/Supervaluationism

Из-за своей практической природы и постоянного развития эта работа «с возможными ситуациями как частями возможных миров теперь имеет гораздо большее влияние, чем идеи Барвайза и Перри».
Барбара Парти , "Размышления формального семантика по состоянию на февраль 2005 г.", стр. 20. 14 февраля 2005 г.