From 98998d74f7a2cebb1d54cd5a7f0cf1b7da66b829 Mon Sep 17 00:00:00 2001 From: user Date: Fri, 20 Dec 2019 08:15:23 -0800 Subject: small subgoal --- starts/meaning-vm/habit-starts/learning-parts.cpp | 19 +++++++++++++++---- 1 file changed, 15 insertions(+), 4 deletions(-) diff --git a/starts/meaning-vm/habit-starts/learning-parts.cpp b/starts/meaning-vm/habit-starts/learning-parts.cpp index bf1bb09..7f4c324 100644 --- a/starts/meaning-vm/habit-starts/learning-parts.cpp +++ b/starts/meaning-vm/habit-starts/learning-parts.cpp @@ -50,9 +50,17 @@ static int __init = ([]()->int{ s.link(t, dst); }); + decls(linked) + ahabit(linked, ((source, s), (type, t), (target, dst)), + { + // i'd like to make target optional + // i wonder how to upgrade macro for + // could also use preprocessing stage + }); + // we want the habits expressive enough to code efficiently in. - // constructors are tentatively abolished in the low-level habit language. (new-thing modifies, not creates) + // constructors are tentatively abolished in the low-level habit language. (new-type-instance modifies, not creates) // we have one constructor of concepts, and knowledge attachment to concepts. decl(make, know, concept, is, group, already, in); @@ -83,9 +91,10 @@ static int __init = ([]()->int{ // constructors to make functions and lists into // concepts. // remember can google how to debug lisp - // opencog does concepts in lisp already, is heavyweight - // with few habita. just want goertzel's effort honored, - // he came up with it before I did. + // opencog does concepts within lisp already, is + // heavyweight with few habita. just want goertzel's + // effort honored, he probably came up with it before + // I did. // opencog has functions for pattern matching etc // they arent self-modifiable, may not matter @@ -96,6 +105,8 @@ static int __init = ([]()->int{ decls(list, nothing, next, previous); decls(make, add, to, until, each, item, in, remove, from, somewhere); + // list functiona are habits because orderes-behavior + // would use a list ahabit(make-list, ((list, l)), { result = a(list, l); -- cgit v1.2.3