Cтраница 1
Конъюнкт, содержащий п сомножителей, равен 1 ровно на одном наборе значений переменных. [1]
Естественно, конъюнкт вида Ai e Dom ( Ai) тождественно истинен и может быть опущен. [2]
Элементарным произведением называется конъюнкт, в который любая переменная входит не более одного раза. [3]
Строки, соответствующие конъюнктам и домноженные на у /, после ( k 1) - го шага исключаются. [4]
Элементарной конъюнкцией или конъюнктом называется конъюнкция литер. Элементарной дизъюнкцией или дизъюнктом называется дизъюнкция литер. [5]
Порядок перечисления предпосылок ( конъюнктов) в этом правиле исключительно важен. И наконец, решение отложить проверку предпосылки 4 можно, вероятно, отнести к категории стратегических. [6]
Рассмотрим случай, когда некоторый конъюнкт содержит только литералы с отрицанием вида - ] г1 ( аг а2), где аг такие, как в предыдущем случае. Так как этот конъюнкт имеет фиксированное число литералов, то если р достаточно велико, то можно выбрать значения с и с2 для Ьг и Й2, такие, что ( сг с2) не входит в [ р ], но все атомы из конъюнкта ложны. Так как Е и Ер эквивалентны, то Е ( г) не может определять транзитивного замыкания для всех отношений г ( А. [7]
Рассмотрим случай, когда некоторый конъюнкт содержит только литералы с отрицанием вида - г - ( al оа), где аг такие, как в предыдущем случае. Так как этот конъюнкт имеет фиксированное число литералов, то если р достаточно велико, то можно выбрать значения сг и с2 для Ь1 и Ь2, такие, что ( сг с2) не входит в [ р ], но все атомы из конъюнкта ложны. Так как Е и Ер эквивалентны, то Е ( г) не может определять транзитивного замыкания для всех отношений г ( А. [8]
Целью алгоритма фокусирования является нахождение конъюнктов в условии правила. В иерархии каждого атрибута алгоритм отслеживает два указателя, называемые нижним I / и верхним U. L указывает на наиболее ограничивающее условие, которое может быть конъюнктом правила. Правильный конъюнкт является обобщением любого из конъюнктов, расположенных ниже L. Указатель U отмечает наименее ограничивающее условие, которое может быть конъюнктом. Все условия, не являющиеся специализацией [ 7, не могут быть конъюнктами, так как противоречат контрпримерам. [9]
По данному набору значений переменных построить конъюнкт, истинный только для этого набора значений переменных. [10]
Двойственным понятием к дизъюнкту является произведение, или конъюнкт, конечного множества литер. [11]
Приведенная ниже программа возвращает значение Y, которым является список конъюнктов, составляющих ДНФ. [12]
Теперь предпочтение отдается тем мертвым точкам, которые учитывают наибольшее количество конъюнктов, подлежащих объяснению. Эти эвристики учитываются механизмом вывода с помощью процесса отбора, который называется синтезом с использованием частичных деревьев. Он устанавливает, что всякий раз, когда это возможно, литеры, появляющиеся в различных деревьях доказательства, построенных для каждого конъюнкта наблюдения, должны быть унифицированы. Из нескольких подходящих гипотез предпочтение отдается тем, которые учитывают больше наблюдений. [13]
Отсюда формула логики высказываний представима в ДНФ, если она является дизъюнкцией конъюнктов. [14]
Вновь, чтобы описать функционирование машины М, когда ее головка находится над самым левым квадратом ленты, необходимы некоторые дополнительные конъюнкты, которые мы здесь не уточняем. Нам также необходимо условие, что квадраты ленты, не находящиеся в окрестности головки, не изменяются. [15]