Multiagent Systems

Prof. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 615/731
9. Agents based on FOL 1. First Order Logic (FOL)
Answer:
No, because one can replace the 1 N by a
L P A -formula: there is a L P A -formula φ(x) so that
for each variable assignment ρ the following
holds:
N P A
′ |= ρ φ(x) if and only if ρ(x) = 1 N
Thus we can define a macro for defining the 1.
Each formula of L P A
′ can be transformed into an
equivalent formula of L P A .