OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-matrix commits / 8416297

Moving o to duals.
84162972762c4feb358724982f329d32ec3902bd
by Linas Vepštas <linasvepstas@gmail.com> · 2025-02-01T20:42:48.000Z

Changed files (1) +12 -2

design/Design-similarity.md +12 -2
……@@ -81,9 +81,11 @@ that almost all otherlayers above need. These are:
8181 set. `{x | (x,y) exists in the atomspace for some y}`
8282 8) Size of the left and right basis
8383 9) True/false membership predicates: does an Atom appear in the left
84 or right basis set?
84 or right basis set? (These are provided by the `'in-left-basis?`
85 and `'in-right-basis?` methods.)
8586 10) List of the left and right duals to a given Atom. The left dual
86 for a given Atom Y is `{x | (x,Y) given fixed Y}`
87 for a given Atom Y is `{x | (x,Y) given fixed Y}` (This is provided
88 by the `'left-duals` and `'right-duals` methods.)
8789
8890The "problem" with this API is that it is implemented in scheme, and
8991all of the data is stored in scheme structures. This is a fatal flaw,
……@@ -223,3 +225,11 @@ clases. So I think this can be scratched.
223225
224226Item's (5) and (6) are already in the StorageNode API, although this API
225227also needs to be converted to pure Atomese.
228
229Item (7): This is already cached in the query search results!
230
231Item (8): Use SizeOfLink
232
233Item (9): Does not appear to be used anywhere in the code.
234
235Item (10)