Zobrazeno 1 - 10
of 1 533
pro vyhledávání: '"Backjumping"'
Autor:
Drabent, Włodzimierz
We discuss how to implement backjumping (or intelligent backtracking) in Prolog by using the built-ins throw/1 and catch/3. We show that it is impossible in a general case, contrary to a claim that ``backjumping is exception handling". We provide two
Externí odkaz:
http://arxiv.org/abs/2305.16137
As robots become increasingly capable of manipulation and long-term autonomy, long-horizon task and motion planning problems are becoming increasingly important. A key challenge in such problems is that early actions in the plan may make future actio
Externí odkaz:
http://arxiv.org/abs/2211.07847
Autor:
Drabent, Włodzimierz
We discuss how to implement backjumping (or intelligent backtracking) in Prolog programs by means of exception handling. This seems impossible in a general case. We provide two solutions. One works for binary programs; in a general case it imposes a
Externí odkaz:
http://arxiv.org/abs/2008.09610
Publikováno v:
Theory and Practice of Logic Programming 21 (2021) 125-144
ISO Prolog provides catch and throw to realise the control flow of exception handling. This pearl demonstrates that catch and throw are inconspicuously amenable to the implementation of backjumping. In fact, they have precisely the semantics required
Externí odkaz:
http://arxiv.org/abs/2008.04720
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ricca, Francesco1 ricca@mat.unical.it, Faber, Wolfgang1 faber@mat.unical.it, Leone, Nicola1 leone@mat.unical.it
Publikováno v:
AI Communications. 2006, Vol. 19 Issue 2, p155-172. 18p. 2 Illustrations, 2 Diagrams, 2 Charts, 8 Graphs.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Chen, X., van Beek, P.
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 14, pages 53-81, 2001
In recent years, many improvements to backtracking algorithms for solving constraint satisfaction problems have been proposed. The techniques for improving backtracking algorithms can be conveniently classified as look-ahead schemes and look-back sch
Externí odkaz:
http://arxiv.org/abs/1106.0254
Autor:
Beatrix, Christopher
L’ Answer Set Programming (ASP) est un formalisme capable de représenter des connaissances en Intelligence Artificielle à l’aide d’un programme logique au premier ordre pouvant contenir des négations par défaut. En quelques années, plusieu
Externí odkaz:
http://www.theses.fr/2016ANGE0026/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.