问题描述
我正在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。
甚至尝试测试具有单例警告的代码也是一个错误，因为单例警告通常表示非常严重的错误。就是这种情况。当您看到单例警告时，您应该做的第一件事就是理解并修复它-与程序的任何其他交互都可能毫无意义。
确实其中一些警告是“良性的”：第一行子句的警告似乎并不表示该子句中的错误。也许您已经看到其中一些警告，并决定它们是无害的。情况恰恰相反：接受此类“虚假”单例警告意味着您可能会冒进严重警告的风险。
（由于可以理解的是不完整的程序，所以我没有测试过更正的程序。）