Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов
| 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 |
| Descrição Física: | 1 файл (212 Кб) |
|---|---|
| Resumo: | Заглавие с титульного листа Электронная версия печатной публикации Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории. |