A logic theory of learning from experience
Wei Li · 2002
A formal description is presented of the process learning from experience. First-order logic is used as a language to denote knowledge. The theory consists of a first-order logic in Gentzen style, two concepts of counterexample and refutation by facts, and a hypothesis calculus for modifying a theory to match the human's observation and experiments. A comparison with nonmonotonic logic is also made.>