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.
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