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 .RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4