Trí tuệ nhân tạo - Chương 6 pot

... 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). 6. 1 Cú pháp và ngữ nghĩa của logic vị từ cấp một. 6. 1.1 Cú pháp. Các ký hiệu. Logic vị từ cấp một sử dụng các loại ... các lượng tử. Chẳng hạn, lượng tử  (với mọi) cho phép ta tạo ra các câu nói tới mọi đối tượng trong một miền đối tượng nào đó. Chương này dành cho nghiên cứu logic vị từ cấp một với tư các...

Ngày tải lên: 23/07/2014, 02:20

... đang làm. Một mục tiêu của Trí tuệ nhân tạo ứng dụng là thiết kế các tác nhân thông minh (intelligent agent) cũng có khả năng đó như con người. Chúng ta có thể hiểu tác nhân thông minh là bất cứ ... này, chúng ta sẽ tập trung nghiên cứu logic vị từ cấp một (first-order predicate logic hoặc first-order predicate calculus) - một ngôn ngữ biểu diễn tri thức, bởi vì logic vị t...

Ngày tải lên: 23/07/2014, 02:20

... p ≡ p b) Luật giao hoán - phép tương đương: p ≡ p - phép hội: p ∧ q ≡ q ∧ p - phép tuyển: p ∨ q ≡ q ∨ p c) Luật bắc cầu: - phép kéo theo: (p → q) ∧ (q → r) → (p → r) - phép tương đương: (p ≡ ... Tính luỹ đẳng - của phép ∧: p ∧ p ≡ p - của phép ∨: p ∨ p ≡ p i) Luật Demorgan ¬(p ∨ q) ≡ ¬p ∧ ¬q ¬(p ∧ q) ≡ ¬p ∨ ¬q j) Một số luật khác cho phép kéo theo - (p → q) ∧...

Ngày tải lên: 06/01/2014, 08:14

... (frame) mô tả tập học sinh HOCSINH Frame HOCSINH IS-A: PART-OF: NGUOI-DI-HOC A KIND OF: (HOCSINHCOSO, HOCSINHTRUNGHOC) Cân nặng: 1 0 -6 0kg Chiều cao: 8 0-1 70cm Cấu trúc frame này cho ta một "khung ... đang làm. Trong khi đó mục tiêu của trí tuệ nhân tạo ứng dụng là thiết kế các tác nhân thông minh (intelligent agent) cũng có khả năng đó như con người. (Tác nhân thông m...

Ngày tải lên: 06/01/2014, 08:14

... Mục lục Chương 0. Mở đầu 2 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2 2. Lịch sử phát triển của Trí tuệ nhân tạo 5 3. Một số vấn đề Trí tuệ nhân tạo quan tâm 8 4. Các khái niêm cơ bản 10 Chương ... soạn giáo trình Trí tuệ nhân tạo , một môn cơ sở chuyên ngành trong chương trình đào tạo Cử nhân Tin học, ngoài mục đích xây dựng nhiều giáo trình trên một kh...

Ngày tải lên: 06/01/2014, 08:14

... trưng của trí tuệ nhân tạo - đó là ngôn ngữ lập trình đầu tiên dùng cho trí tuệ nhân tạo. • Thuật ngữ Trí tuệ nhân tạo được dùng đầu tiên vào năm 1 961 cũng tại MIT. • Những năm 60 là giai ... cài đặt trí tuệ nhân tạo, làm rõ hơn các ngành của khoa học Trí tuệ nhân tạo và tiến hành các nghiên cứu mới, đặc biệt là nghiên cứu về cơ chế suy lý, về...

Ngày tải lên: 06/01/2014, 08:14