- 搜標題
- 搜題干
- 搜選項
問答題
【簡答題】
設已知：
（1）能閱讀的人是識字的。
（2）海豚不識字。
（3）有些海豚是很聰明的。
用歸結策略證明：有些很聰明的人并不識字。
答案：
證明：首先定義謂詞和常量：
R.ead（x）表示x是能閱讀的；Know（y）表示y是識字的；Wise（z）表示...
R.ead（x）表示x是能閱讀的；Know（y）表示y是識字的；Wise（z）表示...
你可能感興趣的試題
問答題
【簡答題】專家系統(tǒng)是人工智能中最激動人心的領域之一，取得了豐碩的成果。你認為主要原因是什么？
答案：
主要原因有兩個：首先，專家系統(tǒng)都是一些家用程序，可以用來完成某一方面的任務；其次，專家系統(tǒng)的目標是可以達到的，因而激發(fā)了...
