Đề thi môn Trí tuệ nhân tạo | Trường Đại học Kinh Doanh và Công Nghệ Hà Nội

lOMoAR cPSD| 58457166 ĐỀ SỐ 1
Đề thi môn Trí tuệ nhân tạo
( 60’ không sử dụng tài liệu) Câu 1
Cho biết các phương pháp giải quyết vấn đề. Nêu ví dụ. Nói tìm kiếm sâu là dạng tổng quát
của tìm kiếm mù đúng không? hãy giải thích. Câu 2 Cho các luật 1. a b → e 3. a e → c 2. c b → d 4. d c → f
Cho tập GT={a,b}, Kết luận KL={f}
Sử dụng thuật toán suy diễn tiến để chứng minh xuất phát từ GT suy ra KL Câu 3:
Cho đồ thị có trọng số G(N,A) như sau:
Mô phỏng quá trình tìm kiếm đường đi có giá cực tiểu với tập đỉnh xuất phát S0 là{A} và đích cần tìm{F}. Câu 4: a là bố của a1,a2 a1 có con là b1 a2 có con là b2.
Hỏi b1,b2 có phải anh chị em không? lOMoAR cPSD| 58457166 ĐỀ SỐ 2
Đề thi môn Trí tuệ nhân tạo
( 60’ không sử dụng tài liệu)
Hãy xây dựng cơ sở tri thức cho bài toán trên dựa trên cây gia phả.
Cho biết các phương pháp tìm kiếm trong không gian trạng thái. Nêu ví dụ. Nói đường đi
lời giả nếu tìm thấy trong tìm kiếm rộng luôn là đường đi ngắn nhất? tại sao? hãy giải thích. Câu 2 Cho các luật 1. u v → e 3. u e → c 2. c v → d 4. d c → f
Cho tập GT={u,v}, Kết luận KL={f}
Sử dụng thuật toán suy diễn tiến để chứng minh xuất phát từ GT suy ra KL Câu 3:
Cho đồ thị có trọng số G(N,A) như sau:
Mô phỏng quá trình tìm kiếm đường đi có giá cực tiểu với tập đỉnh xuất phát S0 là{A} và đích cần tìm{F}. Câu 4: a1,a2 có bố là a a1 có con là b1 a2 có con là b2.
Hỏi b1,b2 có phải anh chị em không? lOMoAR cPSD| 58457166 ĐỀ SỐ 3
Đề thi môn Trí tuệ nhân tạo
( 60’ không sử dụng tài liệu)
Hãy xây dựng cơ sở tri thức cho bài toán trên dựa trên cây gia phả
Có mấy phương pháp chứng minh tự động sử dụng logic hình thức? cho biết tên và các khái
niệm toán học sử dụng trong từng phương pháp. Cho biết hạn chế của các phương pháp này. Câu 2 Cho các luật 1. a b → e 3. a e → c
2. c b → d 4. d c → f, 5. a f → g
Cho tập GT={a,b}, Kết luận KL={g}
Sử dụng thuật toán suy diễn tiến để chứng minh xuất phát từ GT suy ra KL Câu 3:
Cho đồ thị có trọng số G(N,A) như sau:
Mô phỏng quá trình tìm kiếm đường đi có giá cực tiểu với tập đỉnh xuất phát S0 là{A} và đích cần tìm{F}. Câu 4: a có con là a1,a2 a1 là bố của b1 a2 có con là b2. lOMoAR cPSD| 58457166 ĐỀ SỐ 4
Đề thi môn Trí tuệ nhân tạo
( 60’ không sử dụng tài liệu)
Hỏi b1,b2 có phải anh chị em không?
Hãy xây dựng cơ sở tri thức cho bài toán trên dựa trên cây gia phả
Cho biết khái niệm về luật sinh. Nêu các ý nghĩa của luật sinh trong từng lĩnh vực. Nói luật
sinh có thể sử dụng trong chứng minh tự động với phạm vi bài toán lớn. Tại sao? Câu 2 Cho các luật 1. c e → b 3. a e → c 2. c b → d 4. d c → f
Cho tập GT={a,e}, Kết luận KL={f}
Sử dụng thuật toán suy diễn tiến để chứng minh xuất phát từ GT suy ra KL Câu 3:
Cho đồ thị có trọng số G(N,A) như sau:
Mô phỏng quá trình tìm kiếm đường đi có giá cực tiểu với tập đỉnh xuất phát S0 là{A} và đích cần tìm{F}. Câu 4: lOMoAR cPSD| 58457166 ĐỀ SỐ 5
Đề thi môn Trí tuệ nhân tạo
( 60’ không sử dụng tài liệu) a là bố của a1,a2 b1 có bố là a1 a2 có con là b2.
Hỏi b1,b2 có phải anh chị em không?
Hãy xây dựng cơ sở tri thức cho bài toán trên dựa trên cây gia phả
Nói thuật toán TKCT và TKCT* là thuật toán tìm kiếm thông minh. Tại sao. Cho biết cách
giải quyết cạnh tranh nếu có xảy ra trong quá trình tìm kiếm Câu 2 Cho các luật 1. a b → d 3. c e → b 2. c b → e 4. d c → f
Cho tập GT={b,c}, Kết luận KL={f}
Sử dụng thuật toán suy diễn tiến để chứng minh xuất phát từ GT suy ra KL Câu 3:
Cho đồ thị có trọng số G(N,A) như sau:
Mô phỏng quá trình tìm kiếm đường đi có giá cực tiểu với tập đỉnh xuất phát S0 là{A} và đích cần tìm{F}. lOMoAR cPSD| 58457166 ĐỀ SỐ 6
Đề thi môn Trí tuệ nhân tạo
( 60’ không sử dụng tài liệu) Câu 4: a là bố của a1,a2 a1 có con là b1 b2 có con là a2.
Hỏi b1,b2 có phải anh chị em không?
Hãy xây dựng cơ sở tri thức cho bài toán trên dựa trên cây gia phả
Cho biết cách biểu diễn tri thức trong logic hình thức. Nêu ví dụ. Hãy cho biết cách chuyển
đổi từ logic mệnh đề sang logic vị từ. Lấy ví dụ Câu 2 Cho các luật 1. a e → b 3. b e → c 2. c b → d 4. d c → f
Cho tập GT={a,e}, Kết luận KL={f}
Sử dụng thuật toán suy diễn tiến để chứng minh xuất phát từ GT suy ra KL Câu 3:
Cho đồ thị có trọng số G(N,A) như sau: lOMoAR cPSD| 58457166 ĐỀ SỐ 7
Đề thi môn Trí tuệ nhân tạo
( 60’ không sử dụng tài liệu)
Mô phỏng quá trình tìm kiếm đường đi có giá cực tiểu với tập đỉnh xuất phát S0 là{A} và đích cần tìm{F}. Câu 4: A1,a2 có bố là a a1 có con là b1 a2 có con là b2.
Hỏi b1,b2 có phải anh chị em không?
Hãy xây dựng cơ sở tri thức cho bài toán trên dựa trên cây gia phả