What constitutes a "legitimate" first order sentence

6 views
Skip to first unread message

Graeme Humphrey

unread,
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
illegitimate?

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,
Thanks

Raf

unread,
Nov 6, 2011, 4:30:07 AM11/6/11
to stanford...@googlegroups.com
I think that your example is a valid first order sentence (i.e it is syntattically correct).
The fact that (in our world) it could never be true does not make it invalid, but only unsatisfiable.

My two cents.
Bye
Raf


--
You received this message because you are subscribed to the Google Groups "Stanford AI Class" group.
To post to this group, send email to stanford...@googlegroups.com.
To unsubscribe from this group, send email to stanford-ai-cl...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/stanford-ai-class?hl=en.


Reply all
Reply to author
Forward
0 new messages