An intelligent prolog tutor as a goal agent
碩士 === 國立臺灣大學 === 資訊科學研究所 === 77 === 1987年,許清琦、林介山、劉敦仁發展了一個教PROLOG語言的教學系統。它主要是應 用特性框架以及SHAPIRO 的模型推理系統(MODEL INFERENCE SYSTEM簡稱為MIS )來 引導學生。這套系統(簡稱PVS )以逐一目標的方式來幫助學生解決問題,稱為目標 導向式教學。它為了讓學生在系統內部知識不足時也一樣可以幫助學生,所以引用SH...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
1989
|
Online Access: | http://ndltd.ncl.edu.tw/handle/02593887527051130035 |