deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

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

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

Типы в теории определяются путем применения двух форм абстракции типов, начиная с начального набора базовых типов.
Основные типы:
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 г.
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 2 comments