知識表示一階謂詞邏輯:一階謂詞邏輯即FOL(First-order Predicate Logic)是一種比較常見的知識表示方法。在謂詞邏輯中,命題是用謂詞表示的。謂詞的一般形式 ...
確定! 回上一頁