From: "Richard H. McCullough" To: "Patrick J. Hayes" Cc: "RDF-Interest" , "Richard S. Latimer" Subject: "tabula rasa" context & "diary" context Date: Sun, 15 Dec 2002 18:50:23 -0800 Organization: retired from Bell Labs MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0064_01C2A46A.D2DEA350" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 This is a multi-part message in MIME format. ------=_NextPart_000_0064_01C2A46A.D2DEA350 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable My "tabula rasa" context defines the most general concepts which are = used to express all knowledge. =20 Such concepts are called "axiomatic" concepts. =20 For efficiency, I have also included some non-axiomatic concepts in = tabula rasa. Here is a hierarchy outline (a taxonomy) of the most important concepts = in tabula rasa. existent entity animal person plant object characteristic attribute purpose space time view part action relation proposition This structure is defined by a set of KR species-genus propositions, which are part of the "first" set of propositions in a "diary" context. = (For now, I am ignoring the "differentia" which distinguish the species = of a genus.) (1) entity, characteristic, proposition iss existent (2) animal, plant, object iss entity (3) person iss animal (4) attribute, part, action, relation iss characteristic (5) purpose, space, time, view iss attribute Further KR propositions can be expressed using these concepts, e.g. (6) Jane isu person (7) Jane has sex=3Dfemale From (6),(7) KR/KE automatically infers that (8) Jane has ctype=3Dunit (9) sex iss attribute (10) female isu sex Specifying the full meaning of a concept=20 -- all the facts of reality it denotes=20 -- all the extensions and intensions=20 may require a large number of KR propositions. =20 We can reduce that number by using genus-differentia definitions. But for some concepts we won't be able to capture the full meaning =20 -- the "diary" context will be "less than" the "full human" context . Depending on our purpose, we may or may not care. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20 Dick McCullough=20 knowledge :=3D man do identify od existent done knowledge haspart proposition list ------=_NextPart_000_0064_01C2A46A.D2DEA350 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
My "tabula rasa" context defines the = most=20 general concepts which are used to express all knowledge. =20
Such concepts are called "axiomatic"=20 concepts. 
For efficiency, I have also included = some=20 non-axiomatic concepts in tabula rasa.
 
Here is a hierarchy outline (a = taxonomy) of=20 the most important concepts in tabula rasa.
 
    = existent
       =20 entity
       =20     animal
       =20         person
       =20     plant
          &nbs= p;=20 object
       =20 characteristic
       =20     attribute
       =20         purpose
       =20         space
       =20         time
       =20         view
       =20     part
       =20     action
       =20     relation
       =20 proposition
 
This structure is defined by a set of = KR=20 species-genus propositions,
which are part of the "first" set = of=20 propositions in a "diary" context. 
(For now, I am ignoring the = "differentia" which=20 distinguish the species of a genus.)
 
(1)    entity, = characteristic,=20 proposition iss existent
(2)    animal, plant, = object=20 iss entity
(3)    person = iss=20 animal
(4)    attribute, part, = action,=20 relation iss characteristic
(5)    purpose, space, = time, view=20 iss attribute
 
Further KR propositions can be = expressed using=20 these concepts, e.g.
 
(6)    Jane = isu=20 person
(7)    Jane = has=20 sex=3Dfemale
 
From (6),(7) KR/KE automatically infers = that
 
(8)    Jane = has=20 ctype=3Dunit
(9)    sex = iss=20 attribute
(10)    female = isu=20 sex
 
Specifying the full meaning of a = concept=20
-- all the facts of reality = it denotes
-- all the extensions and intensions =
may require a=20 large number of KR propositions. =20
We can reduce that=20 number by using genus-differentia definitions.
But for some concepts we won't be able = to capture=20 the full meaning  
-- the "diary" context will be "less = than"=20 the "full human" context .
Depending on our purpose, we may or may = not=20 care.
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Dick McCullough
knowledge :=3D man do = identify=20 od existent done
knowledge haspart proposition=20 list
------=_NextPart_000_0064_01C2A46A.D2DEA350--