我在JaCaMo 0.8平台上运行的Jason代理有两个计划。出于某种原因,第一个计划被认为不适用,因此选择了第二个计划。
我的问题是:我怎么知道表达式的哪一部分将上下文变为假?
// get cached Fundamentals if earlier data are younger than 30 minutes
+!opinion(T)[source(Q)]
: .term2string(T,S) & fundamentals::preco(S,_)[seconds_of_day(SSS)] & .time(HH,MM,SS) & (SS+MM*60+HH*60*60 - SSS < 30*60)
& .date(YY,OO,DD) & lastDate(YYY,OOO,DDD) & YY == YYY & OO == OOO & DD == DDD
& fundamentals::lpa(S,_) & fundamentals::vpa(S,_)
<-
.print("Getting cached fundamentals from ",S);
!reply(S,Q);
.
// get Fundamentals again
+!opinion(T)[source(Q)] : .term2string(T,S) & .date(YY,OO,DD) <-
.print("Getting fundamentals from ",S);
getFundamentals(S);
-+lastDate(YY,OO,DD);
!reply(S,Q);
.
我为fINE调试设置了looging.properties文件,引用代理的部分输出是:
> [greenblatt] Start new reasoning cycle [greenblatt] Selected event > +!opinion(ALUP11)[source(myPA)] [greenblatt] Selected intention intention 118: > +!opinion(ALUP11)[source(myPA)] <- ... .print("Getting fundamentals from ",S); getFundamentals(S); -+lastDate(YY,OO,DD); > !reply(S,Q) / {YY=2019, OO=2, DD=23, Q=myPA, S="ALUP11", T=ALUP11} > [greenblatt] Getting fundamentals from ALUP11 [greenblatt] Start new > reasoning cycle
我错过了关于这个日志的一些信息,对于instante“。term2string(T,S)&fundamentals :: preco(S,_)[seconds_of_day(SSS)]&.time(HH,MM,SS)&(SS + MM) * 60 + HH * 60 * 60 - SSS <30 * 60)“被认为是真的吗?如何找到这些信息?
您可以在文件中存储每个周期的代理的思维状态,然后检查这些文件以获得有关失败的一些提示。
在JaCaMo中,您可以在代理条目中配置该日志:
agent bob {
mindinspector="file(cycle,xml,log)"
}
最后一个参数是将存储文件的目录的名称。每个文件对应一个心灵的样本。它们是具有合适样式表的XML文件,可在浏览器中查看。
当然,这个日志需要相当多的空间/时间来生成,并且会影响应用程序的性能。