是一種描述所論對象的屬性的數(shù)據(jù)結(jié)構(gòu)。

最簡單的語義網(wǎng)絡(luò)稱為基本網(wǎng)元。

是個有向圖，由結(jié)點和弧組成。

雙向推理是即自頂向下又自底向上的推理

反向推理是從目標出發(fā)，反向使用規(guī)則，求證已知的事實，用驅(qū)動方式或自頂向下方式。