Russell posed: Okay, so would it not be accurate to say that this tree structure is a homebrew Lisp family language (with annotations of static type, preconditions etc.) for which you have implemented a compiler into Java?
Not really. Although the distinguishing feature of a Lisp syntax tree is a nested list, and the fact that my composition framework is also a tree does not make that framework a Lisp family language. It might be more clear to think about how a hierarchical task network planner could be used to generate source code from a set of high level program constraints. My composition framework is a plan for creating a particular source code program. The nested compositions can be mapped to the instantiated nested plans from a planner. Hopefully, editing a source code program will be accomplished by known plan repair techniques, among other techniques that I will explore. I view source code composition as a skill. Accordingly, I am developing a skill acquisition tool, driven initially by an English dialog system, that is specialized for acquiring programming skills, but has a general skill performance motivation. Thus I think that programming activity is the key abstraction concept to be modeled rather than drilling down immediately to syntax trees. -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: Russell Wallace <[EMAIL PROTECTED]> To: [email protected] Sent: Friday, October 24, 2008 12:01:53 PM Subject: Re: [agi] On programming languages On Fri, Oct 24, 2008 at 5:55 PM, Stephen Reed <[EMAIL PROTECTED]> wrote: > Composed statements generate Java statements such as an assignment > statement, block statement and so forth. You can see that there is a tree > structure that can be navigated when performing a deductive composition > operation like "is ArrayList imported into the containing class? - if not > then compose that import in the right place". Okay, so would it not be accurate to say that this tree structure is a homebrew Lisp family language (with annotations of static type, preconditions etc.) for which you have implemented a compiler into Java? ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?&; Powered by Listbox: http://www.listbox.com ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34 Powered by Listbox: http://www.listbox.com
