Re: [ontolog-forum] Axiomatic ontology

[Randall R Schulz <rschulz@xxxxxxxxx>]

On Friday 01 February 2008 17:38, paola.dimaio@xxxxxxxxx wrote:
> ...
>
> knowledge requires  different formalisms, and that's what we are
> trying to find out    (01)

Yes. But we're not trying to escape the need to formalize. Those that do 
so are doomed to fail. It is flatly impossible.    (02)


> here we are discussing how to design applications layers that can
> function using  natural language and heuristic reasoning    (03)

Nonetheless, any heuristic executable on a digital computer is a 
formalism.    (04)


> you want to call that 'guessing'? ...    (05)

Sorry. By "guessing" I mean trying possibilities defined by the 
algorithm until one of those possibilities leads to success. This is 
not what humans call guessing.    (06)


Randall Schulz    (07)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)