Logan, I don't think that often in terms of sentences like you do; and nor do I think that often in terms of visual images like Mike Tintner does...
I tend to think more in non-dimensional / higher-dimensional abstract topological forms, it seems... I think we all have a great diversity of unconscious reasoning mechanisms, and for various reasons we, as individuals, habitually focus on different ones in the teeny portion of our brain concerned with intensely-conscious, deliberative thinking... ben g On Mon, Jun 25, 2012 at 9:36 AM, Logan Streondj <[email protected]> wrote: > > > On Sat, Jun 23, 2012 at 3:27 AM, Russell Wallace < > [email protected]> wrote: > >> The best representation of code depends on what you want to do with >> it. For efficient execution, you want machine code, or byte code that >> can be easily translated into machine code. If you want to reason >> about the code, however, it's better to use a tree or graph format >> (e.g. Lisp s-expressions). >> > > I find trees and graphs to be difficult to understand. > I find it easier to understand sentences, > as that's how we usually reason. > > >> >> I'm currently looking at the problem of enabling heuristics to watch >> the execution of code (e.g. in order to notice when a search seems to >> have gone off down a blind alley so as to reset it with different >> parameters). This entails finding a representation of a snapshot of >> the current state of execution. Much less work has been done on this, >> and such as I'm familiar with, tends to be on the efficient execution >> end e.g. virtual machines that can dump the current state of memory >> and CPU registers; recovery of structure from that kind of flat format >> would be very difficult. >> > > in HSPL can always read what the current state of execution is, > since it has atomic execution, prints the sentence when it recieves it to > userBook, and once it processes it. > it's an ongoing dialog. > > >> >> Anyone know of any previous work on representations of execution >> snapshots suitable for high-level reasoning? >> >> yep, sentences, we are using them right now. > > sometimes, pointing out the obvious, takes a genius lol. > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/212726-11ac2389> | > Modify<https://www.listbox.com/member/?&;>Your Subscription > <http://www.listbox.com> > -- Ben Goertzel, PhD http://goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-c97d2393 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-2484a968 Powered by Listbox: http://www.listbox.com
