[Top] [All Lists]

[ontac-forum] RE: ontac-forum Digest, Vol 13, Issue 2

To: <ontac-forum@xxxxxxxxxxxxxx>
From: "Catherine Legg" <clegg@xxxxxxxxxxxxx>
Date: Wed, 17 May 2006 14:25:42 +1200
Message-id: <9F7EB7E74D368A44B531F39501357F32518937@xxxxxxxxxxxxxxxxxxxxx>
Re. this remark from Bundy et al, cited by John Sowa:    (01)

..."in a logic-based representation the predicates and functions, their
arities and their types, may all need to change during the course of
reasoning...."    (02)

I just want to say - as someone who did hands-on work in a logic-based
representation for 2 years - how on earth is this to be effected? Could
John or anyone else give me just a tiny operational clue?     (03)

:-)     (04)

Cathy Legg    (05)

Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (06)
<Prev in Thread] Current Thread [Next in Thread>