我难以在一阶逻辑中表达以下想法。
我想说每个代理人都有一个初始职位，我将其表达为（使用文字）：
对于代理类型的所有代理，存在x类型为xCoordinate的y和类型为yCoordinate的y，使得I_Position（agent，x，y）AND Tile（x，y）
或者在idp：
!ag[agent]: ? xCo[xCo],yCo[yCo]: I_position(ag, xCo, yCo) & Tile(xCo,yCo).
使用tile作为有效tile的表达式，有效位置。
这个表达式的问题在于，我已经了解到For All表达式始终带有含义（=>）并且There Exists表达式始终带有And（ &）。
显然，我没有暗示。这句话是否符合我的想法？