[Top] [All Lists]

Re: [ontolog-forum] Time representation

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John Black" <JohnBlack@xxxxxxxxxxx>
Date: Sun, 20 Jan 2008 23:21:43 -0500
Message-id: <0b5d01c85be5$212b3fa0$6601a8c0@KASHORI001>
On Sun. Jan 20, 2008, at 2:55 PM, John Sowa wrote:    (01)

I have a few questions below about how this works.    (02)

> The IKL language adds an expression type '(that p)' to
> Common Logic, where p is arbitrary sentence that states
> some proposition.  That expression maps to a CG context
> box of the following form:
>    [Proposition: p']
> where p' is the CG translation of p.
> Time does not apply directly to propositions, but to situations.
> In CGIF (Conceptual Graph Interchange Format), you could write
> [Situation *s] (PTim ?s, "20 January 2008") (Dscr ?s [Proposition p'])
> This says that there exists a situation s whose point in time is
> 20 January 2008 and whose description is the proposition p'.  It
> could be translated to the following statement in IKL:
>    (exists (s Situation)
>       (and (PTim s "20 January 2008") (Dscr s (that p))))
>    (03)

Some questions about how this works.    (04)

1. Is the interpretation of [Proposition: p'] true if p' is true and false 
otherwise?    (05)

2. What about the [Situation *s] graph? This is true if there in fact existed a 
situation on 20 January 2008 that made proposition p' true? But it says nothing 
about before or after, correct?    (06)

3. In the context framework you mentioned the other day, with the triples, you 
defined (T1,X,T2) as a T1 = a bounded text, X = a context, and T2 = axioms 
showing the relation of T1 to X. What would be an example of an axiom that 
relates  p' to (PTim ?s, "20 January 2008")? Does this simple example need any?    (07)

John Black    (08)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (09)

<Prev in Thread] Current Thread [Next in Thread>