上海交大內(nèi)容包裝規(guī)范(編輯修改稿)
2025-01-20 12:17 本頁面
【文章內(nèi)容簡介】 requisites type=aicc_script K1K2dltscp:prerequisites /item /item 內(nèi)容包裝規(guī)范簡介與虛擬實驗規(guī)范的設想 課程編列規(guī)范 DAG（ Directed Acycline graph) 某一門課程的所有 內(nèi)容順序信息 將構(gòu)成一個DAG圖 K1 K2 K4 K3 K5 內(nèi)容包裝規(guī)范簡介與虛擬實驗規(guī)范的設想 課程編列規(guī)范 DAG圖的邏輯表示 K1 K2 K4 K3 K5 右圖可用 Prolog表示： ? facts nonpre(K1). %表示 K1沒有前驅(qū) nonpre(K2). prerequisite(K3,K1). %表示 K3的一個前驅(qū)是 K1 prerequisite(K3,K2). %K3的另一個前驅(qū)是 K2 prerequisite(K4,K2). prerequisite(K5,K3). prerequisite(K5,K4). 內(nèi)容包裝規(guī)范簡介與虛擬實驗規(guī)范的設想 課程編列規(guī)范 邏輯實現(xiàn) Next Presentation 所選的下一節(jié)必須滿足下列條件之一： ? 沒有前驅(qū)（如： K1， K2） ? 所有前驅(qū)都已經(jīng)學過（ Learned） 內(nèi)容包裝規(guī)范簡介與虛擬實驗規(guī)范的設想 課程編列規(guī)范 邏輯實現(xiàn) Next Presentation ? rules learned(A) : next(A),passed(A). ％ passed(A)由測試的事實定，所謂學過的是瀏覽過且測試通過的 next(B) : nonpre(B). ％選擇下一個 next(B) : prerequisite(B,A),learned(A) ? question ?next(X). ％由前面的 facts和 rules可確定應顯示的下一節(jié) 內(nèi)容包裝規(guī)范簡介與虛擬實驗規(guī)范的設想 課程編列規(guī)范 邏輯實現(xiàn) Next Presentation 更復雜的條件同樣可實現(xiàn) K1 K2 K4 K3 K5 測試通過 測試優(yōu)良 瀏覽過 內(nèi)容包裝規(guī)范簡介與虛擬實驗規(guī)范的設想 課程編列規(guī)
教學課件相關(guān)推薦
鄂ICP備17016276號-1