Hệ chuyên gia - Chương 2: Biểu diễn tri thức nhờ logic vị từ bậc một
In 1879, Kempeproduced a famous proof of the 4 color
theorem:
VUsing only 4 colors
VAnymap of countries can be colored in such a way that
no 2 bordering countries have the same color
aIn1890, Heawoodshowed:
VTheproof not to be a proof at all!
aWhen is a proof a proof, and when is it not a proof?
aLogic to the rescue!
Bạn đang xem trước 20 trang nội dung tài liệu Hệ chuyên gia - Chương 2: Biểu diễn tri thức nhờ logic vị từ bậc một, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
Các file đính kèm theo tài liệu này:
hcg_ch2_2_0264.pdf
