Интеллектуалньый бектрекинг.
Article Sidebar
Опубликован:
01.11.1995
Main Article Content
Аннотация
В статье ставится задача показать возможности интеллектуализации бектрекинга за счет анализа и использования полученной при "неудаче" информации. Для этого после краткой исторической справки по проблеме "отхода” и уточнения проблемы [§1] дается идейная сторона "интеллектуального бектрекинга" (intelligent backtracking) [§2] и далее строится исчисление поиска - исчисление "интеллектуального бектрекинга" [§3]. В заключении статьи обсуждаются возможности дальнейшего развития эффективного решения проблемы "отхода".
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Катречко С. Интеллектуалньый бектрекинг. // Логические исследования / Logical Investigations. 1995. Т. 3. C. 187-204.
Выпуск
Раздел
Статьи
Литература
Bruynooghe М, Pereira L.M. Deduction revision by intelligent backtracking //Implementaion of Prolog. Chichester: Ellis Horwood, 1984. P.194-215
CoxP.T. Finding backtrack points for intelligent backtracking //Ibid., P.216-233
Ежкова И.В. Обобщение схем логического вывода для планирования поведения и диагностики: Автореферат дис.... канд. физ.мат. наук М., 1978. L6 с. (практический алгоритм см. в : Ежкова ИЛ. Автоматическое доказательство теорем и построение планов / /Алгоритмы и программы. Инфор. бюллетень. 1978. N4 (24)
Логическое программщювание /Под ред. В.Н. Агафонова/. М.: Мир, 1988
Wolfram DA. Intractable unifiability problems and backtracking / /Journal of automated reasosing. 1989. Vol_5. N.l. P. 37-47 6 . Colmerauer A., Kahoui H.,van Caneghem Last steps toward an ultimate Prolog //Proc.7th IJCAI-81 (Intern. Joint Conf. on Artif. Intellig.). Vancouver, 1981. V.II. P. 947-949
Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир. 1983.
CoxP.T. Finding backtrack points for intelligent backtracking //Ibid., P.216-233
Ежкова И.В. Обобщение схем логического вывода для планирования поведения и диагностики: Автореферат дис.... канд. физ.мат. наук М., 1978. L6 с. (практический алгоритм см. в : Ежкова ИЛ. Автоматическое доказательство теорем и построение планов / /Алгоритмы и программы. Инфор. бюллетень. 1978. N4 (24)
Логическое программщювание /Под ред. В.Н. Агафонова/. М.: Мир, 1988
Wolfram DA. Intractable unifiability problems and backtracking / /Journal of automated reasosing. 1989. Vol_5. N.l. P. 37-47 6 . Colmerauer A., Kahoui H.,van Caneghem Last steps toward an ultimate Prolog //Proc.7th IJCAI-81 (Intern. Joint Conf. on Artif. Intellig.). Vancouver, 1981. V.II. P. 947-949
Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир. 1983.