<На страницу назад | На страницу вперед>
А.4.1 Ситуации и инфоны
Понятие "ситуация" является основным понятием теории ситуаций.
Это понятие встречается в литературе, связанной с представлением знаний. Ситуации
(как правило) представляют конкретные фрагменты реального мира, имеющие протяженность
во времени или пространстве, например, игра в бейсбол, математический курс,
производственная система (хотя ситуации в неконкретных системах также допускаются,
например, поле вещественных чисел). Одна ситуация в теории ситуаций отличается
от любой другой ситуации порциями информации, которые она поддерживает
или которые действуют в ней. В теории ситуаций отдельные порции информации
называются инфонами (infon). Сами инфоны в данной предметной области
состоят из объектов, свойств и отношений, существующих в данной предметной области.
(Объекты в данном случае понимаются в широком смысле и включают не только физические
объекты, но также и абстрактные объекты, например, числа и временные интервалы).
Точнее говоря, базовые инфоны в данной ситуации s представляют основные
единицы информации, хорошие и плохие, "генерируемые" комбинационно
из отношений и соответствующих аргументов для этих отношений в рамках s; это
значит, что базовые инфоны в рамках s включают все возможные правомерные единицы
информации, имеющие форму:
objects a1, ..., an stand in relation r,
(объекты a1, ..., an находятся в отношении r)
и
objects a1, ..., an do not stand in relation r,
(объекты a1, ..., an не находятся в отношении r)
где r и ai представляют все составляющие s. (Отношения, которые устанавливаются между индивидуальными объектами, называются отношениями первого порядка). Эти инфоны будут представлены в разрабатываемом здесь языке как "(r a1 ..., an +)" и "(r a1 ..., an -)", соответственно. Ситуация s поддерживает базовый "позитивный" инфон (r a1 ..., an +) только в том случае, если ее составляющие объекты a1, ..., an присутствуют в s (по крайней мере в течение некоторого промежутка времени в течение s) и находятся в отношении r в рамках s; s поддерживает базовый "негативный" инфон (r a1 ... an -) только в том случае, если a1, ..., an присутствуют в s, но не находятся в данном отношении r в рамках s. s отрицает (r a1 ... an +) только в том случае, если ее составляющие объекты a1, ..., an присутствуют в s, но не находятся в отношении r в рамках s; и s отрицает (r a1 ... an -) только в том случае, если a1, ..., an присутствуют в s, но не находятся в отношении r в рамках s. Например, инфоны (mother-of Hillary Chelsea +) (мать-Хиллари Челси +) и (mother-of Chelsea Hillary -) (мать-Челси Хиллари -) поддерживаются или действуют в типичной для Белого дома ситуации s в 1995 году; напротив, такие ситуации отрицают (mother-of Chelsea Hillary +) (мать-Челси Хиллари +) и (mother-of Hillary Chelsea -) (мать-Хиллари Челси); мы также говорим, что эти инфоны не действуют в таких ситуациях. В используемом здесь языке эти факты можно выразить следующим образом: "(supports s (mother-of Hillary Chelsea +))", "(supports s (mother-of Chelsea Hillary -))", "(denies s (mother-of Hillary Chelsea -))" и "(denies s (mother?of Chelsea Hillary +)), соответственно, где s представляет допустимую ситуацию в Белом доме.
Обратите внимание: поскольку ситуации (как правило) представляют ограниченные фрагменты мира, объект b, который существует в одной ситуации, может не существовать в другой ситуации. Следовательно, "ничего не говорит" относительно b; точнее говоря, она не поддерживает информацию относительно b. Ситуации являются неполными по отношению к информации; они не отвечают на каждый вопрос относительно каждого индивида или каждого положения дел. Например, типичная игра в бейсбол в Astrodome в Хьюстоне не несет никакой информации относительно (к примеру) цен на лосося "кижуч" на рынке Pike Place в Сиэтле.
Сказать, что s поддерживает данный базовый инфон (r a1 ... an +),, значит, сказать, что индивиды a1, ..., an находятся в отношении r в течение s. Однако, положение дел может меняться в рамках ситуации; например, в типичных утренних ситуациях происходит изменение состояния из состояния сна в состояние пробуждения. Это изменение можно зафиксировать в теории ситуаций посредством подсчета временных интервалов как индивидов и включения временного параметра в явной форме между аргументами отношений первого порядка, где это уместно. Так, например, свойство "спящий" (asleep) следует фактически воспринимать как 2-местное отношение, действующее между индивидами и временными интервалами. Таким образом, если s представляет типичную утреннюю ситуацию между 6:00 и 8:00 утра в доме индивида b, то вполне вероятно, что это отражает оба случая: (supports s (asleep b 0600 +)) и (supports s (asleep b 0800 -)). (Если релевантный временной параметр понятен, его можно исключить для удобства). В семантике данной версии теории ситуаций, используемой в сочетании с IDEF3, допускается, что в данной ситуации присутствуют все субинтервалы интервала, в течение которого имеет место данная ситуация. Поэтому ситуация, которая имеет место от 6:00 до 8:00 утра, поддерживает всю релевантную временную информацию, например, что интервал от 6:00 до 6:15 предшествует интервалу от 6:30 до 6:45.