─ 動態幾何學習環境與自動證明:
發展與應用人工智慧技術與電腦代數等方法於電腦輔助學習系統,應用於動態幾何的數學領域,並融入科學實驗的精神,旨在幫助中小學生學習數學幾何之知識與學科實驗策略的技能養成。
─ 線上智慧型英語學習系統:
設計與建置大型語料庫查詢介面,並運用相關的統計、資料探勘與機器學習等方法設計智慧型個人學習助理,配合使用者之學習需求來幫忙搜尋語料庫上之資料,也提供英語學習問題解決的指引。
─ 電腦象棋與對局理論:
研究有高度智慧的電腦象棋遊戲,結合具有效率的搜尋策略與評估函數等方式,並可能性的運用組合對局理論之盤面評估方法,套入複雜度較高的中國象棋遊戲之中,讓電腦玩家的遊戲能力可以大幅的提升。
─ 基礎形狀文法與運算設計:
設計協助設計領域初學者學習形狀文法的學習輔助系統,利用適當的軟體工具開發具有強大網路圖形處理能力,以及圖形自動推演能力的輔助學習系統,提供學習者藉由視覺化與即時互動的效果進行良好的學習。 |