A.知識庫既要簡潔，又要具有多種功能，需要同一模型能夠適應(yīng)多種查詢和各種環(huán)境
B.要實(shí)現(xiàn)表示的一般性，首先要對邏輯結(jié)構(gòu)進(jìn)行一些修改；再將類型層次化，最高層是一般的，低層則越來越特殊，呈樹形結(jié)構(gòu)
C.因?yàn)槊總€(gè)模型都通過輸入和輸出來描述，所以一個(gè)模型必須由多個(gè)公式來定義
D.表示法中允許有標(biāo)量和矢量變元，其中矢量變元包括多個(gè)同型成員