- 搜標(biāo)題
- 搜題干
- 搜選項
問答題
【簡答題】若S={P（x）∨Q（f（x）），┐P（a）， ┐Q（y）}，請畫出與該子句集對應(yīng)的語義樹，為什么可以用封閉語義樹來判定子句集的不可滿足性？
答案：
你可能感興趣的試題
填空題
（）方法是1968年由J.R.Quilian在研究人類聯(lián)想記憶時提出的心理學(xué)模型。1972年，Simon首先將（）用于自然語言理解系統(tǒng)。
答案：
語義網(wǎng)絡(luò)；語義網(wǎng)絡(luò)表示法
