Integrating rules in term subsumption knowledge representation servers

Authors:
Brian R. Gaines
Affiliations:
Knowledge Science Institute, University of Calgary, Calgary, Alberta, Canada
Venue:
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Year:
1991

Citing 10
Cited 2

Simplifying decision trees

International Journal of Man-Machine Studies - Special Issue: Knowledge Acquisition for Knowledge-based Systems. Part 5
CLASSIC: a structural data model for objects

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Reasoning and revision in hybrid representation systems

Reasoning and revision in hybrid representation systems
What KL-ONE lookalikes need to cope with natural language

Proceedings of the workshop on Sorts and types in artificial intelligence
A philosophical basis for knowledge acquisition

Knowledge Acquisition
An ounce of knowledge is worth a ton of data: quantitative studies of the trade-off between expertise and data based on statistically well-founded empirical induction

Proceedings of the sixth international workshop on Machine learning
Subsumption in KL-ONE is undecidable

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Imbedding Rule Inferencing in Applications

IEEE Expert: Intelligent Systems and Their Applications
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
An interactive visual language for term subsumption languages

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2

Ripple down rules: Turning knowledge acquisition into knowledge maintenance

Artificial Intelligence in Medicine
Knowledge acquisition: Past, present and future

International Journal of Human-Computer Studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper addresses the integration of services for rule-based reasoning in knowledge representation servers based on term subsumption languages. As an alternative to previous constructions of rules as concept→concept links. a mechanism is proposed based on intensional roles implementing the axiom of comprehension in set theory. This has the benefit of providing both rules as previously defined. and set aggregation. using a simple mechanism that is of identical computational complexity to that for rules alone. The extensions proposed have been implemented as part of KRS. a knowledge representation server written as a class library in C++. The paper gives an example of their application to the ripple-down rule technique for large-scale knowledge base operation. acquisition and maintenance.