所屬欄目:英漢人工智能
一種高級(jí)知識(shí)表示框架,可用于以溯因推理為基礎(chǔ)求解問(wèn)題。它允許一些謂詞不完全定義,將其聲明為可溯因的謂詞,從而擴(kuò)展了普通的邏輯程序設(shè)計(jì)。 ......(本文共 75 字 ) [閱讀本文] >>