ontac-forum
[Top] [All Lists]

[ontac-forum] lattice of ontologies - a proposal

To: "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
From: "Paul S Prueitt" <psp@xxxxxxxxxxxxxxxxxx>
Date: Sat, 17 Dec 2005 18:26:02 -0700
Message-id: <CBEELNOPAHIKDGBGICBGCEDIHAAA.psp@xxxxxxxxxxxxxxxxxx>


Pro:  It is suggested that the work of Tarski establishes a foundation to
ontological engineering.  This suggestion is made based on certain schools
of thought that have been associated with classical artificial intelligence
and with first order logics.    (01)


Con:  Reservations have been noted by a number of scholars, including Roger
Penrose and Robert Rosen.  These two authors' works can be examined to see
what the issues are regarding non-computability, and
non-representation-ability of classical logic.    (02)



Recommendation:    ... continued at    (03)

http://www.ontologystream.com/beads/nationalDebate/315.htm    (04)



_________________________________________________________________
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    (05)
<Prev in Thread] Current Thread [Next in Thread>