Use of a domain model to drive an interactive knowledge-editing tool
International Journal of Man-Machine Studies - Knowledge acquisition for knowledge-based systems, part 1. Based on an AAAI work
Common LISP: the language
Building problem solvers
A description classifier for the predicate calculus
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Knowledge refinement in a reflective architecture
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Algorithmic Program DeBugging
Controlling Content Realization with Functional Unification Grammars
Proceedings of the 6th International Workshop on Natural Language Generation: Aspects of Automated Natural Language Generation
Planning text for advisory dialogues: capturing intentional and rhetorical information
Computational Linguistics
Formal Grammar and Human Factors Design of an Interactive Graphics System
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
Verifying the fidelity of domain representation in large knowledge bases (KBs) is a difficult problem: domain experts are typically not experts in knowledge representation languages, and as knowledge bases grow more complex, visual inspection of the various terms and their abstract definitions, their interrelationships and the limiting, boundary cases becomes much harder. This paper presents an approach to help verify and refine abstract term definitions in knowledge bases. It assumes that it is easier for a domain expert to determine the correctness of individual concrete examples than it is to verify and correct all the ramifications of an abstract, intensional specification. To this end, our approach presents the user with an interface in which abstract terms in the KB are described using examples and natural language generated from the underlying domain representation. Problems in the KB are therefore manifested as problems in the generated description. The user can then highlight specific examples or parts of the explanation that seem problematic. The system reasons about the underlying domain model by using the discourse plan generated for the description. This paper briefly describes the working of the system and illustrates three possible types of problem manifestations using an example of a specification of floating-point numbers in Lisp.