Означивание

Cтраница 3

В процессе генерации семантического решения ИЗС, после означивания всех атрибутов, ФР-прототип превращается в сеть, или множество, ФР-примеров. [31]

Пусть, далее, з & - такое истинностное означивание эрбра-новской развертки, что Ж верифицирует атомарную формулу А тогда и только тогда, когда А - конъюнкт в v ( t) [ y / t ], где i ( 0 - формула, которая заменяет дизъюнктивный член в функциональной форме F. Мы утверждаем, что s & верифицирует каждый пример функциональной формы F, в частности я. Но это невозможно, так как А может появиться одновременно в n ( t) [ y / t ] и i ( s) [ y / s ] только при условиях, при которых ( а), ( Ь), ( с) и определение [ ы гарантируют, что эти вхождения козначны. [32]

Понятно, что если множество речевых значений функции означивания пусто, то это является достаточным условием для того, чтобы считать формулу умозаключения о реалии г и парадигме реалии PR ( r p) ложной. Однако обратное неверно, наличие речевого значения у формулы умозаключения не свидетельствует о том, что она справедлива, она возможно истинна и возможно ложна, что указывает на возможность ее практического осуществления во времени и тогда она обретет истинность в будущем. Далее, в тех случаях, когда понятно применение функции означивания, будем обходиться без использования ее символики в явном виде. [33]

Программная реализация любого этапа ДЭП-процсдуры представляет собой операцию означивания атрибутов определенного FR, которая автоматически выполняется с помощью блока вывода решений ( БВР), программно реализованного в структуре инструментальной ЭС Экран-ХТС ( см. гл. [34]

Если высказывание р принадлежит множеству Sv для каждого истинностного означивания V, то ( р является тавтологией. Каждое множество Sv, где V - истинностное означивание, составляет возможный мир ( см. [ Fitt69, ChelSO ]) множества высказываний PL. Каждый возможный мир является аристотелевым в том смысле, что для каждого высказывания а только одно из двух высказываний а и - 1 а может быть истинно в этом мире. [35]

Отметим, что сдвиг фокуса может повлечь за собой означивание новых сущностей или идентификацию реальных сущностей, которые соответствуют гипотетическим сущностям в неявном фокусе. Так, например, если фокус сдвигается в задачу ТЗ, то ОР2 ( отвод радиатора) вносится в фокус. При использовании фокуса процесс установления именных ссылок значительно отличается от используемых ранее методов поиска референта путем полного последовательного просмотра предшествующей части дискурса. [36]

Стратегии упорядочивания правил используют в качестве критерия для выбора означиваний из конфликтного набора приоритеты, приписанные правилам, т.е. источником знаний для стратегий этого класса является память правил. Между правилами может быть установлено отношение общего порядка, например правило Р доминирует над всеми остальными, Р2 доминирует на всеми правилами, кроме Р1 н тд. [37]

Данная стратегия предпочитает те означивания, которые отличаются от означиваний, выполненных в предыдущем цикле. С - РАЗЛ2 использует более сильный критерий. Эта стратегия считает два означивания различными, если различны их правила или данные. Кроме того, С - РАЗЛ2 использует полную историю системы при выборе предпочтительных означиваний. С - РАЗЛ2 препятствует вторичному использованию одинаковых означиваний. [38]

Представление процедуры означивания фрейма. [39]

Для примера, рассмотренного в табл. 13.1, процедура означивания атрибутов включает следующие основные шаги. [40]

Интерпретатор должен избегать принятия случайных решений, т.е. выбор одного означивания из многих должен осуществляться без использования механизма случайности. [41]

Постройте таблицу истинности для высказываний из множества 5 и определите означивания, при которых эти высказывания обращаются в истину. Далее докажите, что имеются в точности три таких истинностных означивания. [42]

Пример задания тематической структуры диалога. [43]

Конкретная вершина дерева контекстов называется контекстом и создается как результат означивания контекста соответствующего типа. [44]

На этапе разрешения конфликтов механизм вывода выбирает из конфликтного набора те означивания, которые будут выполняться в текущем цикле. На данном этапе интерпретатор оценивает означенные модули с точки зрения их полезности при достижении текущей цели. Подчеркивая этот факт, данный этап иногда называют этапом планирования. [45]

Страницы: 1 2 3 4