Ben Goertzel wrote:
Hi Richard,
I think you are precisely correct to say that one needs "a sufficiently
and appropriately flexible KR format (which is then really more of a
meta-format)" but I would object that when you go on to say that "a
probabilistic weighted, labeled hypergraph [etc]..." i
I am writing up my paper for the AGIRI workshop proceedings this week,
so I will postpone further details until I have that to point to.
Great, I look forward to reading the write-up ;-)
ben
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options
This discussion has been skirting very close to what I said in my
AGIRI talk and book...
evolution invested massive computation in getting the KR right. Yes,the KR
is built for (3+1)-D and a lot more-- it's not just a list of facts,
or some database where you enter logical statements that
are then
I am interested in meta-learning voodoo, so I thought I would add my
view on KR in this type of system.
If you are interested in meta-learning the KR you have to ditch
thinking about knowledge as the lowest level of changeable
information in your system, and just think about changing state. Stat
William Pearson wrote:
I am interested in meta-learning voodoo, so I thought I would add my
view on KR in this type of system.
If you are interested in meta-learning the KR you have to ditch
thinking about knowledge as the lowest level of changeable
information in your system, and just think ab
On 27/09/06, Richard Loosemore <[EMAIL PROTECTED]> wrote:
William Pearson wrote:
> I am interested in meta-learning voodoo, so I thought I would add my
> view on KR in this type of system.
>
> If you are interested in meta-learning the KR you have to ditch
> thinking about knowledge as the lowest
Eric wrote:
evolution invested massive computation in getting the KR right. Yes,the KR
is built for (3+1)-D and a lot more-- it's not just a list of facts,
or some database where you enter logical statements that
are then processed by modus ponens or some such;
it's procedures that can be invoked
Ben Goertzel wrote:
Eric wrote:
evolution invested massive computation in getting the KR right.
Yes,the KR
is built for (3+1)-D and a lot more-- it's not just a list of facts,
or some database where you enter logical statements that
are then processed by modus ponens or some such;
it's procedur
On Sep 26, 2006, at 5:04 AM, Ben Goertzel wrote:
Speeding up this process using FPGA's is a possibility, hinted at by
DeGaris's work using FPGA's to speed up GA evolution of NN's.
However, right now this doesn't seem workable for the Novamente case
because the Combo programs being learned inside
> I believe that to be adequate, the code language must incorporate
> something loosely analogous to probabilistic logic (however
> implemented) and something analogous to higher-order functions
> (however implemented). I.e. it must be sensibly viewable as a
> probabilistic logic based functional
On 9/27/06, William Pearson <[EMAIL PROTECTED]> wrote:
You could test this by looking at the brain regions that people usewhen solving problems. If this changes on a person by person basis,then it is likely that some form of meta-learning of the sort I aminterested in occurs in humans.
I vaguely
On 9/27/06, Ben Goertzel <[EMAIL PROTECTED]> wrote:
> > I believe that to be adequate, the code language must incorporate
> > something loosely analogous to probabilistic logic (however
> > implemented) and something analogous to higher-order functions
> > (however implemented). I.e. it must be
Ben--
I'm not sure what you mean by ``higher order functions"
and ``probabilistic programming language", can you spell out please?
I think it looks like really well written python code.
Is there some difference with the above?
My AGIRI Proceedings paper discusses this in more detail.
Eric
---
I'm not sure what you mean by ``higher order functions"
Functions that take functions as arguments -- I mean the term in the
sense of functional programming languages like Haskell ...
and ``probabilistic programming language", can you spell out please?
I mean a language (or code library with
14 matches
Mail list logo
