Thực hiện Minimax trong "Lập trình Prolog cho Trí tuệ nhân tạo" - min_to_move/1 và max_to_move/1 là gì?

Question

Hãy để tôi bắt đầu bằng cách nói rằng câu hỏi này có thể được trả lời bởi các trình thuật sĩ AI không có kinh nghiệm Prolog.

Các Prolog Programming for Artificial Intelligence cuốn sách tuyệt vời có khá ngắn gọn và thông minh thực hiện minimax này:

minimax(Pos, BestSucc, Val) :- 
    moves(Pos, PosList), !,    % Legal moves in Pos produce PosList 
    best(PosList, BestSucc, Val) 
    ; 
    staticval(Pos, Val).     % Pos has no successors: evaluate statically 

best([ Pos], Pos, Val) :- 
    minimax(Pos, _, Val), !. 

best([Pos1 | PosList], BestPos, BestVal) :- 
    minimax(Pos1, _, Val1), 
    best(PosList, Pos2, Val2), 
    betterof(Pos1, Val1, Pos2, Val2, BestPos, BestVal). 

betterof(Pos0, Val0, Pos1, Val1, Pos0, Val0) :-  % Pos0 better than Pos1 
    min_to_move(Pos0),         % MIN to move in Pos0 
    Val0 > Val1, !           % MAX prefers the greater value 
    ; 
    max_to_move(Pos0),         % MAX to move in Pos0 
    Val0 < Val1, !.        % MIN prefers the lesser value 

betterof(Pos0, Val0, Pos1, Val1, Pos1, Val1).   % Otherwise Pos1 better than Pos0 

Tuy nhiên, tác giả đã không đi đến nhiều thời gian trong việc mô tả nó và tôi còn lại để tự hỏi điều gì min_to_move/1 và max_to_move/1 là .

Có ai có thể giải thích cho tôi không?

Cảm ơn trước!

Answer 1

Rõ ràng, min_to_move (Pos) là đúng nếu và chỉ khi trình phát "thu nhỏ" là thực hiện di chuyển ở vị trí Pos. Ngược lại với max_to_move/1. Cá nhân, tôi thấy phong cách mã hóa depticted ở đây không phải là rất tốt. Ví dụ, trong nhiều trường hợp, if-then-else ((->)/2 và (;)/2) có vẻ phù hợp hơn để thể hiện ý định. Tên vị ngữ cũng có thể mô tả nhiều hơn (xem ví dụ "positions_best/2" để mô tả mối quan hệ giữa danh sách vị trí và lựa chọn tốt nhất, thay vì chỉ "tốt nhất/3") và dễ đọc hơn (ví dụ: " betterof "ngoài việc khó đọc hơn ví dụ" better_of "?).