On 1/14/07, Benjamin Goertzel <[EMAIL PROTECTED]> wrote:
The choice of knowledge representation language makes a huge difference.
IMO, Cyc committed themselves to an overcomplicated representation
language that has rendered their DB far less useful than it would be
otherwise....
If you want to use Lojban or Lojban++ as a knowledge representation,
then I will back your project strongly, as careful study convinced me
that the Lojban style of representation makes a lot of sense...
Lojban is advertised to be "based on predicate logic", so I assume that
translating Lojban to FOPL should be straightforward. Is there such a
translator available?
I think the difficulty is in translating from English (or whatever NL) to
Lojban or logic. This is still unsolved, so we need to settle with a
restricted subset of English.
IMO the use of Lojban is unnecessary because it is computationally
equivalent to FOPL. But if you insist on Lojban it wouldn't be difficult to
prepare a Lojban version of the knowledgebase. Or am I missing something?
YKY
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?list_id=303
