ngôn ngữ lập trình trí tuệ nhân tạo
Tài liệu Lập trình trí tuệ nhân tạo Prolog pptx
Ngày tải lên :
12/12/2013, 15:15
... kỹ thuật lập trình tạo nên sức mạnh chủ yếu của
Prolog: lập trình đệ quy. Kỹ thuật này cũng phù hợp với suy nghĩ của con người khi tiếp cận
giải quyết vấn đề và khiến cho việc lập trình trên ...
Nếu quen với ngôn ngữ lập trình thủ tục, chúng ta có khuynh hướng diễn tả khái niệm giai
thừa như sau:
giaithua(integer)
Ở đây cách đặt vấn đề như vậy là không thích hợp với ngôn ngữ Prolog, ...
iv./ Phần vị từ trên biểu diễn cho việc sử dụng kỹ thuật lập trình đệ quy, sẽ là sức mạnh
lập trình chủ yếu của Prolog. Xem thêm về phần lập trình đệ quy trên Prolog trong các phần
sau.
Tóm...
- 103
- 1.2K
- 18
Giáo trình Trí tuệ nhân tạo
Ngày tải lên :
14/11/2012, 13:46
... ta cần chứng minh.
Trong các lĩnh vực nghiên cứu của Trí Tuệ Nhân Tạo, chúng ta thờng xuyên phải
đối đầu với vấn đề tìm kiếm. Đặc biệt trong lập kế hoạch và học máy, tìm kiếm đóng vai
trò quan ... Chiến lợc Minimax
Quá trình chơi cờ là quá trình Trắng và Đen thay phiên nhau đa ra quyết định, thực
hiện một trong số các nớc đi hợp lệ. Trên cây trò chơi, quá trình đó sẽ tạo ra đờng đi từ
gốc ...
để giải quyết các vấn đề và đợc áp dụng rộng rÃi trong các lĩnh vực nghiên cứu khác của
Trí Tuệ Nhân Tạo. Chúng ta lần lợt nghiên cứu các kỹ thuật sau:
ãCác kỹ thuật tìm kiếm mù, trong đó chúng...
- 64
- 2.4K
- 20
Tài liệu Giáo trình Trí Tuệ Nhân Tạo -chương 1- GIẢI QUYẾT VẤN ĐỀ BẰNG TÌM KIẾM ppt
Ngày tải lên :
09/12/2013, 15:15
... cờ carô.
Trang 1
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
Mỗi chiến lợc tìm kiếm trong không gian trạng thái tơng ứng với một phơng pháp
xây dựng cây tìm kiếm. Quá trình xây dựng cây bắt ... ánh xạ R: UU. Nói chung R là một ánh xạ không xác định khắp
nơi trên U.
Trang 2
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
hạn, từ trạng thái ban đầu (hình 1.2 bên trái), ta chỉ có thể áp ... thái kết thúc nào đó.
Có thể phân các chiến lợc tìm kiếm thành hai loại:
Trang 4
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
ã Hoàn toàn tơng tự nh thuật toán tìm kiếm theo độ sâu trong không...
- 14
- 2.9K
- 38
Tài liệu Giáo trình trí tuệ nhân tạo- chương 2-CÁC CHIẾN LƯỢC TÌM KIẾM KINH NGHIỆM pptx
Ngày tải lên :
09/12/2013, 20:15
... kiếm leo đồi đợc trình bày dới đây, ngoài danh sách L
lu các trạng thái chờ đợc phát triển, chúng ta sử dụng danh sách L
1
để lu giữ
Chơng 2 - Trang 4
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh ... Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
theo thứ tự tăng dần của hàm đánh giá sao cho trạng thái có giá ... đỉnh đợc
gạch dới là các đỉnh đợc chọn để phát triển ở mỗi mức.
Chơng 2 - Trang 5
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
Chơng II
Các chiến lợc tìm kiếm kinh nghiệm
Trong chơng I, chúng...
- 5
- 1.1K
- 18
Tài liệu Giáo trình trí tuệ nhân tạo- chương 4-TÌM KIẾM CÓ ĐỐI THỦ pptx
Ngày tải lên :
09/12/2013, 20:15
... do
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
Chơng 4- Trang 4
Giả sử Đen đi trớc, ta có cây trò chơi đợc biểu diễn nh trong hình 4.2.
4.2 Chiến lợc Minimax
Quá trình chơi cờ là quá trình Trắng ... nó.
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
Chơng 4- Trang 5
Chơng IV
Tìm kiếm có đối thủ
Nghiên cứu máy tính chơi cờ đà xuất hiện rất sớm. Không lâu sau khi
máy tính lập trình đợc ... đa hai quân của mình ra khỏi bàn cờ trớc sẽ thắng, hoặc tạo ra tình
thế bắt đối phơng không đi đợc cũng sẽ thắng.
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
Chơng 4- Trang 2
Ví dụ: Xét cây...
- 9
- 941
- 16
Tài liệu Giáo trình trí tuệ nhân tạo- chương 6- Logic vị từ cấp một pptx
Ngày tải lên :
09/12/2013, 20:15
... có
phải là sinh viên hay không.
Ngữ nghĩa của các câu phức hợp.
Khi đà xác định đợc ngữ nghĩa của các câu đơn, ta có thể thực hiện đợc ngữ nghĩa của các
câu phức hợp (đợc tạo thành từ các câu đơn bằng ... đúng
hoặc câu Like(An, Tulip) là đúng.
Ngữ nghĩa của các câu chứa các l ợng tử.
Ngữ nghĩa của các câu x G, trong đó G là một công thức nào đó, đợc xác định nh là ngữ
nghĩa của công thức là hội của ... tợng.
Ngữ nghĩa của công thức x G đợc xác định nh là ngữ nghĩa của công thức là tuyển của
tất cả các công thức nhận đợc từ G bằng cách thay x bởi một đối tợng trong miền đối tợng. Chẳng
hạn, nếu ngữ...
- 5
- 1.9K
- 18
Giao trinh TRÍ TUỆ NHÂN TẠO chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNG PHÁP CHỨNG MINH
Ngày tải lên :
06/01/2014, 08:14
... cho tới khi gặp
hai ký hiệu khác nhau trong biểu thức. Trích ra hai biểu thức con bắt đầu từ các
ký hiệu khác nhau đó. Cặp biểu thức con đó tạo thành sự khác biệt giữa hai biểu
128
- Chuyển về ... bởi một lượng tử nào cả (sự
xuất hiện của Y gọi là sự xuất hiện tự do)
b. Ngữ nghĩa
Cũng như trong logic mệnh đề, nói đến ngữ nghĩa là chúng ta nói đến ý
nghĩa của các công thức trong một thế giới ... dạng logic mệnh đề.
b) Có một bệnh nhân khai : “Thân nhiệt > 37
0
“ và “ốm trên 7 ngày”. Dùng
phương pháp chứng minh Robinson và Vương Hạo để kết luận bệnh nhân
này bị "viêm nhiễm".
Bài...
- 41
- 2.6K
- 1
Giao trinh TRÍ TUỆ NHÂN TẠO chương 5 TRI THỨC VÀ CÁC PHƯƠNG PHÁP SUY DIỄN
Ngày tải lên :
06/01/2014, 08:14
... khả năng lập luận,
suy diễn, con người có thể đưa ra các hành động hợp lý cho công việc mà con
người đ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 ...
có
tiến chỉ là quá trình suy ra các sự kiện mới từ các sự kiện có trong bộ nhớ
làm việc.
b) Suy diễn lùi (lập luận lùi - backward chaining hoặc backward reason)
Là quá trình xuất phát từ sự ... a
i
đều dẫn xuất được giả
thiết thì quá trình dẫn xuất ra b là đúng)
- Giải thuật
GỌi T là tập các sự kiện cần chứng minh tại thời điểm đang xét (khởi tạo T=
G, G là tập kết luận).
S(p) ={r
i
∈R...
- 15
- 2.5K
- 12
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương gioi thieu
Ngày tải lên :
06/01/2014, 08:14
... 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 ... giáo trình của ngành học này chưa đáp ứng dược nhu cầu của
sinh viên các trường đại học, đặc biệt đối với sinh viên khu vực miền Trung.
Vì vậy, chúng tôi biên soạn giáo trình Trí tuệ nhân tạo , ... 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 khung chương trình đào tạo, mà còn giúp
cho sinh viên có tài liệu học...
- 5
- 1.1K
- 18
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương 0
Ngày tải lên :
06/01/2014, 08:14
... quả.
- Các ngôn ngữ về Trí tuệ nhân tạo: Để xử lý các tri thức người ta không
chỉ sử dụng các ngôn ngữ lập trình dùng cho các xử lý dữ liệu số, mà cần
có ngôn ngữ khác. Các ngôn ngữ chuyên ... là 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ề Trí tuệ nhân tạo phân
tạo, về các ... hiện tại của Trí tuệ nhân tạo là
cài đặt các hệ Trí tuệ nhân tạo trong các hệ thống khác, đặc biệt là trong các hệ
thống tin học.
Những vấn đề chưa được giải quyết trong Trí tuệ nhân tạo
Những...
- 10
- 1.1K
- 10
Giao trinh TRÍ TUỆ NHÂN TẠO chương 1 BIỂU DIỄN BÀI TOÁN TRONG KHÔNG GIAN TRẠNG THÁI
Ngày tải lên :
06/01/2014, 08:14
... sao cho n∈T(m); m được gọi là cha của n.
5.2. Biểu diễn không gian trạng thái bằng đồ thị
Theo ngôn ngữ đồ thị, không gian trạng thái tương ứng với một đồ thị
định hướng trong đó: Các trạng thái ... ký hiệu kết thúc, S ∈ N là ký hiệu đầu và P là tập sản xuất có dạng α →
β, ở đây α, β ∈ (NUT). Ngôn ngữ sinh ra bởi văn phạm G được định nghĩa bởi:\
L(G) = { ω∈T | S ⇒ ω }, S ⇒ ω có nghĩa là ∃ ... trận cuối cùng của bài toán (các số nằm theo vị trí yêu cầu)
F = {f
l
, f
r
, f
u
, f
d
}
Tìm kiếm lời giải trong không gian trạng thái là quá trình tìm kiếm xuất phát từ
trạng thái ban đầu,...
- 11
- 4K
- 8
Giao trinh TRÍ TUỆ NHÂN TẠO Chương 2 CÁC PHƯƠNG PHÁP TÌM KIẾM LỜI GIẢI TRONG KHÔNG GIAN TRẠNG THÁI
Ngày tải lên :
06/01/2014, 08:14
... việc tìm kiếm tiếp tục
theo nhánh nào tin tưởng sẽ dẫn đến lời giải.
Trong các chương trình trí tuệ nhân tạo, kỹ thuật tìm kiếm tốt nhất đầu
tiên sử dụng hàm đánh giá. Hàm này dùng các thông ... giữa vị trí của các quân trong
trạng thái u và vị trí của nó trong trạng thái đích. Ở đây, khoảng cách được hiểu
là số lần dịch chuyển ít nhất theo hàng hoặc cột để đưa một quân ở vị trí của ... → (4;0) → (4;4) → (5;3)
Để có được lời giải này ta phải lưu lại vết của đường đi, có thể trình bày quá
trình tìm kiếm dưới dạng bảng sau:
i T(i)
↑MO ↓
DONG
(0;0)
(0;0) (5;0) (0;4) (5;0) (0;4)...
- 67
- 2.3K
- 11
Giao trinh TRÍ TUỆ NHÂN TẠO chương 3
Ngày tải lên :
06/01/2014, 08:14
... giải có giá nhỏ nhất.
Các quá trình này khác hẳn với các quá trình lựa chọn trong không gian
trạng thái. Sự khác biệt chủ yếu là do việc kiểm tra tính kết thúc của quá trình
tìm kiếm và các phương ... các bài toán con: P1, P2, , Pk
Phương pháp phân chia bài toán ban đầu như trên đã gặp trong lập trình truyền
thống với cách gọi “chia để trị” , “Modul hoá”.
2. Đồ thị VÀ/HOẶC:
Không gian trạng ... L
*
M
*
N
O
*
Hình 3
Các đỉnh kết thúc là các đỉnh đánh dấu *. Quá trình tìm kiếm lời giải của đò thị
trên bằng phương pháp tìm kiếm rộng có thể trình bày ở bảng sau
n T(n) MO DONG
A
A B, C, D B C D A
B...
- 17
- 741
- 2