A metalinguistic approach to the construction of knowledge base refinement systems
Allen S. Ginsberg · 1986
A variety of approaches to knowledge base refinement [3, 81 and rule acquistion [4] have appeared recently. This paper is concerned with the means by which alternative refinement systems themselves may be specified, developed, and studied. The anticipated virtues of taking a metalinguistic approach to these tasks are described, and shown to be confirmed by experience with an actual refinement metalanguage, RM. I