Access the full text.
Sign up today, get DeepDyve free for 14 days.
D. Sleeman, R. J. Hendley (1982)
Intelligent Tutoring Systems
P. Vasey (1986)
Proceedings of the Third International Conference on Logic Programming
John Anderson, Franklin Boyle, G. Yost (1985)
The Geometry Tutor
(1989)
LPA MacProlog Reference Manual
T. Routen, Trevor Bench-Capon (1991)
Hierarchical FormalizationsInt. J. Man Mach. Stud., 35
D. Sleeman, R. Hendley (1979)
ACE: A system which analyses complex explanationsInternational Journal of Human-computer Studies \/ International Journal of Man-machine Studies, 11
P. Vasey (1986)
Qualified Answers and their Application to Transformation
(1989)
LPA MacProlog Reference Manual, Studio 4, RVPB, Trinity
J. R. Anderson, C. F. Boyle, G. Yost (1985)
Proceedings of the Ninth International Joint Conference on Artificial Intelligence
L. Sterling, E. Shapiro, Randy Garrett (1987)
The Art of PrologIEEE Expert, 2
‘Statutor’ names an evolving Prolog program which is being developed as a knowledge-based tutoring system in the legal domain. The system utilises direct manipulation of graphical objects as a means of eliciting complex responses from the user and for providing graphical representations of complex answers to the user. It is a marriage of good interface practice and knowledge-based programming techniques which has presented a number of interesting prospects for tutoring. Perhaps the most interesting of these is the possibility of a dialog in which the student is asked to construct an argument in order to establish the truth of a particular proposition, the system then doing the same, and feedback and student modelling information being derived from a comparison of the two argument structures. This technique is not restricted in its significance to the legal domain but is applicable wherever knowledge of a subject matter can be expressed or tested by the construction of an argument. Finally, the system demonstrates the reusability of declarative knowledge by including additional modules (an expert system shall and an authoring system) with utilise the same knowledge bases as the main Statutor program itself.
Artificial Intelligence Review – Springer Journals
Published: Jun 18, 2004
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.