Ứng Dụng Tri Thức Mặc Định (Default Reasoning) Thiết Kế Trò Chơi Wumpus

ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG ________ ________ BÀI THU HOẠCH MÔN HỌC CÔNG NGHỆ TRI THỨC VÀ ỨNG DỤNG Đề Tài: Ứng Dụng Tri Thức Mặc Định (Default Reasoning) Thiết Kế Trò Chơi Wumpus Học viên thực hiện: Nguyễn Anh Nhân MSSV: CH1101114 Trần Thanh Quốc Thắng MSSV: CH1101131 TP. HCM, năm 2012 MỤC LỤC CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG 1 TP. HCM, năm 2012 1 MỤC LỤC 2 Phần I: Tổng Quan Về Cơ Sở Tri Thức 4 I. Giới thiệu về cơ sở tri thức 4 1. Lịch sử phát triển 4 2. Ứng dụng 4 3. Một vài hệ cơ sở tri thức 5 4. Giới hạn 5 II. Lý luận mặc định – Default Reasoning 6 1. Giới Thiệu 6 2. Lý luận có thể thủ tiêu - Defeasible Reasoning 6 3. Vấn đề với logic sắp xếp đầu tiên 6 4. Suy luận ngầm định 7 5. Những sự hiệu chỉnh trong nguyên tắc suy luận mặc định 10 Phần 2: Ứng Dụng Tìm Đường Trong Trò Chơi 11 I. Giới thiệu tổng quan về trò chơi 11 II. Tổng quan về cách hiện thực game 12 Tài liệu tham khảo 21 [...]... if(!can_has_pit(id) && !can_has _wumpus( id)) { this.iRoom[id].is_Safe = true; return; } } MÔN HỌC: PHƯƠNG PHÁP NGHIÊN CỨU KHOA HỌC TRONG TIN HỌC 19 ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Trong phạm vi ngắn gọn của đề tài, nghiên cứu về công nghệ tri thức và ứng dụng của nó trong tin học, thông qua lý thuyết về tri thức mặc định và trò chơi wumpus, giúp chúng ta có... HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Phần 2: Ứng Dụng Tìm Đường Trong Trò Chơi I Giới thiệu tổng quan về trò chơi Hình 1 Màn hình thể hiện vị trí của Agent, wumpus và pit Hình 2 Agent và hướng đi hiện tại Sau đây là 1 số cảm giác mà Agent – nhân vật chính trong game cảm nhận được: Strench (mùi hôi): xuất hiện trong ô chứa Wumpus (quái vật) và các ô liền kề nó (không tính ô xéo) MÔN... CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Matrix public Room[] iRoom public Matrix() public void Reset() public int right_room(int room_id) public int left_room(int room_id) public int up_room(int room_id) public int down_room(int room_id) public void set _Wumpus( int room_id) public void kill _Wumpus( int room_id) public void kill _Wumpus_ in_Agent_view(int room_id, Matrix real) public void set_Pit(int room_id)... find_start_position(Matrix real) public void look_around(Matrix real) public void get_status(Matrix real, int id) public void turn_left() public void turn_right() public int get_right_room() public int get_left_room() public int get_forward_room() public int get_back_room() public void forward() public void go_back() public bool is_died(Matrix real) public bool can_pick_gold(Matrix real) public void... action decide_action() public void fire(Matrix real) Thiết kế game: MÔN HỌC: PHƯƠNG PHÁP NGHIÊN CỨU KHOA HỌC TRONG TIN HỌC 16 ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Game được viết bằng C#.NET 2010 Trong tab “Settings”, người dùng tự nhập vị trí Agent, Wumpus và Pit Sau đó, nhấn nút “View and save settings” để lưu lại (Wumpus, Pit, Agent không được chung 1 ô)... người dùng nhấn nút “Start new game” để bắt đầu chơi Hình 3 Giao diện game khi nhập vị trí Agent, Wumpus và Pit MÔN HỌC: PHƯƠNG PHÁP NGHIÊN CỨU KHOA HỌC TRONG TIN HỌC 17 ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Hình 4 Giao diện chơi game Hình 5 Nhìn vào ô “Real status of current room” ta thấy Agent đang ứng ở ô mà Wumpus đã bị giết Hiện thực một số hàm chính yếu... Agent là tìm cho được nơi chứa vàng và lấy nó Cho nên game sẽ kết thúc khi Agent kiếm được vàng hoặc bị chết II Tổng quan về cách hiện thực game Định nghĩa ô an toàn: - Để Agent có thể quyết định hành động tiếp theo, do chỉ biết được thông tin các ô liền kề với những ô đã đi qua, nên chúng ta chỉ cần biết có ô là an toàn kế với ô Agent đang ứng, là có thể đi được - Một ô là an toàn khi ta chắc chắn được... ơn MÔN HỌC: PHƯƠNG PHÁP NGHIÊN CỨU KHOA HỌC TRONG TIN HỌC 20 ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Tài liệu tham khảo 1 Bài giảng môn học “Công Nghệ Tri Thức và Ứng Dụng Giảng viên : GS.TSKH Hoàng Văn Kiếm Chương trình đào tạo thac sĩ CNTT qua mạng 2 Elaine Rich & Kevin Knight, "Artificial Intelligence", 3 McGraw-Hill Science/Engineering/Math; 2nd edition... id) public bool can_has_pit(int id) public bool can_has _wumpus( int id) public bool is_Check_and_not_Breeze(int id) public bool is_Check_and_not_Stench(int id) MÔN HỌC: PHƯƠNG PHÁP NGHIÊN CỨU KHOA HỌC TRONG TIN HỌC 15 ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Agent public bool is_fire public Matrix Agent_Matrix public direction _direction public int current_position... (this.Agent_Matrix.can_has _wumpus( forward_id)) { this.is_fire = true; return action.fire; } } if (can_turn_left()) { return action.turn_left; } if (can_turn_right()) MÔN HỌC: PHƯƠNG PHÁP NGHIÊN CỨU KHOA HỌC TRONG TIN HỌC 18 ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG { } return action.turn_right; } if (can_go_back()) { return action.go_back; } return action.none; Lớp Matrix: . MẠNG ________ ________ BÀI THU HOẠCH MÔN HỌC CÔNG NGHỆ TRI THỨC VÀ ỨNG DỤNG Đề Tài: Ứng Dụng Tri Thức Mặc Định (Default Reasoning) Thiết Kế Trò Chơi Wumpus Học viên thực hiện: Nguyễn Anh Nhân MSSV:. nghệ tri thức và ứng dụng của nó trong tin học, thông qua lý thuyết về tri thức mặc định và trò chơi wumpus, giúp chúng ta có một cách nhìn rộng hơn về một khía cạnh mới của công nghệ tri thức. . Phần I: Tổng Quan Về Cơ Sở Tri Thức 4 I. Giới thiệu về cơ sở tri thức 4 1. Lịch sử phát tri n 4 2. Ứng dụng 4 3. Một vài hệ cơ sở tri thức 5 4. Giới hạn 5 II. Lý luận mặc định – Default Reasoning