上門編程教學課程內容
課程簡介
Prolog(Programming in Logic)是人工智慧與知識工程領域的經典程式語言,以邏輯推理與模式匹配為核心,廣泛應用於AI對話系統、專家系統、語意資料庫與自動推論模型。
本課程以三小時引導學員了解「邏輯式思考」與「事實與規則推理」的本質,從人類思維出發理解Prolog在AI中的應用角色。
課程強調結構化思考與邏輯化知識表示,適合完全沒有Prolog經驗、但對人工智慧基礎邏輯或AI Agents有興趣的學員。
課程時長
共三小時(180分鐘)
教學對象
-
對人工智慧與知識推理有興趣的初學者
-
資訊工程、數理邏輯、哲學或語言學背景學生
-
想了解AI「推理引擎」如何工作的開發者
-
想建立邏輯程式設計思維的學員
教學目標
課程大綱
第一部分:邏輯程式設計的誕生(約40分鐘)
-
Prolog的起源與人工智慧的歷史連結
-
為何稱作「邏輯程式語言」:與傳統命令式程式的差異
-
AI思維與邏輯推理:從數據到知識
-
Prolog的三大設計核心:
-
事實(Fact)
-
規則(Rule)
-
查詢(Query)
-
現代應用:Prolog如何支援專家系統與推理模型
第二部分:理性推論與邏輯思維(約50分鐘)
-
邏輯推理的概念:蕴含(Implication)、條件與結論
-
自然語言與邏輯語言的轉換思維
-
資料知識化與知識庫(Knowledge Base)的架構觀念
-
模式匹配(Pattern Matching)與AI決策基礎
-
小組練習:以真實問題設計「事實與規則」邏輯樹
第三部分:Prolog的應用範例與人工智慧實務(約60分鐘)
第四部分:Prolog的未來與學習延伸(約30分鐘)
教學成果
完成課程後,學員將能: