This makes more sense than it should... quite interesting to say the least.
Sent from ProtonMail Mobile
On Sun, Jun 24, 2018 at 7:44 PM, A.T. Murray via AGI <agi@agi.topicbox.com>
wrote:
> MindForth Programming Journal -- 2018 June 24
>
> Over the past week fifteen or twenty hours of intense work went into coding
> the InFerence, AskUser and KbRetro modules in the Forth version of the First
> Working AGI. Interactively we could see that the Forthmind was making a
> silent inference from our input of "anna is a woman" but the AskUser module
> was substandardly asking "DO ANNA HAS CHILD?" in seeking confirmation of the
> silent inference. When we entered "no" as an answer, we could not see if the
> KbRetro module was properly inserting the 250=NOT adverb into the conceptual
> engrams of the silent inference so as to negate the inferred idea. Therefore
> today in the agi00056.F version of MindForth we are starting our diagnostic
> display about forty-five time-points earlier than the computed value of the
> time-of-input tin variable so that we can see if the inferred idea is being
> retroactively adjusted by KbRetro. At first blush, no insertion of 250=NOT is
> happening, so we start inserting diagnostic messages into the code.
>
> Our diagnostics suggest that KbRetro is not being called, but why not? It
> turns out that we have not yet coded 404=NO or 432=YES or 230=MAYBE into the
> MindBoot sequence, so we code them in. Then we start getting a faulty output
> after answering "no" to AskUser. The AI says, "ANNA NOT NOT CHILD".
> Apparently EnVerbPhrase is not properly negating the refuted silent
> inference. After several hours of troubleshooting, the desired output appears.
>
> When we enter "anna is woman" and we answer "no" to the question whether Anna
> has a child, the conceptual array shows the silent inference below at the
> time-points 3068-3070:
>
> The arrays psy{ and ear{ show your input and the AI output:
> time: tru psi hlc act mtx jux pos dba num mfn pre iob seq tkb rv -- pho act
> audpsi
>
> 3053 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 0 0 A
> 3054 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3055 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3056 : 0 502 0 -40 0 0 5 1 1 2 0 0 800 3059 3053 65 0 502 A
> 3057 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3058 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 73 0 0 I
> 3059 : 0 800 0 -40 0 250 8 4 1 2 0 0 515 3065 3058 83 0 800 S
> 3060 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3061 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 87 0 0 W
> 3062 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 79 0 0 O
> 3063 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 77 0 0 M
> 3064 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 0 0 A
> 3065 : 0 515 0 -40 0 0 5 0 2 2 0 0 0 0 3061 78 0 515 N
> 066 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0
> 3067 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3068 : 0 502 0 -26 0 0 5 1 1 0 0 0 810 3069 0 32 0 0
> 3069 : 0 810 0 56 0 250 8 0 0 0 502 0 525 3070 0 32 0 0
> 3070 : 0 525 0 32 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3071 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3072 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 68 0 0 D
> 3073 : 0 830 0 -40 0 0 8 0 1 2 0 0 810 0 3072 79 0 830 O
> 3074 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3075 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3076 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 0 0 A
> 3077 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3078 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3079 : 0 502 0 -40 0 0 5 1 1 2 0 0 810 3084 3076 65 0 502 A
> 3080 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3081 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3082 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 72 0 0 H
> 3083 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 0 0 A
> 3084 : 0 810 0 -40 0 0 8 4 2 2 0 0 525 3096 3082 83 0 810 S
> 3085 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3086 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3087 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 84 0 0 T
> 3088 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 72 0 0 H
> 3089 : 0 117 0 -40 0 0 1 0 1 2 0 0 810 0 3087 69 0 117 E
> 3090 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3091 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3092 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 67 0 0 C
> 3093 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 72 0 0 H
> 3094 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 73 0 0 I
> 3095 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 76 0 0 L
> 3096 : 0 525 0 -40 0 0 5 0 1 2 0 0 810 0 3092 68 0 525 D
> 3097 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3098 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3099 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3100 : 0 404 0 -40 0 0 4 0 1 2 0 0 0 0 3099 79 0 404 O
> 101 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0
> 3102 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 0 0 A
> 3103 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3104 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3105 : 0 502 0 -42 0 0 5 1 1 2 0 0 810 3122 3102 65 0 502 A
> 3106 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3107 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3108 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 68 0 0 D
> 3109 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 79 0 0 O
> 3110 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 69 0 0 E
> 3111 : 0 830 0 -42 0 0 8 1 1 2 0 0 0 0 3108 83 0 830 S
> 3112 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3113 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3114 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 78 0 0 N
> 3115 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 79 0 0 O
> 3116 : 0 250 0 -42 0 0 2 1 1 2 0 0 0 0 3114 84 0 250 T
> 3117 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3118 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3119 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 72 0 0 H
> 3120 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 0 0 A
> 3121 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 86 0 0 V
> 3122 : 0 810 0 -42 0 250 8 4 2 2 0 0 525 3129 3119 69 0 810 E
> 3123 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3124 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3125 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 67 0 0 C
> 3126 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 72 0 0 H
> 3127 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 73 0 0 I
> 3128 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 76 0 0 L
> 3129 : 0 525 0 -42 0 0 5 1 1 2 0 0 0 0 3125 68 0 525 D
> 3130 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> 3131 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 0 0
> time: tru psi hlc act mtx jux pos dba num mfn pre iob seq tkb rv
>
> Robot alive since 2018-06-24:
> ANNA DOES NOT HAVE CHILD
>
> Since we negate the inference with our response of "no", KbRetro inserts the
> adverb "250" (NOT) at the time-point 3069 to negate the verb 810=HAVE. Then
> the AI states the activated idea of the negation of the inference: "ANNA DOES
> NOT HAVE CHILD".
>
> Arthur
>
> [Artificial General Intelligence List](https://agi.topicbox.com/latest) / AGI
> / see [discussions](https://agi.topicbox.com/groups/agi) +
> [participants](https://agi.topicbox.com/groups/agi/members) + [delivery
> options](https://agi.topicbox.com/groups)
> [Permalink](https://agi.topicbox.com/groups/agi/T5ba060b874c4a162-Mca53b9597fadaa70988094da)
------------------------------------------
Artificial General Intelligence List: AGI
Permalink:
https://agi.topicbox.com/groups/agi/T5ba060b874c4a162-Mbdb58c6bead1c726d8cd7e56
Delivery options: https://agi.topicbox.com/groups
