基于常用公式的智能化輔助出題系統研究與實現
2007-12-31 00:00:00王愛學
計算機時代 2007年12期
摘要：提出了基于常用公式的智能出題系統的設計思想和實現方法。該系統采用逆向公式規則知識庫進行推理，動態生成滿足同一出題條件的多道不同考題和答案供出題者選擇。通過邏輯化簡題推理機實例研究，表明本方法有良好的應用前景。
關鍵詞：推理機；逆向公式；子式擴展；考題；答案
摘要：提出了基于常用公式的智能出題系統的設計思想和實現方法。該系統采用逆向公式規則知識庫進行推理，動態生成滿足同一出題條件的多道不同考題和答案供出題者選擇。通過邏輯化簡題推理機實例研究，表明本方法有良好的應用前景。
關鍵詞：推理機；逆向公式；子式擴展；考題；答案
