Representation and use of explicit justifications for knowledge base refinements

Authors:
Reid G. Smith;Howard A. Winston;Tom M. Mitchell;Bruce G. Buchanan
Affiliations:
SchlumbergerDoll Research, Ridgefield, CT;SchlumbergerDoll Research, Ridgefield, CT;Computer Science Department, Rutgers University, New Brunswick, NJ and SchlumbergerDoll Research, Ridgefield, CT;Computer Science Department, Stanford University, Stanford, CA and SchlumbergerDoll Research, Ridgefield, CT
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 4
Cited 5

The design of the Dipmeter Advisor system

ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Dependency Directed Reasoning for Complex Program Understanding

Dependency Directed Reasoning for Complex Program Understanding
Use of meta level knowledge in the construction and maintenance of large knowledge bases.

Use of meta level knowledge in the construction and maintenance of large knowledge bases.
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)

Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)

A neocognitron synthesized by production rule for handwritten character recognition

INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
Learning strategies by reasoning about rules

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Verification-based learning: a generalisation strategy for inferring problem-reduction methods

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Model-based diagnosis of planning failures

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Model-based case adaptation

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each ...