@inproceedings{a36face22f3e4cf99f68f1b804eef62a,
title = "Experience-based deductive learning",
abstract = "A method of deductive learning is proposed to control deductive inference. The goal is to improve problem solving time by experience, when that experience monotonically adds knowledge to the knowledge base. Accumulating and exploiting experience are done by the schemes of knowledge migration and knowledge shadowing. Knowledge migration generates specific (migrated) rules from general (migrating) rules and accumulates deduction experience represented by specificity relationships between migrating and migrated rules. Knowledge shadowing recognizes rule redundancies during a deduction and prunes deduction branches activated from redundant rules. Three principles for knowledge shadowing are suggested, depending on the details of deduction experience representation.",
author = "Joongmin Choi and Shapiro, \{Stuart C.\}",
year = "1992",
language = "English",
isbn = "0818623004",
series = "Third Int Conf Tools Artif Intell",
publisher = "Publ by IEEE",
pages = "502--503",
booktitle = "Third Int Conf Tools Artif Intell",
note = "Third International Conference on Tools for Artificial Intelligence ; Conference date: 05-11-1991 Through 08-11-1991",
}