Hi YKY, Interesting that you should ask about Texai and reasoning / learning algorithms. As you know, my initial approach to learning is learning by being taught. Therefore I do not have much yet to offer with regard to machine learning, learning by discovery and so forth.
However, I had to write a simple subsumption reasoner and I would be glad to license that particular code to you under a BSD or other commercial-friendly license as you wish. Subsumption reasoning is rather simple and you may find it easier to read my Java code and re-implement in Lisp. You can replace my RDF queries with graph traversal or SQL queries depending on how your knowledge base is implemented. My source code is archived in this Subversion repository, in the src directory. Having completed the very basic dialog capability to comprehend and generate a single English sentence, I am moving on to coding the ability to acquire lexicon / grammar vocabulary and skills. To acquire skills, I have decided to implement an agent control language, that I call Texai behavior language, which compiles directly into Java for execution. I am following the design outlined in Gerhard Wickler's thesis whose project page is here for Capability Description Language. For the CDL state representation language, I am using RDF formulas elaborated with logical operators for implies, not, or, and and. I need to enhance the subsumption reasoner to perform unification and subsumption reasoning over sets of precondition and postcondition formulas. This facility will not provide general deductive binding-gathering, but still it might be useful. And it will give you an idea of the low-level term, literal and formula objects that Texai will use. This work will be archived in this Subversion repository as I write it. Best wishes for collaboration. -Steve Stephen L. Reed Artificial Intelligence Researcher http://texai.org/blog http://texai.org 3008 Oak Crest Ave. Austin, Texas, USA 78704 512.791.7860 ----- Original Message ---- From: YKY (Yan King Yin) <[EMAIL PROTECTED]> To: [email protected] Sent: Sunday, May 4, 2008 12:32:03 PM Subject: [agi] about Texai @Stephen Reed and others: I'm writing a prototype of my AGI in Lisp, with special emphasis on the inductive learning algorithm. I'm looking for collaborators. It seems that Texai is the closed to my AGI theory, so it would be easier for us to "jam". I wonder if Texai has already developed reasoning / learning algorithms? YKY ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?&; Powered by Listbox: http://www.listbox.com ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=101455710-f059c4 Powered by Listbox: http://www.listbox.com
