intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Lecture Artificial intelligence - Lesson 8: Inference in first-order logic

Chia sẻ: _ _ | Ngày: | Loại File: PDF | Số trang:41

7
lượt xem
4
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

Lecture "Artificial intelligence - Lesson 8: Inference in first-order logic" presents the following contents: reducing first-order inference to propositional inference; unificatio; generalized modus ponens; forward chaining; backward chaining; resolution. We invite you to take a look at the content of the lecture.

Chủ đề:
Lưu

Nội dung Text: Lecture Artificial intelligence - Lesson 8: Inference in first-order logic

ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
5=>2