Title :
A logic theory of learning from experience
Author_Institution :
Beijing Univ. of Aeronaut. & Astronaut., China
Abstract :
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
Keywords :
artificial intelligence; formal logic; learning systems; Gentzen style; counterexample; first order logic; first-order logic; hypothesis calculus; knowledge language; learning from experience; logic theory; nonmonotonic logic; refutation by facts; Calculus; Counting circuits; Logic; Predictive models;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167052
