John, Rick and Pat (01)
Great feedback and discussion! (02)
I still think that it is better to complete the task as much as one can
as Woods did, so that others can run with it and complete and societal
value over time-integration is great. Example is Riemann and Hilbert's
work used by Physicists (Einstein). (03)
I have also been keen to ask John, based on our earlier thread (that
Sanskrit is a completely computer analyzable language with exactness -as
much as possible - compared to other languages such as English), as to
what is an easier avenue and direction: (04)
1. Make (Sanskrit VM) SVM code as in the instruction set similar to JVM
while overlaying Computer Interpretable English (CIE) on top of it so
that errors only occur in the CIE almost, all users learn a familiar
subset of English language (05)
Or (06)
2. Directly compile CIE as (EVM English VM) a language compiler and
sacrifice the exactness inherent in the Sanskrit language -you get
freebees of 5000 years of concepts and relationships that are pretty
granular and like formulae are brief).
(Similar arguments could work with German and Russian languages at least
and partition from SVM might be better for globalization as SVM is their
root as well?) (07)
Let us know, what avenue might work better? (08)
Thanks. (09)
Ravi (010)
(Dr. Ravi Sharma) Senior Enterprise Architect (011)
Vangent, Inc. Technology Excellence Center (TEC) (012)
8618 Westwood Center Drive, Suite 310, Vienna VA 22182
(o) 703-827-0638, (c) 313-204-1740 www.vangent.com (013)
Professional viewpoints do not necessarily imply organizational
endorsement. (014)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F.
Sowa
Sent: Thursday, May 15, 2008 12:01 AM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] A different approach to ontology (015)
Pat and Rick, (016)
The procedural approach that Bill Woods advocated in
his Phd dissertation (late 1960s) and developed at BBN
in the 1970s can be interpreted as a variant of a
Tarski-style evaluation function. (017)
> In this theory the meaning of a noun is a procedure for
> recognizing or generating instances, the meaning of a
> proposition is a procedure for determining if it is true
> or false, and the meaning of an action is the ability to
> do the action or to tell if it has been done. (018)
In effect, the systems that Woods designed and implemented
determined the denotation of an expression in terms of a
particular model of the world. If that model were stored
on a relational DB, then his algorithms could be viewed
as a way of implementing a database query algorithm with
queries stated in a version of controlled English. (019)
Around the same time, Ted Codd was proposing similar methods
for querying a database. But there is an interesting parallel
to their achievements: (020)
1. Woods was talking about natural language understanding
and considered the issues of accessing a database to be
a relatively simple subproblem. (021)
2. Codd viewed the problem of efficient access to a DB in
a language that human beings could conveniently write
as a major practical problem. (022)
Although Woods and Codd developed similar methods (and Woods
was actually a couple of years ahead of Codd), Woods' system
was considered only a partial success because it processed
a subset of English. Codd, however, was considered the father
of a major new approach to organizing and accessing databases. (023)
Moral of the story: If you partially solve a difficult problem,
you won't get as much fame and fortune as if you completely solve
a more modest problem with important practical implications. (024)
John Sowa (025)
_________________________________________________________________
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 (026)
_________________________________________________________________
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 (027)
|