The logic of learning
by Pei Wang
Working Notes of the AAAI Workshop on New Research Problems for
Machine Learning, Pages 37-40, Austin, Texas, July 2000
[available on-line]
A logic of categorization
by Pei Wang and Douglas Hofstadter
Journal of Experimental & Theoretical Artificial Intelligence, Vol.18,
No.2, Pages 193-213, 2006
[not available on-line]
For the simplest examples, search for "induction" and "revision" in
the example files.
All knowledge is indeed initially feeding into the memory, but the
system is selecting and changing the pieces all the time, rather than
simply keep them as in a database.
Pei