Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

MindForth robot AI updated on 2009 Nov 27

1 view
Skip to first unread message

Forthminder

unread,
Nov 27, 2009, 7:47:32 PM11/27/09
to
The MindForth free open-source AI on-line at
http://www.scn.org/~mentifex/mindforth.txt and also at
http://code.google.com/p/mindforth/wiki/ForthMindTextFile
has just today been updated with special words for logic
in the English bootstrap list of 64 common English Words:

ALL -- for machine reasoning logic
AND -- for machine reasoning logic
ANY -- for machine reasoning logic
BECAUSE -- for machine reasoning logic
IF -- for machine reasoning logic
IS -- for machine reasoning logic
NOT -- for machine reasoning logic
OR -- for machine reasoning logic
SOME -- for machine reasoning logic
THEN -- for machine reasoning logic
WHY -- for machine reasoning logic
YOU -- for self-referential-thought

Arguably the world's most advanced and only
truly thinking open source AI, MindForth
has spawned the co-evolving
http://AIMind-I.com
and is being ported into
32/64-bit iForth for Linux +/- supercomputers:
http://cyborg.blogspot.com/2009/11/linux.html

http://code.google.com/p/mindforth/wiki/InFerence
is the MindForth wiki-page on the topic of
AI and logic, but currently MindForth is being
developed towards the more immediate goal of
demonstrating self-referential thought.

BF

unread,
Nov 30, 2009, 9:26:19 PM11/30/09
to
On Nov 27, 7:47 pm, Forthminder <menti...@myuw.net> wrote:
> The MindForth free open-source AI on-line athttp://www.scn.org/~mentifex/mindforth.txtand also athttp://code.google.com/p/mindforth/wiki/ForthMindTextFile

> has just today been updated with special words for logic
> in the English bootstrap list of 64 common English Words:
>
> ALL -- for machine reasoning logic
> AND -- for machine reasoning logic
> ANY -- for machine reasoning logic
> BECAUSE -- for machine reasoning logic
> IF -- for machine reasoning logic
> IS -- for machine reasoning logic
> NOT -- for machine reasoning logic
> OR -- for machine reasoning logic
> SOME -- for machine reasoning logic
> THEN -- for machine reasoning logic
> WHY -- for machine reasoning logic
> YOU -- for self-referential-thought
>
> Arguably the world's most advanced and only
> truly thinking open source AI, MindForth
> has spawned the co-evolvinghttp://AIMind-I.com

> and is being ported into
> 32/64-bit iForth for Linux +/- supercomputers:http://cyborg.blogspot.com/2009/11/linux.html
>
> http://code.google.com/p/mindforth/wiki/InFerence
> is the MindForth wiki-page on the topic of
> AI and logic, but currently MindForth is being
> developed towards the more immediate goal of
> demonstrating self-referential thought.

I think this code is the least "Forthish" code I have ever seen
written in Forth. It looks very much like it was directly translated
from another language. Interesting to me is the fact the some of the
comments look like they should be Forth code that defines some of the
things that the code is doing. (assuming one understands what the code
is doing which I do not)

This comment for example

\ Concept #65 is quasi-noun "me".

makes me think of Forth words that could look like: #65 quasi-noun
Concept" me"

Where the word Concept" would create a 'concept' called 'me' and put
the string into a look-up table maybe?. What a Concept" does at run-
time would be defined by DOES>.

Code like this could much simpler:

( WE -- for SelfReferentialThought )
198 t ! 87 pho ! 1 beg ! 1 ctu ! 0 audpsi ! AudMem \ W
199 t ! 69 pho ! 0 beg ! 0 ctu ! 53 audpsi ! AudMem \ E
53 nen ! 53 fex ! 7 pos ! 56 fin ! 198 aud ! EnVocab
53 psi ! 2 num ! 0 pre ! 0 seq ! 53 enx ! InStantiate

Perhaps with a word like hmm... SelfReferentialThought: WE

Call me crazy. (It's been done before)

BF

0 new messages