臺灣博碩士論文加值系統

大部分的軟體發展系統對於目前智慧型教學系統中複雜的學生模型及教學
策略，並沒有提供一個良好的語言或機制來描述。這使得使用者在設計這
樣複雜的系統時，變得十分地不便與困難。因此我們設計了一個名為
CAROL4 的程式語言，來達成這個目標。在CAROL4中，我們保留了由它的
前身 CAROL3 繼承而來的法則基底的程式風格，同時使用 delegation 作
為物件間資源分享的規則。Delegation除去了類別及其物件的分別，並允
許物件將執行操作方法或找尋變數的責任，委託給另一物件；這使得
CAROL4 輕易地便具有了動態增加物件特性的能力。另外在 CAROL4 中，
物件的狀態與行為沒有差異，都是屬於物件變數的一部份。因此使得
CAROL4 變成一個對程式模型建構更簡單也更簡潔的語言。

Most software developing systems do not provide a good language
or mechanism to model the complex student model and teaching
strategy in intelligent tutoring systems (ITSs). This motivates
us to design a general-purpose language , named CAROL4, to
achieve this objective. In CAROL4, we preserve the rule-based
programming style inherited from its previous version, CAROL3,
and use delegation for resource sharing between objects,
instead of inheritance. Delegation removes the distinction
between classes and instances, and allows objects to delegate
responsibility for performing an operation or finding a value
to their ancestors. It helps us to build CAROL4 as a language
that has the ability to add properties to objects dynamically.
There is no difference between the state and behavior of an
object, they are both variables of the object now. This makes
CAROL4 a simpler and more elegant language for knowledge
construction.