設(shè)已知: (1)能閱讀的人是識(shí)字的。 (2)海豚不識(shí)字。 (3)有些海豚是很聰明的。 用歸結(jié)策略證明:有些很聰明的人并不識(shí)字。
專家系統(tǒng)的基本結(jié)構(gòu):