On 5/4/08, Stephen Reed <[EMAIL PROTECTED]> wrote:
> 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.
Do you think it's possible for me to "plug in" my learning module to
Texai? It may not be easy but certainly is very desirable.
Also, there may be problems with using a COTS DB for the KB. The
learning algorithm needs a huge amount of access to the KB. Some
specialized algorithms may be better than existing DBs. For example,
it may be desirable to build a big index based on predicate hashing of
all the rules.
> 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.
My KB is just a DB of logic formulae, not graphical. It's close to
Cyc's KR, with a few inventions of my own.
One question I have is how do you represent complex English sentences
in first order logic, or RDF (which is similar anyway). For example:
"John eats spaghetti slowly"
"John believes Peter is crazy"
"John drinks the wine that is poisoned"
etc.
These sentences require a formula to "quote" another formula. If you
don't have this construct in your logic, the sentences may be
unrepresentable.
> 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 don't know how exactly CDL is used in Texai. Do you have a blog
entry or some explanations for this?
> 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.
Yes, that'd be a good way for me to learn more about Texai.
Thanks =)
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/?member_id=8660244&id_secret=101455710-f059c4
Powered by Listbox: http://www.listbox.com
