Cтраница 1
Знак отрицания в поисковых запросах обычно не используется. Причина состоит в том, что в логической матрице ( табл. 12.1) для каждого документа указываются далеко не все, а только наиболее существенные признаки. Поэтому нули в клетках матрицы могут стоять не только тогда, когда те или иные признаки документов отсутствуют, но и в тех случаях, когда отношения между признаками и документами не определены. При таких условиях операции над классами, соответствующие знакам отрицания в запросах, приведут к ложным результатам. [1]
Знак отрицания У является важной логической связкой. Однако его включение в Дейталог сопряжено с рядом проблем как семантического, так и вычислительного характера. В частности, аксиома замкнутости мира ( АЗМ), принятая и допустимая в контексте чистого Деиталога, приводит к несогла-сованностям, если предположить возможность появления отрицания в телах правил. Тем не менее для большого класса программ ( так называемых стратифицируемых программ Деиталога) существует удовлетворительный способ обработки отрицания. Этот класс подробно описан ниже. Мы также обсудим основанную на понятии стратификации локальную стратификацию и представим альтернативный подход к определению значения программ Деиталога, содержащих отрицательные литералы, основанный на так называемой инфляционной семантике. [2]
Использование знака отрицания в левых частях правил, а следовательно, и в вопросах, обрабатываемых процедурой рассмотреть, представляется естественным и его следует разрешить. [3]
Отметим, что знак отрицания ( черта) над символом реагирующего элемента не имеет схемного значения, поэтому в дальнейшем будем его опускать. [4]
Если запретить использование знака отрицания, то доказательство существенно упрощается. [5]
Я, так как знаки отрицания стоят только над символами Л, символы же Я входят без знака отрицания. [6]
Отсюда следует, что знак отрицания, стоящий над логической суммой, можно внести внутрь, только при этом сумма перейдет в произведение; знак отрицания над логическим произведением также вносится внутрь формулы, причем произведение переходит в сумму. Если же знак отрицания стоит над знаком отрицания, то оба эти знака Уничтожаются. [7]
В чистом Дейталоге появление знака отрицания ( - 0 не допускается. Однако, приняв аксиому замкнутости мира ( АЗМ), можно вывести отрицательные факты из множества дизъюнктов чистого Дейталога. Заметим, что АЗМ не является универсальным логическим правилом, это всего лишь принцип, который можно использовать только в некоторых специальных ситуациях. [8]
Описанный прием последовательного опускания знаков отрицания применим к любой формуле булевой алгебры. [9]
В правой части он обозначает знак отрицания. [10]
В правой части он обозначает знак отрицания. [11]
Далее, два или большее число знаков отрицания, входящих в какую-либо K-N - формулу, будут называться наслаивающимися друг на друга, если по меньшей мере одна формульная переменная данной формулы попадает в область действия каждого из этих знаков. Порядок данной K-N - формулы мы определим как максимальное число входящих в нее наслаивающихся друг на друга непримарных отрицаний. [12]
Нетрудно видеть, что неограниченное использование знака отрицания в телах правил часто приводит к небезопасным программам. [13]
В сложном выражении лучше начинать с внешних знаков отрицания, так как тогда внутренние знаки отрицания могут сократиться и можно сэкономить на их перенесении внутрь. [14]
Существуют знаки, связывающие кванторы со знаком отрицания. [15]