Phil, (01)
There is a very short answer to that question: (02)
> One topic is the meaning of the word "formal". If this is
> limited to mathematical logic, then I'd agree that "the hope
> for a unified formal foundation for AI, NLP, or any truly
> intelligent system is a dead end". (03)
Formal means mathematical. But there is no limitation on the
open-ended variety of mathematical methods. *AND* no single
version has priority over all the others. (04)
The longer answer is very long. I've mentioned aspects of it
in many notes. But I won't go into them today. (05)
John (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (07)
|