[OpenCyc-devel] Assertions in English / cvs IrcChat

[Kevin B. <co...@co...>]

I've got a pair of questions...

The FAQ from the website gives an example of a simple query (#$genls
#$Dog ?X) which works fine in OpenCyc 0.7.0.  Then it mentions the
ability to turn on "show asserstions in English".  Is this expected to
work for the HexalateralObject genls mentioned?  When I try it, and
click on that genls in the interface, the OpenCyc instance prints a
bunch of:

CYC(1): Warning: (PPH error level 1) Recursion limit exceeded.
Warning: (PPH error level 1) Recursion limit exceeded.
Warning: (PPH error level 1) Recursion limit exceeded.

(14 lines total)

Then I only see:

English Translation :
If (#$isa ?OBJ #$Dog), then (#$isa ?OBJ #$HexalateralObject).

In the web interface, plus some justification strings (isa's) of the
same form.

------

Second question:  What's the state of IrcChat in cvs?  I've tried it
out, and most queries seem to return something like:

<Cobra> query #$genls #$Dog ?X
<Cycbot> Using microtheory: #$CobraChatMt
<Cycbot> for assertions until Cobra types "mt <something>"
<Cycbot> org.opencyc.api.CycApiException: (S#24420 :MESSAGE "A SYMBOL at
0x44010150 is not a f_6739.")
<Cycbot> request: (cyc-query 'null #$CobraChatMt)


If I pass a:
<Cobra> query (#$genls #$Dog ?X)
<-- Cycbot has quit (Remote closed the connection)

Then IrcChat dies with the following trace:


token: 'query' params: '(#$genls #$Dog ?X)'
Exception in thread "main" java.lang.NoSuchMethodError
        at
org.opencyc.kif.CycListKifParser.reduceDottedPairs(CycListKifParser.java:516)
        at
org.opencyc.kif.CycListKifParser.read(CycListKifParser.java:177)
        at
org.opencyc.kif.CycListKifParser.read(CycListKifParser.java:106)
        at org.opencyc.chat.IrcChat.toCycListString(IrcChat.java:747)
        at org.opencyc.chat.IrcChat.serviceQueryUser(IrcChat.java:662)
        at org.opencyc.chat.IrcChat.serviceToken(IrcChat.java:536)
        at
org.opencyc.chat.IrcChat.servicePublicMessage(IrcChat.java:440)
        at
org.opencyc.chat.IrcChat.serviceIRCTransaction(IrcChat.java:418)
        at org.opencyc.chat.IrcChat.serviceIRCSession(IrcChat.java:396)
        at org.opencyc.chat.IrcChat.serviceIRCServer(IrcChat.java:367)
        at org.opencyc.chat.IrcChat.serviceLoop(IrcChat.java:227)
        at org.opencyc.chat.IrcChat.run(IrcChat.java:193)
        at org.opencyc.chat.IrcChat.main(IrcChat.java:113)


This may be my fault, related to the build.  Has anyone else tried
recent cvs and queries with OpenCyc 0.7.0?

Thanks,
-- 
Kevin