Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 94-97] |
|---|---|
| Main Author: | |
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории. |
| Language: | Russian |
| Published: |
2008
|
| Series: | Управление, вычислительная техника и информатика |
| Subjects: | |
| Online Access: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/21.pdf |
| Format: | Electronic Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173281 |