Yeah, I thought that too. But this list is freak show, go figure.

On Mon, Jun 25, 2018 at 3:42 AM Giacomo Spigler via AGI <
[email protected]> wrote:

> Is it only me that thinks that MP is another email controlled by AT Murray?
>
>
> On Monday, June 25, 2018, MP via AGI <[email protected]> wrote:
>
>> 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 <
>> [email protected]> 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-Mbdb58c6bead1c726d8cd7e56>
>>
> *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-M2939e5b2b8cf716b7d523beb>
>

------------------------------------------
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T5ba060b874c4a162-Ma96e96f377c9aa4562bbd0fe
Delivery options: https://agi.topicbox.com/groups

Reply via email to