From: "Richard H. McCullough" To: "Patrick J. Hayes" Cc: "RDF-Interest" , "Richard S. Latimer" Subject: space,time in KR: context, initial, final Date: Sat, 14 Dec 2002 05:51:16 -0800 Organization: retired from Bell Labs MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_000B_01C2A334.D18EAA90" 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_000B_01C2A334.D18EAA90 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable 1. general context=20 The basic KR proposition has the form=20 at context { statement }=20 Including space,time in context permits making statements which isolate = & focus on space-time-independent properties. Some statements are = space-time-dependent. The distinction is important because = space-time-independent statements have wider implications.=20 Example statements:=20 a. Jane has sex=3Dfemale=20 b. Jane isa person=20 c. John do walk with a limp done=20 d. John do walk to the store done=20 a and b are attribute and relation statements which are independent of = space-time.=20 c is an action statement which is independent of space-time.=20 d is an action statement which depends on space-time.=20 2. action initial and final characteristics=20 The fundamental characteristics of all actions are:=20 a. they change the properties of existents;=20 b. they are performed by an entity.=20 KR specifies the changes by a set of initial characteristics which exist = before the action, and a set of final characteristics which exist after = the action. Initial and final characteristics may include space-time.=20 Example statements:=20 c. water do change from temperature=3Dpositive to temperature=3D0 done = causes water do change from phase=3Dliquid to phase=3Dsolid done=20 d. John do walk from his house to the store done=20 c is a causality statement which is independent of space-time.=20 d is an action statement which depends on space-time.=20 3. action contexts=20 space,time specifies where,when an action occurs. Typically, they = specify the initial space,time of the action. For some actions, they = specify the final space,time.=20 Example propositions:=20 a. at 8 am { John do go to the store done }=20 b. at 5 pm { John do finish od work done }=20 a is a proposition with a context specifying the initiation of an = action.=20 b is a proposition with a context specifying the completion of an = action.=20 =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_000B_01C2A334.D18EAA90 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
1. general context
The basic KR proposition has the form =
    at = context=20 { statement }
Including space,time in context permits = making=20 statements which isolate & focus on space-time-independent = properties. =20 Some statements are space-time-dependent.  The distinction is = important=20 because space-time-independent statements have wider implications. =
Example statements:
a. Jane has = sex=3Dfemale=20
b. Jane isa person =
c. John do walk=20 with a limp done
d. John do walk=20 to the store done
a and b are attribute and relation = statements which=20 are independent of space-time.
c is an action statement which is = independent of=20 space-time.
d is an action statement which depends = on=20 space-time.
 
2. action initial and final = characteristics=20
The fundamental characteristics of all = actions are:=20
a. they change the properties of = existents;=20
b. they are performed by an entity. =
KR specifies the changes by a set of = initial=20 characteristics which exist before the action, and a set of final=20 characteristics which exist after the action.  Initial and final=20 characteristics may include space-time.
Example statements:
c. water do change=20 from temperature=3Dpositive to=20 temperature=3D0 = done causes water=20 do change from phase=3Dliquid=20 to phase=3Dsolid done
d. John do walk=20 from his house to the store = done=20
c is a causality statement which = is=20 independent of space-time.
d is an action statement which depends = on=20 space-time.
 
3. action contexts
space,time specifies where,when an = action=20 occurs.  Typically, they specify the initial space,time of the=20 action.  For some actions, they specify the final space,time. =
Example propositions:
a. at 8 am = {=20 John do go to the store = done=20 }
b. at 5 pm = { John=20 do finish od work = done=20 }
a is a proposition with a context = specifying=20 the initiation of an action.
b is a proposition with a context = specifying the=20 completion of an action.
=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_000B_01C2A334.D18EAA90--