[Top] [All Lists]

Re: [ontolog-forum] Requirements of computer language semantics

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Wed, 18 Mar 2009 20:02:51 -0400
Message-id: <49C18BAB.20303@xxxxxxxxxxx>
Chris,    (01)

I agree with the technical points you made, but the judgment
about what makes "more sense" is debatable:    (02)

CM> Other things being equal, it makes a great deal more sense
 > to provide a semantics for L1 directly [than to define the
 > semantics by translation to a previously defined language L2].    (03)

Interoperability is always a major practical concern in comp. sci.,
and a translation from a new language L1 to a previously defined
and analyzed language L2 can help answer many important questions:    (04)

  1. Are they logically equivalent or can one be mapped to a subset
     of the other?    (05)

  2. If the answer to #1 is no, then is there some subset L1' of L1
     and L2' of L2 such that L1' and L2' are logically equivalent?
     Are those subsets L1' and L2' big enough to be useful?    (06)

  3. Which reasoning engines already available for L2 can be
     be used for L1 or some subset of L1?    (07)

If the model theory of L2 is defined independently of L1, it is
much harder to answer these questions.    (08)

For a previously unanalyzed language such as mKR, many of us
have little or no confidence in its consistency.  It's quite
possible that if Dick (or one of his colleagues) tried to
map mKR expressions to a previously defined language, they
might encounter some serious difficulties.  Therefore, they
might choose to redefine the troublesome features of mKR
in a way that simplifies the translation.    (09)

So I would argue for the following procedure:    (010)

    Other things being equal, it makes more sense to try
    to map a new language L1 to some previously defined
    and analyzed language than to try to define the
    semantics for L1 from scratch.    (011)

John    (012)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (013)

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