摘要：提出了基于常用公式的智能出題系統(tǒng)的設(shè)計(jì)思想和實(shí)現(xiàn)方法。該系統(tǒng)采用逆向公式規(guī)則知識(shí)庫(kù)進(jìn)行推理，動(dòng)態(tài)生成滿足同一出題條件的多道不同考題和答案供出題者選擇。通過(guò)邏輯化簡(jiǎn)題推理機(jī)實(shí)例研究，表明本方法有良好的應(yīng)用前景。

關(guān)鍵詞：推理機(jī)；逆向公式；子式擴(kuò)展；考題；答案