Debbie and Wacek, (01)
It's important to note that CL and IKL (or their concrete
dialects) are formal notations, which by themselves say
nothing about contexts or eternal truths or pedagogically
effective methods of communication. The way those notations
are used may be evaluated or criticized on such grounds,
but the formalism is intended to be as neutral as any
modern KR notation can be. (02)
DM> If as John says - in CGs, a context is a concept box that
> contains a nested conceptual graph - do you ever see a benefit
> in standardizing or limiting the number of boxes or levels
> portrayed? (03)
There are very useful practical and pedagogical reasons for
limiting the complexity of English sentences and any formalism
that represents them. But that is a different issue from what
English syntax or the syntax of CLIF or CGIF permits. (04)
I would agree that there might be useful guidelines about
how to use any of these notations and that research on human
factors may be useful for developing guidelines. But those
are general issues that would apply to any notation. (05)
vQ> I take
>
> (that (rains))
>
> to be a proposition that it rains, without any indexicals,
> that is, that it rains everywhere, at all times. Or how
> should it be understood? (06)
That's your choice. The CLIF notation "(that (rains))" and
the equivalent CGIF notation "[Proposition: (rains)]" provide
means of "knowledge representation", but there is an enormous
range of different theories of "knowledge" that might use
those notations. (07)
To answer your question (08)
vQ> Or how should it be understood? (09)
You can interpret it the same way you would interpret any
statement in any notation that translates into that form.
The goal of IKL is to preserve the same insights (or errors)
as the author expressed in the original notations. (010)
John (011)
_________________________________________________________________
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 (012)
|