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)
Thanks,
Cathy Legg (05)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (06)
|