tpmkms 9.8.0 → 9.9.0

package/common/askfor.instance.json

@@ -11,15 +11,38 @@
     {
       "operators": [
         "([askfor_askfor|] ([for_askfor|] (@<= concept)))",
-        "([information])"
+        "([information])",
+        "(([known]) [knownAbout|about] (*))"
+      ],
+      "generators": [
+        {
+          "match": "({context}) => context.marker == 'is' && context.one.marker == 'known'",
+          "apply": "async ({context, g}) => {\n            return await g(context.two)\n          }"
+        }
       ],
       "bridges": [
+        {
+          "id": "knownAbout",
+          "isA": [
+            "preposition"
+          ],
+          "bridge": "{\n            ...before[0],\n            subjects: append(after[0].subjects, after),\n            known: before[0],\n            about: operator,\n            interpolate: '${known} ${about} ${subjects}'\n          }"
+        },
+        {
+          "id": "known",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/askfor.js:77",
+          "isA": [
+            "queryable"
+          ],
+          "semantic": "async ({kms, context, e, callId, toList, flatten, toEValue, resolveEvaluate, objects}) => {\n            const known = await kms.properties.api.getProperty(context.subjects[0], 'property')\n            resolveEvaluate(context, known)\n          }"
+        },
         {
           "id": "information",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/askfor.js:86",
           "isA": [
             "noun"
           ],
-          "evaluator": "async ({context, e, callId, toList, flatten, toEValue, resolveEvaluate, objects}) => {\n            const properties = objects.askFor\n            const values = []\n            for (const property of properties) {\n              // const value = toEValue(await e(property))\n              const value = (await e(property)).evalue\n              values.push({ marker: 'labelledValue', label: property, value })\n            }\n            resolveEvaluate(context, toList(values))\n          }"
+          "semantic": "async ({context, e, callId, toList, flatten, toEValue, resolveEvaluate, objects}) => {\n            const properties = objects.askFor\n            const values = []\n            for (const property of properties) {\n              try {\n                const value = (await e(property, where())).evalue\n                values.push({ marker: 'labelledValue', label: property, value })\n              } catch( e ) {\n              }\n            }\n            resolveEvaluate(context, toList(values))\n          }"
         },
         {
           "id": "for_askfor",
@@ -36,6 +59,7 @@
         },
         {
           "id": "askfor_askfor",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/askfor.js:114",
           "isA": [
             "verb"
           ],
@@ -43,7 +67,7 @@
             "ask"
           ],
           "bridge": "{\n            ...next(operator),\n            properties: after[0],\n            interpolate: [{ self: true }, { property: 'properties' }]\n          }",
-          "semantic": "async ({e, s, gp, objects, flatten, context, ask, fragments, toEValue}) => {\n            const argument = context.properties.argument\n            const getValue = (property) => async (args) => {\n              const value = toEValue(await e(property))\n              if (value.marker == 'answerNotKnown') {\n                return\n              }\n              return value\n            }\n\n            const setValue = (property) => async ({ context, namespaced, tag }) => {\n              const is = { marker: 'is', one: property, two: context }\n              namespaced.set('dialogs', is, 'allowHierarchy', false)\n              await s(is)\n            }\n\n            const properties = flattenInPlace(argument)\n            counter = 0\n            for (const property of properties.reverse()) {\n              counter += 1\n              const query = memoizeAsync(async () => await(gp(await fragments(\"what is the concept?\", { concept: property }))))\n              const compatible_types = property.compatible_types || [property.marker]\n              const matchr = ({context, isA}) => {\n                return !context.same && !context.evaluate && isA(context, compatible_types)\n              }\n              objects.askFor.push(property);\n              askForProperty({\n                ask,\n                tag: `ask#${counter}`,\n                getValue: getValue(property),\n                setValue: setValue(property),\n                query,\n                matchr,\n              })\n            }\n          }"
+          "semantic": "async ({e, gp, objects, flatten, context, ask, fragments, toEValue}) => {\n            const argument = context.properties.argument\n            const getValue = (property) => async (args) => {\n              try {\n                const value = toEValue(await e(property, where()))\n                if (value.marker === 'undefined') {\n                  return\n                }\n                return value\n              } catch (e) {\n              }\n            }\n\n            const setValue = (property) => async ({ context, namespaced, tag }) => {\n              const is = { marker: 'is', one: property, two: context }\n              namespaced.set('dialogs', is, 'allowHierarchy', false)\n              await e(is, where())\n            }\n\n            const properties = flattenInPlace(argument)\n            counter = 0\n            for (const property of properties.reverse()) {\n              counter += 1\n              const query = memoizeAsync(async () => await(gp(await fragments(\"what is the concept?\", { concept: property }))))\n              const compatible_types = property.compatible_types || [property.marker]\n              const matchr = ({context, isA}) => {\n                return !context.same && isA(context, compatible_types)\n              }\n              objects.askFor.push(property);\n              askForProperty({\n                ask,\n                tag: `ask#${counter}`,\n                getValue: getValue(property),\n                setValue: setValue(property),\n                query,\n                matchr,\n              })\n            }\n          }"
         }
       ]
     },
@@ -114,7 +138,6 @@
           "level": 1,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "askfor#call2"
           ]
@@ -205,6 +228,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "setidsuffix _askfor",
       "key": {
         "query": "setidsuffix _askfor"
@@ -338,6 +364,7 @@
               "what"
             ],
             "determined": true,
+            "isVariable": true,
             "types": [
               "what"
             ],
@@ -416,190 +443,11 @@
           ],
           "level": 2,
           "context_index": 1,
-          "topLevel": true,
-          "context_id": 2,
-          "evalue": {
-            "default": true,
-            "marker": "is",
-            "one": {
-              "marker": "concept",
-              "value": "concept",
-              "default": true,
-              "text": "the concept",
-              "dead": true,
-              "word": "concept",
-              "range": {
-                "start": 8,
-                "end": 18
-              },
-              "types": [
-                "concept"
-              ],
-              "focusableForPhrase": true,
-              "pullFromContext": true,
-              "concept": true,
-              "wantsValue": true,
-              "checks": [
-                "determiner"
-              ],
-              "determiner": {
-                "modifiers": [],
-                "text": "the",
-                "marker": "the",
-                "word": "the",
-                "range": {
-                  "start": 8,
-                  "end": 10
-                },
-                "level": 0
-              },
-              "theable": {
-                "marker": "concept",
-                "value": "concept",
-                "default": true,
-                "text": "concept",
-                "dead": true,
-                "word": "concept",
-                "range": {
-                  "start": 12,
-                  "end": 18
-                },
-                "types": [
-                  "concept"
-                ],
-                "level": 0
-              },
-              "flattenInPlace": [
-                [
-                  "value",
-                  "theable"
-                ]
-              ],
-              "flatten_ignore": [
-                "theable"
-              ],
-              "interpolate": [
-                {
-                  "property": "determiner"
-                },
-                {
-                  "property": "theable"
-                }
-              ],
-              "level": 0
-            },
-            "two": {
-              "marker": "concept",
-              "value": {
-                "marker": "surname",
-                "isVariable": true,
-                "evaluate": false,
-                "pullFromContext": false,
-                "value": "last_name",
-                "fromSTM": true,
-                "namespaced": {
-                  "stm": {
-                    "id": 1
-                  }
-                }
-              },
-              "default": true,
-              "text": "the concept",
-              "dead": true,
-              "word": "concept",
-              "range": {
-                "start": 8,
-                "end": 18
-              },
-              "types": [
-                "concept"
-              ],
-              "focusableForPhrase": true,
-              "pullFromContext": true,
-              "concept": true,
-              "wantsValue": true,
-              "checks": [
-                "determiner"
-              ],
-              "determiner": {
-                "modifiers": [],
-                "text": "the",
-                "marker": "the",
-                "word": "the",
-                "range": {
-                  "start": 8,
-                  "end": 10
-                },
-                "level": 0
-              },
-              "theable": {
-                "marker": "concept",
-                "value": "concept",
-                "default": true,
-                "text": "concept",
-                "dead": true,
-                "word": "concept",
-                "range": {
-                  "start": 12,
-                  "end": 18
-                },
-                "types": [
-                  "concept"
-                ],
-                "level": 0
-              },
-              "flattenInPlace": [
-                [
-                  "value",
-                  "theable"
-                ]
-              ],
-              "flatten_ignore": [
-                "theable"
-              ],
-              "interpolate": [
-                {
-                  "property": "determiner"
-                },
-                {
-                  "property": "theable"
-                }
-              ],
-              "level": 0,
-              "evalue": {
-                "marker": "surname",
-                "isVariable": true,
-                "evaluate": false,
-                "pullFromContext": false,
-                "value": "last_name",
-                "fromSTM": true,
-                "namespaced": {
-                  "stm": {
-                    "id": 1
-                  }
-                }
-              },
-              "touchedBy": [
-                "askfor#call3",
-                "askfor#call2"
-              ],
-              "instance": true,
-              "focus": true
-            },
-            "focusable": [
-              "two",
-              "one"
-            ],
-            "word": "is"
-          },
-          "isResponse": true,
-          "touchedBy": [
-            "askfor#call2"
-          ]
+          "topLevel": true
         }
       ],
       "generated": [
-        "the concept is last_name"
+        ""
       ],
       "paraphrases": [
         "what is the concept?"
@@ -607,7 +455,7 @@
       "paraphrasesParenthesized": [],
       "generatedParenthesized": [],
       "responses": [
-        "the concept is last_name"
+        ""
       ],
       "associations": [],
       "summaries": [
@@ -838,6 +686,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "what is the concept?",
       "isFragment": true,
       "key": {
@@ -851,11 +702,30 @@
       "extraConfig": true,
       "operators": [
         "([askfor_askfor|] ([for_askfor|] (@<= concept)))",
-        "([information])"
+        "([information])",
+        "(([known]) [knownAbout|about] (*))"
+      ],
+      "generators": [
+        {}
       ],
       "bridges": [
+        {
+          "id": "knownAbout",
+          "isA": [
+            "preposition"
+          ],
+          "bridge": "{\n            ...before[0],\n            subjects: append(after[0].subjects, after),\n            known: before[0],\n            about: operator,\n            interpolate: '${known} ${about} ${subjects}'\n          }"
+        },
+        {
+          "id": "known",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/askfor.js:77",
+          "isA": [
+            "queryable"
+          ]
+        },
         {
           "id": "information",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/askfor.js:86",
           "isA": [
             "noun"
           ]
@@ -875,6 +745,7 @@
         },
         {
           "id": "askfor_askfor",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/askfor.js:114",
           "isA": [
             "verb"
           ],
@@ -906,7 +777,6 @@
           "level": 0,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "askfor#call2"
           ]
@@ -947,6 +817,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "resetIdSuffix",
       "key": {
         "query": "resetIdSuffix"
@@ -1119,6 +992,22 @@
             "types": [
               "ownee"
             ],
+            "isEdProperties": [
+              "ownee",
+              "owner"
+            ],
+            "relationBacked": true,
+            "orderingArgs": null,
+            "relationArgs": [
+              {
+                "tag": "owner",
+                "id": "owner"
+              },
+              {
+                "tag": "ownee",
+                "id": "ownee"
+              }
+            ],
             "constraints": [
               {
                 "property": "ownee",
@@ -1154,6 +1043,8 @@
                   },
                   "dead": true,
                   "constrained": true,
+                  "beforeTag": "owner",
+                  "afterTag": "ownee",
                   "owner": {
                     "marker": "unknown",
                     "implicit": true,
@@ -1189,8 +1080,7 @@
           "dead": true,
           "level": 2,
           "context_index": 1,
-          "topLevel": true,
-          "context_id": 2
+          "topLevel": true
         }
       ],
       "generated": [
@@ -1498,6 +1388,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "ownervar is owneevar owned by",
       "skipSemantics": true,
       "key": {
@@ -1646,6 +1539,8 @@
           "dead": true,
           "isEd": true,
           "subject": "ownee",
+          "beforeTag": "owner",
+          "afterTag": "ownee",
           "ownee": {
             "operator": {
               "marker": "owned",
@@ -1706,8 +1601,7 @@
           },
           "level": 1,
           "context_index": 1,
-          "topLevel": true,
-          "context_id": 2
+          "topLevel": true
         }
       ],
       "generated": [
@@ -2015,6 +1909,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "owneevar is owned by ownervar",
       "skipSemantics": true,
       "key": {

package/common/askfor.js

@@ -4,6 +4,7 @@ const { flattenInPlace } = require('./helpers/flatten_in_place')
 const tests = require('./askfor.test.json')
 const instance = require('./askfor.instance.json')
 const length = require('./length')
+const time = require('./time')
 const dates = require('./dates')
 const people = require('./people')
 
@@ -49,18 +50,50 @@ const template = {
       operators: [
         "([askfor_askfor|] ([for_askfor|] (@<= concept)))",
         "([information])",
+        "(([known]) [knownAbout|about] (*))",
+      ],
+      generators: [
+        {
+          match: ({context}) => context.marker == 'is' && context.one.marker == 'known',
+          apply: async ({context, g}) => {
+            return await g(context.two)
+          }
+        },
       ],
       bridges: [
+        {
+          id: 'knownAbout',
+          isA: ['preposition'],
+          bridge: `{
+            ...before[0],
+            subjects: append(after[0].subjects, after),
+            known: before[0],
+            about: operator,
+            interpolate: '\${known} \${about} \${subjects}'
+          }`,
+        },
+        {
+          id: 'known',
+          where: where(),
+          isA: ['queryable'],
+          semantic: async ({kms, context, e, callId, toList, flatten, toEValue, resolveEvaluate, objects}) => {
+            const known = await kms.properties.api.getProperty(context.subjects[0], 'property')
+            resolveEvaluate(context, known)
+          },
+        },
         {
           id: 'information',
+          where: where(),
           isA: ['noun'],
-          evaluator: async ({context, e, callId, toList, flatten, toEValue, resolveEvaluate, objects}) => {
+          semantic: async ({context, e, callId, toList, flatten, toEValue, resolveEvaluate, objects}) => {
             const properties = objects.askFor
             const values = []
             for (const property of properties) {
-              // const value = toEValue(await e(property))
-              const value = (await e(property)).evalue
-              values.push({ marker: 'labelledValue', label: property, value })
+              try {
+                const value = (await e(property, where())).evalue
+                values.push({ marker: 'labelledValue', label: property, value })
+              } catch( e ) {
+              }
             }
             resolveEvaluate(context, toList(values))
           },
@@ -78,6 +111,7 @@ const template = {
         },
         {
           id: 'askfor_askfor',
+          where: where(),
           isA: ['verb'],
           words: ['ask'],
           bridge: `{
@@ -85,20 +119,23 @@ const template = {
             properties: after[0],
             interpolate: [{ self: true }, { property: 'properties' }]
           }`,
-          semantic: async ({e, s, gp, objects, flatten, context, ask, fragments, toEValue}) => {
+          semantic: async ({e, gp, objects, flatten, context, ask, fragments, toEValue}) => {
             const argument = context.properties.argument
             const getValue = (property) => async (args) => {
-              const value = toEValue(await e(property))
-              if (value.marker == 'answerNotKnown') {
-                return
+              try {
+                const value = toEValue(await e(property, where()))
+                if (value.marker === 'undefined') {
+                  return
+                }
+                return value
+              } catch (e) {
               }
-              return value
             }
 
             const setValue = (property) => async ({ context, namespaced, tag }) => {
               const is = { marker: 'is', one: property, two: context }
               namespaced.set('dialogs', is, 'allowHierarchy', false)
-              await s(is)
+              await e(is, where())
             }
 
             const properties = flattenInPlace(argument)
@@ -108,7 +145,7 @@ const template = {
               const query = memoizeAsync(async () => await(gp(await fragments("what is the concept?", { concept: property }))))
               const compatible_types = property.compatible_types || [property.marker]
               const matchr = ({context, isA}) => {
-                return !context.same && !context.evaluate && isA(context, compatible_types)
+                return !context.same && isA(context, compatible_types)
               }
               objects.askFor.push(property);
               askForProperty({
@@ -130,7 +167,7 @@ const template = {
 
 knowledgeModule( { 
   config: { name: 'askfor' },
-  includes: [length, dates, people],
+  includes: [time, length, dates, people],
 
   module,
   description: 'asking the system to interact with a user and find out information',

package/common/asking.js

@@ -26,6 +26,7 @@ const config = {
   bridges: [
     {
       id: "nevermind",
+      where: where(),
       bridge: "{ ...next(operator), complete: true }",
       semantic: (args) => {
         const {config, context} = args
@@ -51,6 +52,7 @@ const config = {
 
     {
       id: "whichOnesTestSetup",
+      where: where(),
       scope: "testing",
       generatorp: async ({context, gs}) => `${context.marker} ${await gs(context.choices)}`,
       bridge: "{ ...next(operator), choices: after[0] }",
@@ -91,6 +93,7 @@ const config = {
 
     {
       id: "nevermindTestSetup",
+      where: where(),
       scope: "testing",
       bridge: "{ ...next(operator), type: after[0], postModifiers: ['type'] }",
       semantic: ({ask, context}) => {
@@ -139,7 +142,10 @@ function getAsk(config) {
 
         const semanticsr = ask.semanticsr || []
         if (semanticsr.length == 0) {
-          semanticsr.push({ match: ask.matchr, apply: ask.applyr })
+          semanticsr.push({ 
+            match: (args) => args.callOnce(args, 'asking.matchr', ask.matchr),
+            apply: ask.applyr 
+          })
         }
         
         for (const semantic of semanticsr) {
@@ -156,7 +162,9 @@ function getAsk(config) {
             oneShot: ask.oneShot ?? true,
             where: semantic.where || ask.where || where(2),
             source: 'response',
-            match: (args) => !args.context.isResponse && !args.context.evaluate && !args.context.isControl && semantic.match(args),
+            match: async (args) => await args.callOnce(args, 'asking.1', async (args) => {
+              return !args.context.isResponse &&                           args.context.topLevel && !args.context.isControl && await semantic.match(args)
+            }),
             apply: async (args) => {
               setWasApplied(true)
               await semantic.apply({ ...args, tag: ask.tag })
@@ -187,13 +195,13 @@ function getAsk(config) {
               matchq = () => !wasAsked,
               applyq = (args) => {
                 wasAsked = true
-                return ask.applyq({ ...args, tag: ask.tag })
+                return args.stack.wrap(() => ask.applyq({ ...args, tag: ask.tag }), where())
               }
             }
-            if (await matchq(args)) {
+            if (await args.stack.wrap(() => matchq(args), where())) {
               setWasApplied(false)
               // args.context.motivationKeep = true
-              const query = await applyq({ ...args, wasAsked: getWasAsked() })
+              const query = await args.stack.wrap(() => applyq({ ...args, wasAsked: getWasAsked() }), where())
               if (typeof query != 'string') {
                 throw new Error(`ask expects the value return from applyq to be a string. ${ask.where}. Instead got ${JSON.stringify(query, null, 2)}.`)
               }

package/common/avatar.js

@@ -27,7 +27,7 @@ const config = {
     {
        where: where(),
        notes: "unknown answer default response for avatar",
-       match: ({context}) => context.marker == 'answerNotKnown',
+       match: ({context}) => context.marker === 'undefined',
        apply: ({context}) => `I don't know`,
     },
     {
@@ -50,9 +50,9 @@ const config = {
     {
       notes: 'you are x',
       where: where(),
-      match: ({context, listable}) => context.marker == 'self',
+      match: ({context, listable}) => context.marker == 'same' && context.one.marker == 'self',
       apply: ({context, km}) => {
-        km("stm").api.setVariable('self', context.same.value)
+        km("stm").api.setVariable('self', context.two.value)
         context.sameWasProcessed = true
       }
     },