Symbolic Logic:Learning

Learning in Symbolic Logic is the construction of axioms that describe the world.


 * Inductive Inference
 * Symbolic Replacement