Generalized subsumption and its applications to induction and redundancy
Artificial Intelligence
New Generation Computing - Selected papers from the international workshop on algorithmic learning theory,1990
A Polynomial Approach to the Constructive Induction of Structural Knowledge
Machine Learning - Special issue on evaluating and changing representation
The Learnability of Description Logics with Equality Constraints
Machine Learning - Special issue on computational learning theory, COLT'92
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
Learning Non-Monotonic Logic Programs: Learning Exceptions
ECML '95 Proceedings of the 8th European Conference on Machine Learning
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Abducing priorities to derive intended conclusions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |
This work concerns the use of default knowledge in concept learning from positive and negative examples. Two connectives are added to a description logics, C-CLASSIC, previously defined for concept learning. The new connectives (δ and ∈) allow to express the idea that some properties of a given concept definition are default properties, and that some properties that should belong to the concept definition actually do not (these are excepted properties). When performing concept learning both hypotheses and examples are expressed in this new description logics but prior to learning, a saturation process using default and non default rules has to be applied to the examples in order to add default and excepted properties to their definition. As in the original C-CLASSIC, disjunctive learning is performed using a standard greedy set covering algorithm whose generalization operator is the Least Common Subsumer operator of C-CLASSICdδ∈. We exemplify concept learning using default knowledge in this framework and show that explicitly expressing default knowledge may result in simpler concept definitions.