Chủ nhiệm Bộ môn Phan Nguyên Hải ĐỀ CƯƠng chi tiết bài giảNG
tải về 4.09 Mb.
|
- Điều hướng trang này:
- - Yêu cầu SV chuẩn bị
| ˫ (Sentence, Grounds)
Trong đó: * Database là tập các biểu thức logic * Sentence là biểu thức logic được biết như là kết luận * Grounds là tập các biểu thức logic sao cho:  và
Sentence có thể chứng minh từ Grounds - Tranh luận trừu tượng + Quan tâm đến cấu trúc tổng thể của tranh luận (hơn là nội tại của mỗi trang luận) + Viết x ® y * “tranh luận x tấn công trang luận y” * “x là một ví dụ ngược lại của y” * “x là một kẻ tấn công của y” Trong đó chúng ta không thực sự quan tâm x, y là gì + Một hệ thống tranh luận trừu tượng là một tập hợp các tranh luận với quan hệ “®” cho biết cái gì tấn công cái gì + Một tranh luận là không chấp nhận được (out) nếu nó có một kẻ tấn không không bị đánh bại, và chấp nhận được (in) nếu tất cả các kẻ tấn công của nó bị đánh bại. 
Một hệ thống tranh luận trừu tượng - Yêu cầu SV chuẩn bị: + Đọc trước: Chương 7, Tài liệu 1 + Bài tập về nhà: Bài 1 - 3, Chương 7, Tài Liệu 1.
Каталог: files -> FileMonHoc FileMonHoc -> NGÂn hàng câu hỏi lập trình cơ BẢn nhóm câu hỏI 2 ĐIỂM FileMonHoc -> CHƯƠng 2 giới thiệu về LÝ thuyết số FileMonHoc -> CÁc hệ MẬt khoá CÔng khai kháC FileMonHoc -> BỘ MÔn duyệt chủ nhiệm Bộ môn FileMonHoc -> Khoa công nghệ thông tin cộng hòa xã HỘi chủ nghĩa việt nam FileMonHoc -> Chủ nhiệm Bộ môn Ngô Thành Long ĐỀ CƯƠng chi tiết bài giảNG FileMonHoc -> Chủ nhiệm Bộ môn Phan Nguyên Hải ĐỀ CƯƠng chi tiết bài giảNG FileMonHoc -> Khoa: CÔng nghệ thông tin cộng hòa xã HỘi chủ nghĩa việt nam FileMonHoc -> MẬt mã khóA ĐỐi xứng lý thuyết cơ bản của Shannon FileMonHoc -> Khoa công nghệ thông tin bài giảng LẬp trình cơ BẢn biên soạn tải về 4.09 Mb. Chia sẻ với bạn bè của bạn:
|