Интеллектуалньый бектрекинг.
##plugins.themes.bootstrap3.article.sidebar##
Published:
01.11.1995
##plugins.themes.bootstrap3.article.main##
Abstract
В статье ставится задача показать возможности интеллектуализации бектрекинга за счет анализа и использования полученной при "неудаче" информации. Для этого после краткой исторической справки по проблеме "отхода” и уточнения проблемы [§1] дается идейная сторона "интеллектуального бектрекинга" (intelligent backtracking) [§2] и далее строится исчисление поиска - исчисление "интеллектуального бектрекинга" [§3]. В заключении статьи обсуждаются возможности дальнейшего развития эффективного решения проблемы "отхода".
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Katrechko S. Интеллектуалньый бектрекинг. // Logicheskie Issledovaniya / Logical Investigations. 1995. VOL. 3. C. 187-204.
Issue
Section
Papers
References
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.