Adrian, (01)
> So, you advocate, in all circumstances, the use of descriptions
> that cannot be used to reliably decide whether or not an input
> string is an integer? (02)
Deciding whether or not a particular string represents a numeral
that designates a specific integer is trivial and eminently
decidable. (03)
The point I was trying to make is that there are many serious
problems of knowledge representation. But in the overwhelming
number of cases where undecidability has been mentioned, it has
been an irrelevant distraction from the problems at hand. (04)
As I said, the people at Cyc have used a very expressive language
to do as much or more knowledge representation as anyone else,
and they have never found a single instance where undecidability
caused a practical problem. (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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|