Cтраница 1
Означивание приписывает истинностное значение, t или /, атомам языка. Истинностное означивание является расширением означивания на множество высказываний языка. В последующей теореме 1.3.4 будет доказано, что каждое означивание может быть однозначно расширено до истинностного означивания. [1]
Означивание фреймов-прототипов завершается после получения всей необходимой исходной информации для компоновки оборудования проектируемого объекта. При означивании атрибутов фрейма-прототипа могут использоваться вычислительные операции и выполняться процедуры обращения к другим, прото-фрей-мам, входящим в БЗ. В случае, если объем информации для проектирования недостаточен, необходимо провести смысловой анализ использованнных и запоминаемых в ходе работы эвристических правил компоновки с целью ввода в БЗ дополнительных эвристических правил исключающих возникновение противоречий. Предложение о расширении БЗ за счет ввода новых правил реализуется и при использовании проектировщиком пустого слота для ввода в ЭС необходимой информации. [2]
Следующее истинностное означивание s & верифицирует каждый пример G0, GI и G3: Ж верифицирует Пу1у2 тогда и только тогда, когда yi есть суффикс у2, и j верифицирует Q ViY2 тогда и только тогда, когда у. [3]
Функция означивания Z ( r p) вообще говоря не является однозначной функцией, существенно, чтобы она имела хотя бы одно речевое значение. [4]
Если выполнено означивание переменных в некоторой импликации, содержащей универсальные переменные, то эти переменные становятся частью подпроблемы, сформированной извлечением предпосылки ( см. правило 3 таблицы 6.1) или следствия ( правило 4), и свободны для связывания в процессе решения подпроблемы. [5]
Пусть при означивании характеристик атрибутов FRL и FR2 получено: X - насос, У - емкость, Z - блок перекачки. Данные ПрВ отображают следующие ЭП: насосы, связанные с емкостями, включают в блок перекачки. При этом ПрВ стоящее слева от знака импликации, называется условием данного сложного условного ПрВ, на основе которого делается заключение - ПрВ, стоящее справа от знака импликации. [6]
Таким образом, означивание приписывает истинностные значения атомам языка. [7]
Поэтому существует такое означивание W, что ( 1), ( 3) и ( 4) верны. [8]
Мы должны найти атомарное означивание для Еи, в котором все элементы из Н будут истинны. Затем предполагаем, что формула X имеет степень большую, чем О, и каждый элемент из Н меньшей степени истинен по индуктивному предположению. Тогда мы должны доказать, что и сама формула X будет истинной. Так как сама формула X является одной из а -, / 3 -, j - или 5-формул, то нетрудно видеть, что X будет истинна. [9]
По теореме 1.3.4 искомое истинностное означивание VF, расширяющее F, определено однозначно. [10]
При наличии нескольких означиваний, пригодных для текущей ситуации, интерпретатор должен выбрать некоторое целесообразное действие. [11]
Упорядоченные пары называются означиваниями. [12]
Данная стратегия предпочитает те означивания, которые отличаются от означиваний, выполненных в предыдущем цикле. С - РАЗЛ2 использует более сильный критерий. Эта стратегия считает два означивания различными, если различны их правила или данные. Кроме того, С - РАЗЛ2 использует полную историю системы при выборе предпочтительных означиваний. С - РАЗЛ2 препятствует вторичному использованию одинаковых означиваний. [13]
Предположим, что только означивание K2i было выполнено ранее. Стратегия С - ВОЗР2 не применяется, так как осталось одно означивание. Рассмотренная комбинация стратегий в соответствии с данными табл. 6.7 поддерживает все характеристики. Однако на практике этого не происходит, так как стратегии при комбинировании оказьтают отрицательное влияние друг на друга. Так, например, появление стратегии C - B03Pi до С - ВОЗР2 приводит к потере управления, обеспечиваемого механизмом ПОДПРОГРАММ. [14]
В каждом блоке-вопросов происходит означивание атрибутов ФР в соответствии со значениями характеристики, учитываемой в нем, и ЭП, устанавливающих зависимость между атрибутами и характеристиками ФР. [15]