DocumentCode
2389280
Title
A logic theory of learning from experience
Author
Li, Wei
Author_Institution
Beijing Univ. of Aeronaut. & Astronaut., China
fYear
1991
fDate
10-13 Nov 1991
Firstpage
540
Lastpage
541
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location
San Jose, CA
Print_ISBN
0-8186-2300-4
Type
conf
DOI
10.1109/TAI.1991.167052
Filename
167052
Link To Document