Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика

Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика

Detalhes bibliográficos
Parent link:Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000-
Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 94-97]
Autor principal: Новосельцев В. Б. Виталий Борисович
Resumo:Заглавие с титульного листа
Электронная версия печатной публикации
Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории.
Idioma:russo
Publicado em: 2008
Colecção:Управление, вычислительная техника и информатика
Assuntos:
хорновские дизъюнкты
системы логического программирования
Пролог
формальная теория
труды учёных ТПУ
электронный ресурс
Acesso em linha:http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/21.pdf
Formato: Recurso Electrónico Capítulo de Livro
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173281

Registos relacionados

Registos relacionados