名詞解釋
是一種描述所論對象的屬性的數(shù)據(jù)結(jié)構(gòu)。
名詞解釋
最簡單的語義網(wǎng)絡(luò)稱為基本網(wǎng)元。
名詞解釋
是個有向圖,由結(jié)點和弧組成。
名詞解釋
雙向推理是即自頂向下又自底向上的推理
名詞解釋
反向推理是從目標(biāo)出發(fā),反向使用規(guī)則,求證已知的事實,用驅(qū)動方式或自頂向下方式。
名詞解釋
正向推理是從已知事實出發(fā),通過規(guī)則庫求得結(jié)果。正向推理的方式也被稱為數(shù)據(jù)驅(qū)動方式或自底向上方式。
名詞解釋
名詞解釋
匹配指用當(dāng)前全局數(shù)據(jù)庫中的事實與規(guī)則中的條件進行比較,如果相同,就稱為相匹配,這一規(guī)則就稱為匹配規(guī)則。
名詞解釋
推理機是個軟件概念,不是硬件概念。它是一個或一組程序,用來控制和協(xié)調(diào)規(guī)則庫和全局數(shù)據(jù)庫的運行,包括推理方式和控制策略。
名詞解釋
規(guī)則庫就是描述某領(lǐng)域內(nèi)知識的產(chǎn)生式規(guī)則的集合。它是產(chǎn)生式系統(tǒng)賴以實現(xiàn)問題求解的基礎(chǔ)。
名詞解釋
全局數(shù)據(jù)庫又稱事實庫,是產(chǎn)生式系統(tǒng)的數(shù)據(jù)結(jié)構(gòu)中心,用以存放初始事實,中間事實和最后結(jié)果。