AGI methods

  • 56 Replies
  • 14227 Views
*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
AGI methods
« on: June 13, 2014, 11:27:20 pm »
Hi all

I just felt like to share this document with you:

Synth Preview (Artificial Intelligence Aspect)

I hope that Freddy isn't mad at me anymore.

Ivan
« Last Edit: June 14, 2014, 04:02:48 pm by Freddy »

*

Freddy

  • Administrator
  • **********************
  • Colossus
  • *
  • 6068
  • Mostly Harmless
Re: AGI methods
« Reply #1 on: June 14, 2014, 12:11:41 am »
I don't think I was mad at you Ivan  :-[

Anyway welcome back :)

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Global Moderator
  • ******************
  • Hal 4000
  • *
  • 4366
Re: AGI methods
« Reply #2 on: June 14, 2014, 01:04:02 pm »
Nice posting Ivan! Good to see you back!!
In the world of AI, it's the thought that counts!

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #3 on: June 14, 2014, 01:51:39 pm »
From AI point of view, Synth would be a direct competition to OpenCog. It would be ran inside browser, so specific programmed applications would be easily presented to a wide range of users.

Although U might consider Synth as AI domain specific language, I wouldn't call it that way because it would be a general use language in which U could program regular applications such are games, databases and other general apps. It just happens that it handles AI very well (in fact, this was one of mine conditions in making a new language, to handle AI well).

So, why not javascript or something else for AI? It is because in the essence of Synth are mechanisms that are commonly used in AI, so U wouldn't have to program it from the scratch which U would have to do in javascript and similar languages. These mechanisms are expression unification and reactive inference engine.

Let's digress a bit to see the other side of Synth, the general programming part. Well, Synth would provide a new, exotic way of programming. Let's say that we have a structure by which we can store data in variables. Programming in Synth would be managed only with assignments to variables upon events and events araise when other variables change their values. So we wouldn't have classic pointer which goes line by line in code and executes it. We would have a state machine in which variables change their values when events araise. It is yet to be seen how this system would behave in algorithm construction, but from what I've seen by now, technology is promissing.

And if U can imagine some DSL (domain specific language) that would easy up programming of a part of your application, there is a solution for that: Synth would provide user definable parser and interpreter for custom languages, so U can mix Synth and i.e. Python or other code. But I think that this wouldn't be used much, as my experience shows that people usually stick with one language per application. What might be used wider is user definable data formats for storing data such is SVG (scallable vector graphics). So you would pick a language to program in (let's say Synth) and when you get to graphics part, you can use SVG syntax to manage shapes on screen.

Synth would attempt to combine state machine with reactive programming (automatic updating of variables on change of a value that compose the variable). State machines assigns values to variables, while inference engine provides reactive part to the very same variables. So, variables can contain states, reactive values or both.

To return to AI, most of AI theories deal with stateless systems. Synth would attempt to extend itself to easily manage state machines, which would give us more complete embracement of systems in the Universe.

Actually I was searching for an AI method to deal with solving different problems. I needed a data structure that could describe states in the Universe. Besides that I needed some dynamics mechanism to describe how these data change through time. I've managed to battle through and Synth idea was born.

I find that Synth would be an exciting innovative platform and I hope that programmers will like it.

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #4 on: June 14, 2014, 02:07:17 pm »
Oh, and thanks for warm welcome, it meant a lot to me, guys :)

*

Freddy

  • Administrator
  • **********************
  • Colossus
  • *
  • 6068
  • Mostly Harmless
Re: AGI methods
« Reply #5 on: June 14, 2014, 04:00:54 pm »
Sorry if I am being dim, but is this a project of your own Ivan ?

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #6 on: June 14, 2014, 04:33:37 pm »
Yes, Synth is programming language I'm developing. I need it to create a web site which would solve math, physics and chemistry problems. The site would also include theorem proof finder and, maybe in the future, intelligent encyclopedia with some chatting support and tree branch exploring of knowledge (upon question U get a short matter abstract where U can recursively expand notions about which U want to read about). The site would serve as a show-off for AI techniques and would include a link to downloadable free Synth programming language. My final goal would be to interest public to be more creative in AI field, so someone would one day preferably build intelligent autonomous machine that would change the world.

I figured out that posting "come here to solve math problems" to facebook's and twitter's school and university pages would bring me some publicity to share the AI knowledge because maybe someone would be interested at how things work under the hub.

So Synth would be OpenCog competitor and later site would be Wolfram Alpha competitor. Wolfram Alpha is commercial site so if I provide free stuff, there should be interested crowd for the site (and I have something to show to the world by now). What a heck, I can live from Google adds, plus I get greater possibility of autonomous AGI in the future.

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #7 on: June 15, 2014, 12:37:59 pm »
I can imagine a chatbot that translates English sentences to logic, derives conclusions and fire answers when questions are answered. So it wouldn't be a classic chatbot, but an answering machine.

*

Don Patrick

  • Trusty Member
  • *******
  • Starship Trooper
  • *
  • 383
    • Artificial Detective
Re: AGI methods
« Reply #8 on: June 15, 2014, 12:46:57 pm »
I can imagine a chatbot that translates English sentences to logic, derives conclusions and fire answers when questions are answered. So it wouldn't be a classic chatbot, but an answering machine.
That about describes my AI project. But as far as I've heard that's not considered AGI, is it?
Personal project: NLP -> learning -> knowledge -> logical inference -> A.I.

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #9 on: June 15, 2014, 01:10:24 pm »
I can imagine a chatbot that translates English sentences to logic, derives conclusions and fire answers when questions are answered. So it wouldn't be a classic chatbot, but an answering machine.
That about describes my AI project. But as far as I've heard that's not considered AGI, is it?
I think that deriving conclusions is AGI. It is induction and deduction that would make it AGI. Something like (a->b, b->c, a)->c and other more complicated forms of conclusions.

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #10 on: June 15, 2014, 01:31:28 pm »
I can imagine a chatbot that translates English sentences to logic, derives conclusions and fire answers when questions are answered. So it wouldn't be a classic chatbot, but an answering machine.
That about describes my AI project. But as far as I've heard that's not considered AGI, is it?
I think that deriving conclusions is AGI. It is induction and deduction that would make it AGI. Something like (a->b, b->c, a)->c and other more complicated forms of conclusions.
The other stuff is a behavior mechanism, or whatever is on top of AGI methods.

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #11 on: July 06, 2014, 04:09:07 pm »
Someone asked me for this specification on another site, so I wanted to share it here also. A 7 pages document complements above document about some AGI methods.

https://docs.google.com/document/d/1oCjPS212mk8boFIeKyz-9PdDaL5NflhhVL4acIuCqFs/edit?usp=sharing

Basically it explains Synth with its units that look like state machines, isolated units inside the Universe. If only I knew how to translate readings from arbitrary sensors into these units, I would be a very happy man.

I think I'll spend at least a month intensively on this question, maybe something shows up. And maybe specification would be finally changed, as the main purpose of Synth is an AI use.

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Global Moderator
  • ******************
  • Hal 4000
  • *
  • 4366
Re: AGI methods
« Reply #12 on: July 06, 2014, 06:01:41 pm »
I can imagine a chatbot that translates English sentences to logic, derives conclusions and fire answers when questions are answered. So it wouldn't be a classic chatbot, but an answering machine.
That about describes my AI project. But as far as I've heard that's not considered AGI, is it?
I think that deriving conclusions is AGI. It is induction and deduction that would make it AGI. Something like (a->b, b->c, a)->c and other more complicated forms of conclusions.

I think you meant Inference instead induction. There are some more accomplished chatbots that can make inferences like in your A>B, B>C therefore A>C example. Induction is basically being introduced or assembled or put into a mix or group. Induction into the armed forces, etc.

Just to clarify and not to confuse...
Direct competitor to Wolfram Alpha and OpenCog...Wow...you really have your work cut out for yourself! Good luck with Sync! Do keep us posted on any development!! O0
In the world of AI, it's the thought that counts!

*

ivan.moony

  • Trusty Member
  • ********
  • Replicant
  • *
  • 684
  • look, a star is falling
Re: AGI methods
« Reply #13 on: July 06, 2014, 06:38:14 pm »
I figured that OpenCog wouldn't be that much strong competitor, but Wolfram Alpha... I'll have a lack of encyclopedic knowledge, so I'll have to catch it up with free automatic solution center (physics, chemistry and universal problem solver and theorem proof finder, besides math). It would hardly ever be better than commercial Wolfram Alpha (unless I invent autonomous AI, but my time is running out and I am not getting any younger. Frankly, I'm getting tired of these years of writing AI puzzles in my diary, so very soon I'll try to publish what I've found out so far through Synth. The rest would be left to crowd from schoolboys, over teachers, ending with scientists and AI enthusiasts. I decided to spend one more summer on autonomous AI. If it doesn't work out, I'll leave it for my old days)

*

Don Patrick

  • Trusty Member
  • *******
  • Starship Trooper
  • *
  • 383
    • Artificial Detective
Re: AGI methods
« Reply #14 on: July 07, 2014, 07:30:54 pm »
You have a pretty good brain on your shoulders and your recent posts were heading in the right direction, but AI like that is going to take more than a few months, and I can't help but think that AGI is a bit overkill if you're just trying to create a smart and easy programming language.
Not to discourage you though, because it is apparently possible to connect an AI program to WolfRam Alpha. Why compete if you can use it?

Art: I was personally only familiar with induction as a method of reasoning. It's confusing stuff, but as I understood it, induction is making generalisations "The victim was killed with something sharp, the butler has a knife, so the butler probably did it." with a probable conclusion rather than an inescapably true conclusion "The victim was killed with the kitchen knife, only the butler had that knife, so the butler did it". Both induction and deduction are two methods of inference aka reasoning :)
http://en.wikipedia.org/wiki/Inductive_reasoning
« Last Edit: July 07, 2014, 08:09:53 pm by Don Patrick »
Personal project: NLP -> learning -> knowledge -> logical inference -> A.I.

 


Users Online

19 Guests, 1 User
Users active in past 15 minutes:
Freddy
[Administrator]

Most Online Today: 29. Most Online Ever: 208 (August 27, 2008, 09:36:30 am)

Articles