1

我需要有关 Prolog 的帮助。我发布了我的代码，问题是我没有获得预期的结果。我想计划行动以在桌子上移动所有块，直到可能为止。为此，我提示：

?- do(while(some(x, block(x) & -onTable(x)),pi(x,putOnTable(x))),s0,S).

我希望看到这样的回应：

S = do(putOnTable(e), do(putOnTable(b), do(putOnTable(c), s0)))

但 Prolog 仅返回“false”。有人可以帮助我吗？？

% Golog interpreter
%:- [golog_swi].

:- discontiguous clear/2, on/3, onTable/2.

:- op(800,xfy,[&]).

do(E,S,do(E,S)):- primitive_action(E),poss(a,S).

% Primitive Action Declarations.
primitive_action(putOn(_,_)).
primitive_action(putOnTable(_)).


poss(putOn(X,Y),S) :- clear(X,S), clear(Y,S), \+ on(X,Y,S), \+ X=Y.
poss(putOnTable(X),S):- clear(X,S), \+(onTable(X,S)).

% Successor State Axioms.
on(X,Y,do(A,S)):- A = putOn(X,Y); on(X,Y,S), \+ (A = putOnTable(X); A = putOn(X,_)).
onTable(X,do(A,S)) :- A = putOnTable(X); onTable(X,S), \+ A= putOn(X,_).
clear(X,do(A,S)) :- on(Y,X,S), (A = putOn(Y,_) ; A = putOnTable(Y)); clear(X,S), \+ A = putOn(_,X).

% Restore suppressed situation arguments
restoreSitArg(onTable(X),S,onTable(X,S)).
restoreSitArg(on(X,Y),S,on(X,Y,S)).
restoreSitArg(clear(X),S,clear(X,S)).

block(X):- member(X,[a,b,c,d,e]).

% iniTial COndition
onTable(a,s0).
on(b,a,s0).
on(c,b,s0).
clear(c,s0).
onTable(d,s0).
on(e,d,s0).
clear(3,s0).

谢谢你！！！

4

2 回答 2

1

您的谓词do/3无法成功，因为目标primitive_action/1将因您的查询而失败。

目前，while/2未在primitive_action/1您的程序中进行描述，并且似乎也缺少它。因此，您需要primitive_action/1通过进一步的事实进行扩展，或者向do/3. 除此之外，您还需要描述什么while/2意思。

于 2012-07-24T12:13:45.703 回答
1

这个问题实际上是关于 Golog 的。您的错误很普通：您没有将 Golog 解释器代码复制到源文件/目录中。

Golog 定义了许多高级编程结构，包括此处使用的 while 循环和非确定性选择 (pi)。我确定你不想重新发明 Golog，所以去拿吧。我假设您的问题是某种作业的一部分，您的老师可能会将您指向 Golog 解释器。否则，您总是可以在大学认知机器人小组的页面上找到它。多伦多：http ://www.cs.toronto.edu/cogrobo/main/systems/index.html

于 2013-12-18T01:18:10.523 回答