On 12/6/2011 8:18 PM, Zhuk, Yefim wrote:
> I remember that in the initial message you said (I think that Guha
> said it too) that CycL was too complicated. (01)
The point was "too complicated for the average programmer or webmaster."
If you're processing natural languages, you have to get into a very
large number of issues -- linguistic, logical, philosophical, and
computational. That requires a lot of sophistication. (02)
> Several years ago I also tried to figure out what is the best way to
> deal with NL. At that time I thought about CycL as the best choice.
> (See http://javaschool.com/EA/5/KnowledgeTechnologies.pdf )
>
> I still keep this idea because this is the only language, which naturally
> creates rules while describing the subject. Is it right that this is the
> only language, which has all necessary environment to speak and operate? (03)
To support the full logical complexity of what can be expressed in NLs,
you do indeed require a very expressive version of logic. That means
it must be even more expressive than Common Logic. (04)
A few years ago, there was a two-year project to define an expressive
logic that would be upward compatible with Common Logic and sufficiently
rich to express a wide variety of knowledge representation languages. (05)
Among the participants in that project were representatives from Cyc.
It also included several other people who subscribe to Ontolog Forum,
including Pat Hayes, Chris Menzel, Michael Gruninger, and me. (06)
The language that we specified was called IKL, and it included one
additional feature beyond Common Logic: the ability to use metalanguage
to make assertions about arbitrary propositions. (07)
In the following slides, I present an intro to Common Logic, and at the
end (slides 29 to 36) I discuss IKL. I also include pointers to some
documents about IKL: (08)
http://www.jfsowa.com/talks/clintro.pdf (09)
I also put together the following sequence of 140 slides (divided into
7 sections) on the topic "The goal of language understanding": (010)
http://www.jfsowa.com/talks/goal.pdf (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 (013)
|