http://www.amazon.com/dp/B00FKJY1WY
is my latest Amazon Kindle e-book “InFerence”
on how the AI Minds in English and German are
able to engage in automated reasoning with the
“InFerence” mind-module. The book explains the
following free AI source code in Win32Forth:
: InFerence ( create silent triples for machine reasoning )
1 moot ! \ prevent interference; test; 20dec2012
\ CR .” InFer: subjnom prednom = ” \ test; 1jan2012
\ subjnom @ . prednom @ . CR \ test; 1jan2013
midway @ t @ DO \ search IdeaPlex to infer facts; 18dec2012
prednom @ 0 > IF \ positive predicate nominative? 1jan2012
I 0 psi{ @ prednom @ = IF \ KB data? 18dec2012
I 4 en{ @ 1 = IF \ nominative? 18dec2012
seqverb @ 0 = IF \ only once; 18dec2012
I 6 psi{ @ seqtqv ! \ transfer; 18dec2012
I 7 psi{ @ seqverb ! \ transfer; 18dec2012
I 7 psi{ @ quverb ! \ for AskUser; 27dec2012
0 ynverb ! \ for one AskUser question; 27dec2012
\ 2 nphrnum ! \ test; remove; 27dec2012
\ 2 nphrnum ! \ Commenting out as obsolete; 1jan2013
seqverb @ seq ! \ test; 18dec2012
THEN \ end of test for not-yet-declared; 18dec2012
\ CR ." InFer: t psi seqverb = " \ test; 27dec2012
\ I . prednom @ . seqverb @ . \ 18dec2012; 27dec2012
\ LEAVE \ at first make only one inference; 18dec2012
ELSE \ no nominative prednom? 1jan2012
CR ." No inference can be made." \ test; 1jan2013
THEN \ end of test for nominative; 18dec2012
THEN \ end of test for finding prednom facts; 18dec2012
THEN \ end of test for positive predicate nominative 1jan2012
-1 +LOOP \ end of backwards loop; 18dec2012
\ CR ." InFer: subjnom prednom seqverb = " \ test; 2jan2012
\ subjnom @ . prednom @ . seqverb @ . \ test; 2jan2013
seqverb @ 0 > IF \ verb available for inference? 2jan2013
t @ inft ! \ for AskUser to find auditory engrams 25dec2012
1 t +! \ increment time "t" by one for a gap; 18dec2012
1 t +! \ increment time to create an inference; 18dec2012
subjnom @ t @ 0 psi{ ! \ subj of inference; 18dec2012
48 t @ 1 psi{ ! \ activation of inf. 20dec2012
2 t @ 2 psi{ ! \ num(ber) test; replace; 20dec2012
5 t @ 5 psi{ ! \ pos=5 noun; 18dec2012
t @ 1 + t @ 6 psi{ ! \ psi6=tqv; 18dec2012
seqverb @ seq ! \ prevent override? test 20dec2012
seqverb @ t @ 7 psi{ ! \ seq is the verb; 18dec2012
subjnom @ t @ 8 psi{ ! \ enx; 18dec2012
subjnom @ t @ 0 en{ ! \ for .en report; 21dec2012
2 t @ 2 en{ ! \ default num(ber) 21dec2012
1 t @ 4 en{ ! \ default nominative; 20dec2012
\ 5 t @ 6 en{ ! \ default 5=pos noun; 20dec2012
0 t @ 8 en{ ! \ pseudo-recall-tag; 21dec2012
1 t +! \ increment t for storage of verb; 18dec2012
seqverb @ t @ 0 psi{ ! \ verb of inference; 18dec2012
seqverb @ t @ 1 - 7 psi{ ! \ retroactive seq? 20dec2012
subjnom @ t @ 4 psi{ ! \ pre of verb; 18dec2012
8 t @ 5 psi{ ! \ pos=8 verb; 18dec2012
t @ 1 + t @ 6 psi{ ! \ psi6=tqv; 20dec2012
seqtqv @ 7 psi{ @ t @ 7 psi{ ! \ seq 18dec2012
seqtqv @ 7 psi{ @ dobseq ! \ test; 22dec2012
seqverb @ t @ 8 psi{ ! \ enx; 18dec2012
seqverb @ t @ 0 en{ ! \ so verb can be found; 22dec2012
1 t +! \ increment t to store direct object; 18dec2012
seqtqv @ 7 psi{ @ t @ 0 psi{ ! \ dir. obj 18dec2012
40 t @ 1 psi{ ! \ activation of direct object 22dec2012
seqtqv @ 7 psi{ @ t @ 8 psi{ ! \ enx 18dec2012
dobseq @ t @ 0 en{ ! \ so noun can be found; 22dec2012
dobseq @ quobj ! \ for AskUser; 27dec2012
1 t +! \ increment time "t" for an ending gap; 18dec2012
1 yncon ! \ for AskUser to ask yes-or-no question 26dec2012
subjnom @ qusub ! \ transfer to AskUser; 26dec2012
THEN \ end of test for a verb to be part of inference 2jan2013
0 becon ! \ reset after use; 18dec2012
0 dobseq ! \ reset after use; 22dec2012
0 moot ! \ reset after use; 20dec2012
0 prednom ! \ reset after use; 18dec2012
0 seqtqv ! \ reset after use; 18dec2012
0 seqverb ! \ reset after use; 18dec2012
0 subjnom ! \ reset after use; 18dec2012
\ QUIT \ test; remove; 18dec2012
\ Task: Make InFerence work also with pronouns and antecedents;
\ Task: Make InFerence work with ideas negated by "NOT".
; ( http://code.google.com/p/mindforth/wiki/InFerence )
Unfortunately, I was hoping that the free preview under
“Click to LOOK INSIDE!” would include the entire details
about the InFerence Forth code, but the preview stops
arbitrarily in the middle of the “Code” chapter.
My intention was to make the line-by-line code-details
available free of charge to would-be AI Mind coders
who are unable to buy ninety-nine-cent e-books for
lack of a credit card to make on-line purchases.
I figured that by putting the most important details
within the early “Look Inside!” preview area, I would
be subverting the Amazon emporium into a dual-purpose
venue for book sales and free AI documentation pages.
Anyway, the “InFerence” book has started to sell
in USA and UK, thus running the AiMind banner
up the flagpole to see if anyone salutes it.