Знак отрицания У является важной логической связкой. Однако его включение в Дейталог сопряжено с рядом ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Чери С.N. Логическое программирование и базы данных


Знак отрицания У является важной логической связкой. Однако его включение в Дейталог сопряжено с рядом проблем как семантического, так и вычислительного характера. В частности, аксиома замкнутости мира ( АЗМ), принятая и допустимая в контексте чистого Деиталога, приводит к несогла-сованностям, если предположить возможность появления отрицания в телах правил. Тем не менее для большого класса программ ( так называемых стратифицируемых программ Деиталога) существует удовлетворительный способ обработки отрицания. Этот класс подробно описан ниже. Мы также обсудим основанную на понятии стратификации локальную стратификацию и представим альтернативный подход к определению значения программ Деиталога, содержащих отрицательные литералы, основанный на так называемой инфляционной семантике.

(cкачать страницу)

Смотреть книгу на libgen

Знак отрицания У является важной логической связкой.  Однако его включение в Дейталог сопряжено с рядом проблем как семантического,  так и вычислительного характера.  В частности,  аксиома замкнутости мира ( АЗМ),  принятая и допустимая в контексте чистого Деиталога,  приводит к несогла-сованностям,  если предположить возможность появления отрицания в телах правил.  Тем не менее для большого класса программ ( так называемых стратифицируемых программ Деиталога) существует удовлетворительный способ обработки отрицания.  Этот класс подробно описан ниже.  Мы также обсудим основанную на понятии стратификации локальную стратификацию и представим альтернативный подход к определению значения программ Деиталога,  содержащих отрицательные литералы,  основанный на так называемой инфляционной семантике.