Nov 5, 2011, 7:23:33 PM11/5/11
to Stanford AI Class
I'm having an issue finding the definition of what what a valid first
order sentence is.
I see examples that don't make sense but does that make them
E.G. ¬IsDog(x) ^ IsDogLabrador(x)
So there are two issues with this. The first is it will never
evaluated to true, and secondly is it legitimate to evaluate a non-dog
in a function for a dog.
However syntax is correct so does that make it illegitimate?
Any help appreciated,