Me and my project Genifer

  • 12 Replies
  • 6557 Views
*

YKY

  • Roomba
  • *
  • 6
  • check out our AGI project Genifer
    • Genifer
Me and my project Genifer
« on: January 25, 2012, 07:54:50 am »
Hello,

I'm new to this forum but I've been working on AGI (artificial general intelligence) for 8 years.  My project is called Genifer and it's opensource, hosted on Google Code.

This is the project web site:
http://code.google.com/p/genifer/

I and some partners have written a free online book on AGI theory, and many sets of introductory slides that can be downloaded here:
http://code.google.com/p/genifer/downloads/list

This is a 4-minute introductory video to Genifer on YouTube:



I hope to share ideas with this forum, and find more partners.  I'm very open-minded and our project welcomes everyone to join, contribute, commercialize, modify, etc.

I'm from Hong Kong, China, where we have a lot of funding and not enough expertise in AGI.  Currently we're looking for someone to work on logic-based (ie relational) inductive learning.  Contact me if you're interested!

 :)
YKY
« Last Edit: July 02, 2014, 01:02:30 am by Freddy »

*

Bragi

  • Trusty Member
  • ********
  • Replicant
  • *
  • 564
    • Neural network design blog
Re: Me and my project Genifer
« Reply #1 on: January 26, 2012, 07:43:21 am »
Hi YKY,
interesting project. Is there perhaps a demo/beta or the like that can be tested? You say you have funding? lucky you.
I'm working with neural nets myself, no funding, solo project.

*

Freddy

  • Administrator
  • **********************
  • Colossus
  • *
  • 6860
  • Mostly Harmless
Re: Me and my project Genifer
« Reply #2 on: January 26, 2012, 01:07:49 pm »
Welcome aboard YKY  :)

*

claude2

  • Trusty Member
  • **********************
  • Colossus
  • *
  • 6646
  • are us machineries?
Re: Me and my project Genifer
« Reply #3 on: January 26, 2012, 03:22:15 pm »
Good job! Perhaps a new Hal! O0 ;)
welcome to my world!
the doors we open and close each day decide the way we live....flora whittemore

It is a proverb, sent of my friend Rutanya Alda, actress. (Amityville2)

*

YKY

  • Roomba
  • *
  • 6
  • check out our AGI project Genifer
    • Genifer
Re: Me and my project Genifer
« Reply #4 on: January 26, 2012, 05:51:00 pm »
Hi YKY,
interesting project. Is there perhaps a demo/beta or the like that can be tested? You say you have funding? lucky you.
I'm working with neural nets myself, no funding, solo project.

Yes, I've written a partially completed prototype in Lisp, and it can be run on any Common Lisp implementation.
The prototype currently has a small test suite of ~15 logic examples.  It's not very impressive.
You may have to check out the Lisp source, branch "fuzzy", directory /hg/lisp/fuzzy.

Or, if you just want to satisfy your curiosity, here's a screenshot of the test output:


 :)
YKY

*

YKY

  • Roomba
  • *
  • 6
  • check out our AGI project Genifer
    • Genifer
Re: Me and my project Genifer
« Reply #5 on: January 26, 2012, 05:56:41 pm »
PS:  I am not having any funding now, just sustaining this on my own.  What I mean is I think I can find funding relatively easily, if I can find 1 or more partners to work on the project.  Right now I'm nearly solo with some volunteers helping me informally, so I don't need external funding yet.

*

Bragi

  • Trusty Member
  • ********
  • Replicant
  • *
  • 564
    • Neural network design blog
Re: Me and my project Genifer
« Reply #6 on: January 27, 2012, 08:02:33 am »
so, this is mostly based on a 'prolog' type of declaring logic rules? Could you perhaps give an example of a simple rule in your system?
how do you handle the natural language processing?

PS: I read you also did some experimenting with neural nets, but found some 'problems' with them. I can relate. I solved this by using a different type of network, based on resonance (my own flavor).

*

YKY

  • Roomba
  • *
  • 6
  • check out our AGI project Genifer
    • Genifer
Re: Me and my project Genifer
« Reply #7 on: January 27, 2012, 12:17:41 pm »
so, this is mostly based on a 'prolog' type of declaring logic rules? Could you perhaps give an example of a simple rule in your system?
how do you handle the natural language processing?

PS: I read you also did some experimenting with neural nets, but found some 'problems' with them. I can relate. I solved this by using a different type of network, based on resonance (my own flavor).

An example rule would be:
    has_beard(X) -> male(X)
but this is not a rule in a realistic KB due to various complications:  eg, the rule would be fuzzy-probabilistic, and it would be further broken down into atomic concepts such as "have", "beard", etc.  It is hard to state a rule in such details, but we don't need to care because all the rules would be learned by machine (and we can provide initial rules as seeds).

Natural language:  Genifer does not need a separate NL module.  All of natural language can be learned via inductive learning.  Actually, when the core logic engine is ready, I plan to launch a campaign to "teach Genifer English in 3 days" as a publicity stunt =)

Neural networks:  yes, it is possible to modify traditional ANNs to make it more powerful and expressive, but a problem is that the approach seems ad hoc and it may be hard to convince others to use it.  When I found out that traditional ANNs are inadequate for AGI, I switched to logic because it's more expressive and is the other most mainstream approach beside ANN.

It might be possible to find out the formal relation between your approach and the logic-based approach.

I also discovered that one can perform machine vision using logic, but it'd require a feature-extraction layer before logic takes over the processing.  And that layer may be implemented using ANN.

 :)
KY

*

Bragi

  • Trusty Member
  • ********
  • Replicant
  • *
  • 564
    • Neural network design blog
Re: Me and my project Genifer
« Reply #8 on: January 27, 2012, 03:13:22 pm »
Quote
It is hard to state a rule in such details, but we don't need to care because all the rules would be learned by machine (and we can provide initial rules as seeds).
Do you already have initial rule seeds?

Quote
Natural language:  Genifer does not need a separate NL module.  All of natural language can be learned via inductive learning.
Can it already do something with text input?
Quote
Actually, when the core logic engine is ready, I plan to launch a campaign to "teach Genifer English in 3 days" as a publicity stunt =)
That would be pretty impressive. How would one go about teaching it?

Quote
Neural networks:  yes, it is possible to modify traditional ANNs to make it more powerful and expressive, but a problem is that the approach seems ad hoc and it may be hard to convince others to use it.  When I found out that traditional ANNs are inadequate for AGI, I switched to logic because it's more expressive and is the other most mainstream approach beside ANN.
When I say resonating neural nets, it's best to first forget everything you know about ANN. I don't work with input - output and hidden layers. It's more akin to a database system. The basic idea is that, when an impulse needs to be processed, other parts of a neural network determine the path to take, not the neuron itself (that's the resonance bit). In the end, this comes down to being able to 'program' neural nets.

*

YKY

  • Roomba
  • *
  • 6
  • check out our AGI project Genifer
    • Genifer
Re: Me and my project Genifer
« Reply #9 on: January 27, 2012, 04:27:12 pm »
Do you already have initial rule seeds?

No, (but see below)....

Quote
Can it already do something with text input?

No again  :P

Quote
That would be pretty impressive. How would one go about teaching it?

Through a combination of techniques, but mainly, by encoding rules of syntactic and semantic parsing as [higher-order] logic formulas.  It's easier than it sounds, because we can seed the system with simplistic rules at first.  Also, we can rely on inductive learning to learn from English examples, without the need to enter logic directly (so anyone who knows English can help).  Such initial rules will gradually evolve to become more and more accurate.

Quote
When I say resonating neural nets, it's best to first forget everything you know about ANN. I don't work with input - output and hidden layers. It's more akin to a database system. The basic idea is that, when an impulse needs to be processed, other parts of a neural network determine the path to take, not the neuron itself (that's the resonance bit). In the end, this comes down to being able to 'program' neural nets.

You may take a look at my idea of distributive inference, where a network of computers cooperate to perform logical inference (and learning etc).  It's not a big stretch to view a single logic formula as similar to a neuron.  In fact, a neuron when represented in coordinate space is just a half-space cut out by its equation as a hyper-plane.  And such a region is similar to a region in a Venn Diagram (ie Boolean algebra).  Thus, a neuron is like a proposition in logic.  But predicate logic makes it more powerful than a neuron because it allows variables.

I'm still making the slides about my distributive inference idea...  will upload it in a week or so...
 :)
KY

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Trusty Member
  • **********************
  • Colossus
  • *
  • 5865
Re: Me and my project Genifer
« Reply #10 on: July 12, 2014, 12:16:55 pm »
Welcome aboard YKY. Sorry I missed your initial posting but work kept me busy.

It's always nice to see new members with fresh ideas. Good luck! O0
« Last Edit: July 13, 2014, 04:36:00 pm by Art »
In the world of AI, it's the thought that counts!

*

YKY

  • Roomba
  • *
  • 6
  • check out our AGI project Genifer
    • Genifer
Re: Me and my project Genifer
« Reply #11 on: July 13, 2014, 01:44:01 pm »
The time is just right :)

I am starting to explore neural-symbolic integration ideas and looking for collaborators :)

*

Freddy

  • Administrator
  • **********************
  • Colossus
  • *
  • 6860
  • Mostly Harmless
Re: Me and my project Genifer
« Reply #12 on: July 14, 2014, 11:06:22 pm »
Hi YKY,

Welcome back :)

 


LLaMA2 Meta's chatbot released
by spydaz (AI News )
August 24, 2024, 02:58:36 pm
ollama and llama3
by spydaz (AI News )
August 24, 2024, 02:55:13 pm
AI controlled F-16, for real!
by frankinstien (AI News )
June 15, 2024, 05:40:28 am
Open AI GPT-4o - audio, vision, text combined reasoning
by MikeB (AI News )
May 14, 2024, 05:46:48 am
OpenAI Speech-to-Speech Reasoning Demo
by MikeB (AI News )
March 31, 2024, 01:00:53 pm
Say good-bye to GPUs...
by MikeB (AI News )
March 23, 2024, 09:23:52 am
Google Bard report
by ivan.moony (AI News )
February 14, 2024, 04:42:23 pm
Elon Musk's xAI Grok Chatbot
by MikeB (AI News )
December 11, 2023, 06:26:33 am

Users Online

346 Guests, 0 Users

Most Online Today: 464. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles