You guys may be interested in this <[link]>.

== quote ==

We are happy to release a resource, spanning 7,560,141 concepts and 175,100,788 unique text strings, that we hope will help everyone working in [information retrieval and natural language processing].

KY,
Good luck at making impressions for Genifer and AGI at the start-up convention!!
-RS
______________________________ __
From: "YKY (Yan King Yin, 甄景贤)" <generic.intellige...@gmail.co m>
To: general-intelligence@googlegro ups.com
Sent: Thursday, May 17, 2012 9:28 PM

This is a good idea I think ... forward-chaining should be very suitable for this kind of processing.  It can also parse commands and give English explanations.  There's also fuzzy auto-complete in some IDEs...

this is one program that can compare similar code segments..

[link]

whether this happens in a command shell or IDE is pretty much the same
thing since this application would blur the lines between them.

for example, the strace/ltrace features Jim suggested would be analogous to

SeH,

I was actually thinking about a similar idea, in the context of programming
IDEs. It often happens that I write the same kind of structure twice or
more, either within the same function or in several functions. Usually when
I notice I'll make a function out of it, but not always. It's slightly

This is a good idea I think ... forward-chaining should be very suitable
for this kind of processing. It can also parse commands and give English
explanations. There's also fuzzy auto-complete in some IDEs...

I'm going to a local startup competition to introduce Genifer to some local
Hong Kong people... which lasts for the weekend... will get back to this

absolutely, command auto-completion suggestions could certainly be
involved.

i certainly recognize the relevant application of compression and also the
inductive logic solution applied in the mentioned paper.

yes! i think the strace or ltrace traces for a given command could indicate:

training against strace dumps of any program, shell or otherwise would be
trivial to provide for a stream of entity actions to classify

That's an interesting idea. One problem might be ending up with more
macros than you can remember. Another approach might be auto-complete
by comparing what you are typing with commands you entered previously.
In either case, it's similar to the problem of compressing your
command history.

i was thinking of a command shell, or an extension to existing shell like
BASH that analyzes your command history and automatically suggests macros
that cover frequently used command patterns.

for example, if i end up typing commands like:

find | fgrep '.c'
find | fgrep 'y'

it would suggest or create a new macro:

* and + may look isomorphic to AND and OR, but
a*b != b*a
whereas
a AND b = b AND a.

That makes the logic subtly different from Boolean algebra... otherwise
we'd be able to use database query optimizers to answer queries in Gen
logic.

In fact, Genifer's * and + can co-exist with Boolean algebra, resulting in

so far you've got something that looks like sparql test queries.

On Mon, May 14, 2012 at 1:14 AM, YKY (Yan King Yin, 甄景贤) <

May I be free to draw a parallel I was inspired to by you?

This strongly reminds me of induction / reverse induction, although it's
somewhat different from it

a+b+<something else> |= x

When we say x we are not sure does it imply back a, b, <something else>, or
some combination of thees. It would have to be at least one of thees, but

I just implemented some Clojure functions for context management. All the
contexts are stored in a big tree structure.

What I discovered is that contexts cannot deal with the problem of compound
sentences, so the logic really needs to have 2 operations: composition and
pairing. Their axioms look like addition and multiplication:

If equations are understood to work both ways, then clearly this is an
abuse, yes.

--Abram

On Sat, May 12, 2012 at 3:36 AM, YKY (Yan King Yin, 甄景贤) <

--
Abram Demski
[link]

PS:

It appears that one can use rewrite rules to perform inference involving
quantification, for example:
All man are mortal
can be rewritten in some way to give:
Socrates is mortal
but I've decided against this usage because it doesn't follow the original
principle, namely that the rewrite system is a set of *equations* relating *

HI,

> Is there still a censorship issue with getting this content into the
> mind of China?  Will your effort to translate transhumanist ideology
> to Chinese be subversive or otherwise quashed?

Not really... the gov't only censors stuff that is perceived as a
direct threat to their power, and transhumanism is not, at the
moment.... The gov't there is pretty eager to foster advanced
technology development...

The issue with getting the content into the mind of Chinese folks is
that, currently, most young educated Chinese are obsessed with making
$$ and buying apartments and cars etc. .... So the challenge is to
convey the idea that these advanced tech ideas are feasible to happen
in their lifetimes and not just long-term pie in the sky...

ben

On Sat, May 19, 2012 at 12:13 AM, Ben Goertzel <ben@goertzel.org> wrote:
> Note that one of my goals is to have the selected essays translated
> into Chinese and placed on a Chinese website.  Note also that there is
> less online transhumanist info in Chinese, and that not everyone in
> China with an inquiring intelligence and a Net connection reads
> complicated English texts easily.  So, your statement about newbies
> may be more applicable to Americans than to Chinese...

I admit to being an ignorant American. Possibly less than average
since I am aware of this fact.

Is there still a censorship issue with getting this content into the
mind of China? Will your effort to translate transhumanist ideology
to Chinese be subversive or otherwise quashed?

>> Do you have a list of works that already contributed to your own
>> current mindset?
> That's not so relevant because I'm 45 years old and became interested
> in these topics in the early 1970s...

Impressive. Transhumanist at age 3. :) During those odd/even day
gas lines at age 5 I suggested people stay home to conserve fuel - but
it was mostly because I didn't want to share toys with my cousins.

> All great writers, but I'm looking more for nonfiction articles/essays
> than SF, in this context...

Yeah, I know books are somewhat old-school for today. I generally
don't take the time to watch video, but this is well worth the 16
minutes: http://www.ted.com/talks/paul_rothemund_details_dna_folding.html

Possibly not transhumanism, but I'd propose it's potentially an
enabling technology.

Mike,

> On Fri, May 18, 2012 at 9:44 AM, Ben Goertzel <ben@goertzel.org> wrote:
>> I'm looking to assemble a collection of essays for intelligent,
>> educated newbies, not for those of us who have already heard all the
>> basic ideas about these themes...
>
> Interesting problem.  Seems like any newbie with an inquiring
> human-level intelligence and an internet connection won't be a newbie
> for very long.

Note that one of my goals is to have the selected essays translated
into Chinese and placed on a Chinese website. Note also that there is
less online transhumanist info in Chinese, and that not everyone in
China with an inquiring intelligence and a Net connection reads
complicated English texts easily. So, your statement about newbies
may be more applicable to Americans than to Chinese...

> If you audience is really those who are inherently fertile minds in
> which to plant the transhumanist seed, think about the memeplex that
> would already exist and further it.

The memeplex that exists in bright young Chinese "nerds" seems to be
--- lots of enthusiasm for advanced technology, exposure to futuristic
anime' and some SF movies, but relative unfamiliarity with the
existence of serious scientists who are explicitly working to make SF
real within their lifetimes

> Do you have a list of works that already contributed to your own
> current mindset?

That's not so relevant because I'm 45 years old and became interested
in these topics in the early 1970s...

> Some authors I'd note:
> Douglas Hofstadter, Rudy Rucker, Isaac Asimov, Philip Dick, William
> Gibson, Greg Egan, even some Robert Heinlein

All great writers, but I'm looking more for nonfiction articles/essays
than SF, in this context...

(I know Hofstadter is a nonfiction writer, and Rucker spans both sides...)

thx
ben

On Fri, May 18, 2012 at 9:44 AM, Ben Goertzel <ben@goertzel.org> wrote:
> I'm looking to assemble a collection of essays for intelligent,
> educated newbies, not for those of us who have already heard all the
> basic ideas about these themes...

Interesting problem. Seems like any newbie with an inquiring
human-level intelligence and an internet connection won't be a newbie
for very long.

If you audience is really those who are inherently fertile minds in
which to plant the transhumanist seed, think about the memeplex that
would already exist and further it. If you are trying to reach the
mainstream to open their thinking, it's a very different approach.

Do you have a list of works that already contributed to your own
current mindset?

I can't think of urls - too much of what I've read online was
consumed, digested and integrated in the way mostly every meal one
eats in a lifetime provides nourishment but it otherwise not
memorable. A few books come to mind as being noteworthy shapers of
ideas, but unless one is already intent to consume such, a book is too
slow a medium to capture the causal passerby.

Some authors I'd note:
Douglas Hofstadter, Rudy Rucker, Isaac Asimov, Philip Dick, William
Gibson, Greg Egan, even some Robert Heinlein

I am happy to let you know that Model-based
Utility Functions has been accepted and published
by the Journal of AGI:

http://dx.doi.org/10.2478/v10229-011-0013-5

Much thanks to Laurent Orseau, Tim Tyler and the
reviewers and editors at JAGI for their help.

Bill