我的程序有一点问题，一个代理 X 在某个部分向代理 Y 发送了一个tell，这个代理检查他的信念基础以验证事实，问题是当计划失败时，他尝试添加 -plan 但它不起作用，感谢任何帮助，我已经更改了问题的上下文以便更好地理解它，但主要思想是相同的
/* Initial beliefs and rules */
婚礼宾客（约翰）。 婚礼宾客（安娜）。 婚礼客人（鲍勃）。 婚礼客人（编辑）。
/* 初始目标 */
/* 计划 */
+I_can_enter(R)[来源(Ag)]
-I_can_enter(R)
【问题讨论】：
标签： agent multi-agent
失败计划只能用于目标，在您的情况下，计划+i_can_enter... 对新信念而不是新目标做出反应。计划-i_can_enter.... 对删除这种信念作出反应。 （注意i_can_enter要小写，否则为变量）
有很多方法可以解决您的问题：
使用表演性的achieve 而不是tell，这样接收者就会有一个新的目标而不是一个新的信念。然后计划可能是+!i_can_enter(R) ...，计划失败是-!i_can_enter(R) ...。
将测试放在计划的上下文中：
+i_can_enter(R)[source(Ag)] : wedding_guests(R) <- .print(R,"You are on the guest list").
+i_can_enter(R) <- .print("You can not pass").
askOne 表演。在接收器中：+?can_enter(R,ok) : wedding_guests(R). // R can enter if it is a wedding guest
+?can_enter(R,nok). // R cannot otherwise
在发件人中：
.send(receiver_name, askOne, can_enter(john,_), can_enter(_,ok)); // only continue if answer is "ok"
或
.send(receiver_name, askOne, can_enter(john,_), can_enter(_,A));
.print("it is ",A," for john to enter");
.send 中的第四项与答案统一。
【讨论】：