Giáo trình Trí tuệ nhân tạo (Phần 2)
Từ công thức phân tử, sử dụng các kết nối logic và các lượng từ, ta xây
dựng nên các công thức (các câu)
Các công thức được xác định đệ quy như sau:
- Các công thức phân tử là công thức
- Nếu G và H là các công thức thì các biểu thức (GH), (GH), (G),
(GH), (GH) là công thức
- Nếu G là một công thức và X là biến thì các biểu thức x (G), x (G) là
công thức
Giáo trình Trí tuệ nhân tạo (Phần 2) trang 1
Giáo trình Trí tuệ nhân tạo (Phần 2) trang 2
Giáo trình Trí tuệ nhân tạo (Phần 2) trang 3
Giáo trình Trí tuệ nhân tạo (Phần 2) trang 4
Giáo trình Trí tuệ nhân tạo (Phần 2) trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
giao_trinh_tri_tue_nhan_tao_phan_2.pdf
