![](images/graphics/blank.gif)
Lecture Artificial intelligence - Lesson 8: Inference in first-order logic
7
lượt xem 4
download
lượt xem 4
download
![](https://tailieu.vn/static/b2013az/templates/version1/default/images/down16x21.png)
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ủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
![](images/graphics/blank.gif)
CÓ THỂ BẠN MUỐN DOWNLOAD