2004 note: In present work, I have changed notation. I now write Knows(Pat,TTelephone,MMike) instead of true(Knows(pat,Telepone(Mike)) or knows(pat,Telephone(Mike)). The new notation is for compatibility with my and other peoples work in logical AI. I use caps for constants and double the initial letter to denote concepts.Up to: Main McCarthy page
I welcome comments, and you can send them by clicking on .