Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 94-97] |
|---|---|
| Hlavní autor: | |
| Shrnutí: | Заглавие с титульного листа Электронная версия печатной публикации Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории. |
| Jazyk: | ruština |
| Vydáno: |
2008
|
| Edice: | Управление, вычислительная техника и информатика |
| Témata: | |
| On-line přístup: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/21.pdf |
| Médium: | Elektronický zdroj Kapitola |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173281 |