Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов

Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов

Détails bibliographiques
Parent link:Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000-
Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 94-97]
Auteur principal: Новосельцев В. Б. Виталий Борисович
Résumé:Заглавие с титульного листа
Электронная версия печатной публикации
Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории.
Langue:russe
Publié: 2008
Collection:Управление, вычислительная техника и информатика
Sujets:
хорновские дизъюнкты
системы логического программирования
Пролог
формальная теория
труды учёных ТПУ
электронный ресурс
Accès en ligne:http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/21.pdf
Format: Électronique Chapitre de livre
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173281

Documents similaires

Documents similaires