ГОСТ Р ИСО 18629-12—2010
Приложение В
(справочное)
Связь с ситуационным исчислением
Теории дерева случаев, дискретных состояний и атомарной деятельности являются дополнениями к более
ранним работам по исследованию представления знаний, проводимому членами сообщества исследователей в
области искусственного интеллекта. В частности, понятие дерева случаев представляет собой обобщение ситуа
ционного исчисления. Ситуационное исчисление — это формализм логических выводов о действиях, приведен
ных в [2J. Исходная онтология, приведенная в {2]. включает в себя ситуации, флюенты и действия. Несмотря на то
что в более ранних исследованиях отсутствовала аксиоматика ситуационного исчисления, в них содержались
неформальные интуитивно понятные представления, пригодные для интерпретации данных основных катего
рий. Ситуации рассматривались как «моментальные снимки мира», флюенты представляли свойства, которые
могли быть разными для разных ситуаций, а действия вызывали изменения значений флюенгов.
Язык ситуационного исчисления по (2] содержит символ отношения holds(f.s) (для указания того, что значе
ние флюента f является истинным в ситуации s) и символ функции do(a.s) (для обозначения ситуации, которая
является результатом выполнения действия а в ситуации s). Предварительные условия и результаты действия
представлены аксиомами, определяющими содержание флюентов при выполнении действий.
В [4] приведен набор аксиом ситуационного исчисления. В частности. Рейтер (Reiter) предложил использо
вать для ситуационного исчисления аксиоматику второго порядка, в которую входит новый символ отношения
poss(a.s) для обозначения возможности действия а в ситуации s, а также новый символ константы S0 для обозна
чения начальной ситуации. Моделями данной теории ядра являются деревья с корневым элементом S0. ветви
которых представляют возможные ситуации в будущем с описанием всех возможных вариантов эволюции собы
тий в мире. При этом произвольная последовательностьдействий определяет ветвь дерева ситуаций, так что две
разные последовательности действий приводят к возникновению разных ситуаций. При данном подходе ситуа
ции на интуитивном уровне представляются в виде последовательности случаев действий. Следует отметить, что
деревья ситуаций не описывают переходы между состояниями, а представляют возможные в будущем
гипотети ческие «состояния мира» в качестве результатов конкретных последовательностей действий.
Аксиоматика ситуационного исчисления, приведенная в [4]. не включает в себя теорию ядра для времени и
не предусматривает средств представления параллелизма. В [3) приведена расширенная аксиоматика путем
включения этих концепций.
В настоящем стандарте аксиомы, приведенные в [4] и (3). модифицированы. Вместо деревьев, в которых
ситуации представлены в виде последовательностей действий, рассмотрены деревья, в которых ситуации в об
щих чертах аналогичны случаям деятельности. Так как начальная ситуация S0 не соответствует случаю какой-
либо деятельности, потребовалось введение случаев начальной деятельности. Кроме того, аксиоматика, приве
денная в настоящем стандарте, является аксиоматикой первого порядка.
26