序言中深度限制的alpha-beta

如何解决序言中深度限制的alpha-beta

我正在Prolog中构建象棋引擎。 “用于人工智能的序言”的alpha-beta不受深度限制。 由于无法在国际象棋中搜索整棵树，因此我尝试将书中的代码修改为深度受限，但无法正常工作。

这是本书的代码：

alphabeta(Pos,Alpha,Beta,GoodPos,Val) :-
   moves(Pos,PosList),!,boundedbest( PosList,Val)
    ;
get_pos_value(Pos,Val).                             % static value of Pos

boundedbest([Pos | PosList],GoodVal) :-
   alphabeta( Pos,_,Val),goodenough(PosList,Pos,Val,GoodVal).

goodenough([],Val) :- !.               % no other candidate

goodenough(_,Val) :-
   min_to_move(Pos),Val > Beta,!;                  % Maximizer attained upper bound
   max_to_move(Pos),Val < Alpha,!.                     % Minimizer attained lower bound

goodenough( PosList,GoodVal) :-
   newbounds( Alpha,NewAlpha,NewBeta),% Refine bounds
   boundedbest(PosList,NewBeta,Pos1,Val1),betterof( Pos,Val1,GoodVal).

newbounds(Alpha,Beta) :-
   min_to_move(Pos),Val > Alpha,!.                    % Mazximizer increased lower bound

newbounds(Alpha,Val):-
   max_to_move(Pos),Val < Beta,!.                     % Minimizer decreased upper bound

newbounds( Alpha,Beta).                   % otherwise bounds unchanged.

betterof(Pos,Val) :-                 % Pos better than Pos1
   min_to_move(Pos),Val > Val1,!;
   max_to_move(Pos),Val < Val1,!.

betterof(_,Val1).                          % otherwise Pos 1 better

我尝试将其修改为深度受限：

alphabeta(Pos,0) :- % max depth of search recieved
   get_pos_value(Pos,Val).                      % static value of Pos


alphabeta(Pos,Depth) :-
   Depth > 0,moves(Pos,Depth).


alphabeta(Pos,get_pos_value(Pos,Val).


boundedbest([Pos | PosList],GoodVal,Depth) :-
   Depth is Depth - 1,alphabeta( Pos,Depth1),_),!.                % Mazximizer increased lower bound

newbounds(Alpha,Val1).                          % otherwise Pos 1 better

我将不胜感激。

解决方法

您的代码中有错字。而且更重要的是，您的代码中有SWI-Prolog为您找到并诊断出的错字。请不要忽略其警告。

看：

Warning: /home/isabelle/chess.pl:1:
    Singleton variables: [Alpha,Beta]
Warning: /home/isabelle/chess.pl:11:
    Singleton variables: [Alpha,Beta]
Warning: /home/isabelle/chess.pl:16:
    Singleton variables: [Depth1]
Warning: /home/isabelle/chess.pl:40:
    Singleton variables: [Pos1]

具体地说，在此子句中，从第16行开始。

boundedbest([Pos | PosList],Alpha,Beta,GoodPos,GoodVal,Depth) :-
   Depth is Depth - 1,alphabeta( Pos,_,Val,Depth1),goodenough(PosList,Pos,GoodVal).

您对Depth1的使用表明您似乎了解需要计算一个新值并将其传递给递归。但是您忘了在上一行使用此变量：

Depth is Depth - 1,

这应该在左侧使用Depth1。

甚至尝试测试具有单例警告的代码也是一个错误，因为单例警告通常表示非常严重的错误。就是这种情况。当您看到单例警告时，您应该做的第一件事就是理解并修复它-与程序的任何其他交互都可能毫无意义。

确实其中一些警告是“良性的”：第一行子句的警告似乎并不表示该子句中的错误。也许您已经看到其中一些警告，并决定它们是无害的。情况恰恰相反：接受此类“虚假”单例警告意味着您可能会冒进严重警告的风险。

（由于可以理解的是不完整的程序，所以我没有测试过更正的程序。）