Одна из возможностей такой организации информации как раз и показана на рис. 1.9. В каждой вершине сети хранится логически непротиворечивая информация, совместимая в рамках одной ситуации, и эта информация может быть отражена в некоторой формальной системе. Относительно нее можно делать логически обоснованные выводы, которые можно использовать при наличии подобной ситуации. Но возможны и другие ситуации, в которых действуют свои аксиомы и семантические правила, своя интерпретация. В этих ситуациях (возможных мирах) может выводиться то, что в другой ситуации оказалось бы бессмысленным. [c.41]
При поиске решений в системах ситуационного управления используются не только функциональные модели, но и другие способы нахождения решений. В 5.4 мы уже упоминали о логико-трансформационных правилах, лежащих в основе многих реальных систем ситуационного управления. Использование подобных правил предполагает, что вся необходимая информация для вывода решения хранится в специально организованной базе знаний (см. рис. 5.6). Эта организация заключается в разбиении всей базы знаний на отдельные, возможно пересекающиеся участки, называемые сферами. Каждая сфера содержит знания, между которыми существует тесная семантическая, прагматическая или ситуативная связь. Сфере приписано определенное имя. Каждый факт, хранящийся в памяти системы управления, содержит информацию об именах тех сфер, в состав которых он входит. Кроме того, факт имеет собственное, присущее только ему, имя. Наконец, для факта указываются списки отношений, которыми он связан с другими фактами, и типов (имен) этих отношений. [c.238]
Эти правила позволяют для любой синтаксически правильной формулы исчисления высказываний приписать некоторое интерпретирующее значение. Нетрудно проверить, что всем аксиомам, перечисленным в примере 1.5, эти правила при любых интерпретациях входящих в них базовых элементов приписывают значение Истина . Семантические правила, приведенные в том же примере, не могут изменить значение формул, к которым они применяются. Таким образом, все формулы, которые выводятся из аксиом, также всегда имеют интерпретирующее значение Истина . Можно доказать, что аксиомы и правила вывода, приведенные нами, обладают свойством полноты в том смысле, что любая формула исчисления высказываний, которая имеет значение Истина , выводима из этого множества аксиом с помощью имеющихся семантических правил. А это означает, что исчисление высказываний, рассмотренное нами, является разрешимой формальной системой. Процедура л4 состоит в проверке того, что при любых интерпретациях базовых элементов проверяемой формулы она принимает значение Истина . Если это не так, то проверяемая формула не принад- [c.36]
Все правила вывода можно разбить в любой псевдофизической логике на две группы синтаксические и семантические. К первой группе относятся правила вывода, вытекающие из алгебраических свойств тех отношений, к которым они применяются. Правила второй группы вытекают из некоторой внешней семантической интерпретации этих отношений и сценариев, используемых при выводе новых фактов и отношений. [c.122]
Наконец, семантические правила П (по-другому они называются правилами вывода) расширяют, если это возможно, множество аксиом, добавляя к ним новые синтаксически правильные совокупности. Множество, получаемое после применения семантических правил к аксиомам, носит название множества семантически правильных совокупностей. [c.33]