Cтраница 3
Рассмотрим случай, когда некоторый конъюнкт содержит только литералы с отрицанием вида - г - ( al оа), где аг такие, как в предыдущем случае. Так как этот конъюнкт имеет фиксированное число литералов, то если р достаточно велико, то можно выбрать значения сг и с2 для Ь1 и Ь2, такие, что ( сг с2) не входит в [ р ], но все атомы из конъюнкта ложны. Так как Е и Ер эквивалентны, то Е ( г) не может определять транзитивного замыкания для всех отношений г ( А. [31]
Запись выражений в СКНФ производится аналогично, но объединяются ячейки с нулями. Термы записываются в виде дизъюнкции переменных по принципу: если прямоугольнику соответствует 1 - е значение какой-либо переменной, то данная переменная входит в конъюнкт в инверсном виде; если 0 - е значение, то в чистом; если соответствует как 1 - е, так и 0 - е, то в конъюнкт переменная не входит. После конъюнкты объединяются функциями конъюнкции. [32]
Запись выражений в СКНФ производится аналогично, но объединяются ячейки с нулями. Термы записываются в виде дизъюнкции переменных по принципу: если прямоугольнику соответствует 1 - е значение какой-либо переменной, то данная переменная входит в конъюнкт в инверсном виде; если 0 - е значение, то в чистом; если соответствует как 1 - е, так и 0 - е, то в конъюнкт переменная не входит. После конъюнкты объединяются функциями конъюнкции. [33]
Понятия литеры, дизъюнкта и КНФ, введенные в исчислении высказываний, непосредственно распространяются на исчисление предикатов. Литера - это атом или его отрицание, дизъюнкт - дизъюнкция литер, конъюнктивная нормальная форма - предваренная форма, матрица которой есть конъюнкция дизъюнктов. Равным образом можно использовать двойственные понятия: импликант ( конъюнкт) есть конъюнкция литер, дизъюнктивная нормальная форма - это предваренная форма, матрица, которой есть дизъюнкция импликантов. [34]
Целью алгоритма фокусирования является нахождение конъюнктов в условии правила. В иерархии каждого атрибута алгоритм отслеживает два указателя, называемые нижним I / и верхним U. L указывает на наиболее ограничивающее условие, которое может быть конъюнктом правила. Правильный конъюнкт является обобщением любого из конъюнктов, расположенных ниже L. Указатель U отмечает наименее ограничивающее условие, которое может быть конъюнктом. Все условия, не являющиеся специализацией [ 7, не могут быть конъюнктами, так как противоречат контрпримерам. [35]
Для получения минимальной ДНФ из сокращенной ДНФ используется матрица Квайна, которая строится следующим образом. В заголовках столбцов таблицы записываются конституенты единицы совершенной ДНФ, а в заголовках строк - простые им-пликанты из полученной сокращенной ДНФ. В таблице звездочками отмечаются те пересечения строк и столбцов, для которых конъюнкт, стоящий в заголовке строки, входит в конституенту единицы, являющейся заголовком столбца. [36]
Координацию работы субавтоматов ( см. рис. 17.13) выполняет основной автомат путем формирования сигналов для запуска субавтоматов или задержки их работы. Функционирование каждого субавтомата соответствует определенному состоянию основного автомата. С целью учета этого в логические выражения для управляющих переменных вводятся в качестве конъюнктов выражения, кодирующие эти состояния, а наборы логических выражений каждого субавтомата дополняются выражением для переменной Т, являющейся флагом окончания работы субавтомата и разрешением перехода к следующему состоянию основного автомата. [37]
При стенозе обоих канальцев, вызнанном каким-нибудь заболеванием, нарушением целости при травлю пли сморщиванием в результате облучения, Сталлард рекомендует производить копъюнктнво-дакриоцистосто-мпю. Ему удалось устранить слезотечение у боксера, получившего удар, которым были разорваны канальцы. При описываемой операции слезный мешок выделяют из слезной ямки, протягивают сквозь туннель, проделанный хирургическим путем в шикнем веке к нижнему конъюнкта вал ьному своду; дно метка надрезают п сшивают с краями надреза конъюнктивы. [38]
Теперь предпочтение отдается тем мертвым точкам, которые учитывают наибольшее количество конъюнктов, подлежащих объяснению. Эти эвристики учитываются механизмом вывода с помощью процесса отбора, который называется синтезом с использованием частичных деревьев. Он устанавливает, что всякий раз, когда это возможно, литеры, появляющиеся в различных деревьях доказательства, построенных для каждого конъюнкта наблюдения, должны быть унифицированы. Из нескольких подходящих гипотез предпочтение отдается тем, которые учитывают больше наблюдений. [39]
Целью алгоритма фокусирования является нахождение конъюнктов в условии правила. В иерархии каждого атрибута алгоритм отслеживает два указателя, называемые нижним I / и верхним U. L указывает на наиболее ограничивающее условие, которое может быть конъюнктом правила. Правильный конъюнкт является обобщением любого из конъюнктов, расположенных ниже L. Указатель U отмечает наименее ограничивающее условие, которое может быть конъюнктом. Все условия, не являющиеся специализацией [ 7, не могут быть конъюнктами, так как противоречат контрпримерам. [40]
Целью алгоритма фокусирования является нахождение конъюнктов в условии правила. В иерархии каждого атрибута алгоритм отслеживает два указателя, называемые нижним I / и верхним U. L указывает на наиболее ограничивающее условие, которое может быть конъюнктом правила. Правильный конъюнкт является обобщением любого из конъюнктов, расположенных ниже L. Указатель U отмечает наименее ограничивающее условие, которое может быть конъюнктом. Все условия, не являющиеся специализацией [ 7, не могут быть конъюнктами, так как противоречат контрпримерам. [41]
Теперь выполнение программы происходит нужным образом. Ответами на вопросы являются числа по шкале от - 5 до 5, выражающие достоверность. Трассировка ( вывод которой в норме обычно не производится) показывает, каким образом используются в дальнейшем ответы. В частности, обратите внимание на то, что поскольку ВЫТЕКАНИЕ представляет собой конъюнкцию, то пока не будет указана достоверность третьего конъюнкта, никакого использования ответа не происходит. [42]
Целью алгоритма фокусирования является нахождение конъюнктов в условии правила. В иерархии каждого атрибута алгоритм отслеживает два указателя, называемые нижним I / и верхним U. L указывает на наиболее ограничивающее условие, которое может быть конъюнктом правила. Правильный конъюнкт является обобщением любого из конъюнктов, расположенных ниже L. Указатель U отмечает наименее ограничивающее условие, которое может быть конъюнктом. Все условия, не являющиеся специализацией [ 7, не могут быть конъюнктами, так как противоречат контрпримерам. [43]
Указание: такую схему можно построить индуктивно. Указание: эту схему также можно построить индуктивно. Xk, г / i, , 2 / j) - булева функция, аргументы которой разбиты на две группы. Xk) Л D ( yi, , yi), где С - конъюнкт, a D - произвольная булева функция. [44]
Целью алгоритма фокусирования является нахождение конъюнктов в условии правила. В иерархии каждого атрибута алгоритм отслеживает два указателя, называемые нижним I / и верхним U. L указывает на наиболее ограничивающее условие, которое может быть конъюнктом правила. Правильный конъюнкт является обобщением любого из конъюнктов, расположенных ниже L. Указатель U отмечает наименее ограничивающее условие, которое может быть конъюнктом. Все условия, не являющиеся специализацией [ 7, не могут быть конъюнктами, так как противоречат контрпримерам. [45]