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)
|