Menu
▾
▴
Re: [OpenCyc-devel] Beginner question on how to start some basic tests
|
From: <dm...@us...> - 2008-07-30 23:53:15
|
There are various releases of RCYC/OpenCYC that have less or more Programmable API but your guaranteed them in RCYC. You probably should apply for a ResearchCyc license: http://researchcyc.cyc.com/ CYC is the best engine in my opinion for large memoization tasks including/needing transitive closure. Cyc got that way by having to deal with a large number of worse case combinatory problems where their programmers had to almost idiomatically code around ;) But the results have been efficient, sane and complete which can provide a good generic propositional resolution prolog-like database. For docs on hooking programmically in/out of unification systems you'll find these docs the most useful in my opinion http://researchcyc.cyc.com/doc rcyc/rcyc especially: http://researchcyc.cyc.com/doc/subldoc/module-index.html ----- Original Message ----- From: Paul Fodor To: ope...@li... Sent: Wednesday, July 30, 2008 3:29 PM Subject: [OpenCyc-devel] Beginner question on how to start some basic tests To: ope...@li... Dear Sir, I am beginner to OpenCyc and I am trying to figure out how to use OpenCyc to write some basic benchmarking problems (such as: nqueens programs, the classic puzzle16 problem, etc.). I wonder if anyone can give me some pointers on which parts of the documentation to read to speed up the process and how to benchmark them (measure query time) using the basic CYC console. I am not interested into using the Knowledge Base and Web interface, but in the inference engine in the CYC console: to write CycL programs, measure the time for asserting facts, query (and measure time). My stating problem is the following: I have a list of facts (for instance edge/2) and I want to compute the transitive closure (for some relation reach/2 defined as edge/2 or edge(X,Z),reach(Z,Y) ). The manual is pretty descriptive on how to use the high level Web interface for searching the knowledge base, but I find it pretty difficult to figure out how to compile/load programs and query them in the CYC console. I am still trying to figure out how to use the inference engine for querying rules (not just facts in the KB, but rules over these facts, such as joins "a(X,Y) and b(Y,Z)"). I am currently going over the manual. Please feel free to give me any pointers of how to write basic tests in Cyc (such as: nqueens programs, the classic puzzle16 problem, etc.) and how to compile/load/benchmark them in the CYC console. Thank you, regards, Paul Fodor. ------------------------------------------------------------------------------ ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ------------------------------------------------------------------------------ _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel |
