The representation
<A ==> <(B &/ Op) =/> D>)
is extremely useful. While some of it has been demonstrated in v0.9.0 whereby A is an inheritance statement,
now this will be extended to the case where A is a "result sequence" such as ((a &/ ^op) &/ result), also making sure that it can be learned effectively.
Several examples indicate that this is the key to acquiring key parts of natural language (not just for grounding relational statements into sensorimotor).
patham9
commented
2 years ago
The representation <A ==> <(B &/ Op) =/> D>) is extremely useful. While some of it has been demonstrated in v0.9.0 whereby A is an inheritance statement, now this will be extended to the case where A is a "result sequence" such as ((a &/ ^op) &/ result), also making sure that it can be learned effectively. Several examples indicate that this is the key to acquiring key parts of natural language (not just for grounding relational statements into sensorimotor).