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 |