次の考えを一次論理で表現するのに苦労しています。
すべてのエージェントには最初の位置があると言いたいのですが、これを (言葉を使って) 次のように表現します。
エージェント タイプのすべてのエージェントの場合、I_Position(agent,x,y) AND Tile(x,y) となる xCoordinate タイプの x と yCoordinate タイプの y が存在します。
またはidpで：
!ag[agent]: ? xCo[xCo],yCo[yCo]: I_position(ag, xCo, yCo) & Tile(xCo,yCo).
tile は有効なタイル、有効な位置の式です。
For Allこの式の問題は、式には常に含意 ( =>) があり、There Exists式には常に And ( )があることを学んだこと&です。
明らかに、私には意味がありません。この文は、私が思っていることをしていますか?