... Đưa câu sau dạng chuẩn: ((A∧B)→C)∨(D∧E) 26) Đưa câu sau dạng chuẩn: ((A→B)∨C)∨(D∧E) 27) Đưa câu sau dạng chuẩn: ((A→B)∧C)→D 28) Đưa câu sau dạng chuẩn: (A∧B)∨((C∧D)→E) 29) Đưa câu sau dạng chuẩn: ... thuật toán A* 17 II Các câu thuộc loại câu 1) Đưa câu sau dạng chuẩn: (∃xP(x)∨∃xQ(x))→(∀x∃yR(x,y)∧∀xA(x)) 2) Đưa câu sau dạng chuẩn: ∃x(∃yP(x,y)∧∀yQ(x,y))→∀xR(x) 3) Đưa câu sau dạng chuẩn: ∀x∀y(∃zP(x,y,z)∧Q(x,y))∨∀xR(x) ... động vật trâu Cho tập kiện: F1: Bi có chân F2: Bi có móng guốc F3:Bi có móng Cho giả thuyết Bi trâu Hãy trình bày trình lập luận lùi để chứng minh bác bỏ giả thuyết 16) Biểu diễn dạng frame với...
... thức thích hợp biểu diễn CSTT b) Chuyển câu dạng Horn Dùng suy diễn tiến chứng minh giả thuyết c) Chứng minh giả thuyết suy diễn lùi d) Chuyển câu dạng chuẩn tắc Dùng phương pháp phân giải chứng ... thành lập công thức thích hợp biểu diễn CSTT b) Chuyển câu dạng Horn Dùng suy diễn lùi để chứng minh bác bỏ giả thuyết c) Chuyển câu dạng chuẩn tắc Dùng phương pháp phân giải để chứng minh bác ... đến G thuật toán tìm kiếm Best-Fisrt-Search Tìm đường từ S đến G giải thuật A* 4- Chuyển câu sau dạng chuẩn: (( A ∧ B ) → C ) ∨ ( D ∧ E ) (( A → B ) ∨ C ) ∨ ( D ∧ E ) (( A → B ) ∧ C ) → D ( A ∧...
... 8/15 Bây tập A biểu diễn cách khác qua phần tử tập X: A={ (x, µ(x)=1)| x∈ X } Tập mờ A định nghĩa tập mà phần tử tập gồm phần tử x tập không gian X giá trị xác định phụ thuộc µ(x) Viết cách hình ... | x∈ X } + Biểu diễn tập mờ: Cho A tậptập X µA hàm thuộc tập A, A có hữu hạn phần tử tập mờ A biểu diễn cách liệt kê: A={ (x1, µA(x1), (x2, µA(x2), (xn, µA(xn) } Nếu A tập vô hạn người ta xác ... cần nhậndạng Nguyễn Anh Cường 9/15 BÀI TOÁN NHẬNDẠNG THỐNG KÊ ĐỐI TƯỢNG TRÊN ẢNH Phát biểu toán Bài toán: Các phương pháp thống kê nhậndạng đối tượng ảnh Hướng giải (ý tưởng cách giải)...
... tốt nằm bên trái; End{else} End;{while} Thông báo thất bại End;{procedure} 37 Bài tập: Tìm đường nn từ A tới Z 38 Bàitập 39 Kết 40 Một hàm đánh giá h(u) gọi chấp nhận hàm đánh giá thấp h(u)
... trình trítuệnhântạo Hình 1: Hình ảnh tìm kiếm chiều sâu Nó lưu ý "mở rộng" trạng thái chọn mà không "mở rộng" trạng thái khác (nút màu trắng hình vẽ) Tiểu luận Lập trình trítuệnhântạo Kỹ ... E → K A B D C Kết đường cây: E F G H I 14 J K L P Tiểu luận Lập trình trítuệnhântạo 15 Tiểu luận Lập trình trítuệnhântạo Cài đặt chương trình Domains d = integer STATE = state(D STRING,D ... Tiểu luận Lập trình trítuệnhântạo Mục Lục Phần : Lời nói đầu 1.Mục đích đề bài ……………………………………… 2.Phân công công việc………………………………………… Phần 2: Thuật...
... với vị trí quân hậu bàn cờ Nguyễn Như Nam Lớp :Tin 5A Báo cáo : Nhập môntrítuệnhântạo Tiến hành khởi tạo quần thể (innitial population generation) với cá thể (Chromosome) tương ứng với cách ... Nguyễn Như Nam Lớp :Tin 5A Báo cáo : Nhập môntrítuệnhântạo Elitism để copy cá thể tốt để từ tạo quần thể tạo thành quần thể (có phương pháp xếp quân hậu cách tốt bàn cờ) d) Trên sở cấu trúc nhiễm ... (hoặc vài cá thể tốt) sang quần thể Thành phần lại quần thể tạo từ cách khác Nguyễn Như Nam Lớp :Tin 5A Báo cáo : Nhập môntrítuệnhântạo Phương pháp Elitism tăng tốc cho GA, Nó khác với số...
... - Mã hóa: Sử dụng mã hóa dạng hoán vị.Tất nhiễm sắc thể chuỗi số biểu diễn vị trí thành phố dãy Ví dụ: NST A NST B - Khởi tạo quần thể: Ta chọn ngẫu nhiên số cá thể tạo thành quần thể - Hàm thích ... gen(lai ghép đột biến) từ cha chọn để sinh con.Đạt hệ P(i+1) từ cá thể hệ P(i) Các thành phần thuật toán gen: - Mã hóa - Khởi tạo quần thể - Hàm thích nghi - Lựa chọn cho kết hợp lại - Lai ghép - Đột ... Elitism cho phép copy cá thể tốt (hoặc vài cá thể tốt) sang quần thể Thành phần lại quần thể tạo từ cách khác Phương pháp Elitism tăng tốc cho GA, ngăn không làm cá thể tốt Nguyễn Hải Linh- Tin...
... đợi ưu tiên Heap Các bạn tham khảo thêm tài liệu Cấu trúc liệu loại liệu CLOSE: tập chứa trạng thái xét đến Chúng ta cần lưu trữ trạng thái nhớ để đề ph.ng trường hợp trạng thái tạo lại trùng với ... trạng thái hành Để cài đặt thuật giải theo kiểu t.m kiếm BFS, người ta thường cần dùng tập hợp sau OPEN: tập chứa trạng thái sinh chưa xét đến (vì ta chọn trạng thái khác) Thực ra, OPEN loại hàng ... Khởi đầu, có nút (trạng thái) A nên mở rộng tạo nút B,C D Các số nút giá trị cho biết độ tốt nút Con số nhỏ, nút tốt Do D nút có khả nên mở rộng tiếp...
... tìm kiếm lớn cần phải giải Vì vậy, việc đòi hỏi thuật giải chất lượng cao sử dụng kỹ thuật trítuệnhântạo đặc biệt cần thiết giải toán có không gian tìm kiếm lớn Thuật giải di truyền (genetic ... bị chương trình lập trình dựa thuật toán ngôn ngữ thích hợp Nhờ vào lịch trình cài đặt với trítuệnhântạo , robo định hướng thực hoạt động người Tuy nhiên, việc tìm kiếm lời giải tốt cho hành ... Bước 3:Ta thấy, hệ số thích nghi đáp số cách xa 1000.Do đó, cần tạo đáp số cách biến hóa đáp số cũ Ta thấy, số 10 có hệ số thích nghi cao nên chọn để tạo sinh biến hóa.Đồng thời số 21 24 có hệ...
... nghiệm 13/03/15 Nhập mơnTrítuệnhântạo Cơ sở tri thức • Tập hơp tri thức liên quan đên vân đê ma chương trình quan tâm giai quy êt 13/03/15 Nhập mơnTrítuệnhântạo Vấn đề biểu diễn ... logic 13/03/15 Nhập mơnTrítuệnhântạo 24 • Biểu thức logic dạng chuẩn: la biêu thức đươc xây dưng từ biên mệnh đê va phép tốn ¬, ∧, ∨ 13/03/15 Nhập mơnTrítuệnhântạo 25 Tri thức biểu diễn ... xuất từ dạng chuẩn ban đầu chứng minh 13/03/15 Nhập mơnTrítuệnhântạo 32 Thuật giải Vương Hạo r, ¬p ∨ s → ¬q, ¬r ∧ s a ∧ b → c b ∧ c → d a b, suy d 13/03/15 Nhập mơnTrítuệnhântạo 33 Thuật...
... cháy nắng – Tiếp tục phân hoạch tập – Tính vector đặc trưng tương tự thuộc tính lại (chiều cao, cân nặng, dùng kem) Thuật tốn Quinlan • Trong phân hoạch Pvàng, tập liệu lại : Tên Ch.Cao Cân Nặng ... chương trình máy tính sinh cấu trúc liệu khác với cấu trúc có Chẳng hạn việc tìm luật If…then… từ tập liệu đầu vào (Krzysztof J Cios, Witold Pedrycz, Roman W Swiniarski Data Mining Methods for Knowledge ... Học theo ví dụ, trường hợp (by examples, cases) Học khám phá (by discovering) Phân loại máy học • Cách tiếp cận: – Tiếp cận thống kê – Tiếp cận tốn tử logic – Tiếp cận hình học (phân hoạch khơng...
... thời gian làm việc thấp Bố trí việc J cho máy M } 13/03/15 Nhập mônTrítuệnhântạo 35 Ví dụ n=10, m=3 tj = 10 máy, công việc (3,3,2,2,2) 13/03/15 Nhập mônTrítuệnhântạo 36 Ví dụ 2: toán tô ... tô màu vừa tô cho N 13/03/15 Nhập mônTrítuệnhântạo 37 13/03/15 Nhập mônTrítuệnhântạo 38 Ví dụ Có hội thảo khoa học với chủ đề khác nhau: A, B, C… Các chủ đề sau không đồng thời; AE, ... với cách giải người 13/03/15 Nhập mônTrítuệnhântạo 29 Các nguyên lý thuật giải heuristic Vét cạn thông minh Nguyên lý thứ tự Nguyên lý tham lam Hàm heuristic 13/03/15 Nhập mônTrí tuệ...
... nhỏ, nghiêng lệch hay biến dạng mức Các chữ giả thiết đưa dạng chuẩn (với sai số chấp nhận được) bước xử lí trước PHƯƠNG PHÁP GIẢI QUYẾT BÀI TOÁN Chương trình “Nhận dạng ký tự viết tay tiếng Việt” ... phân chữ cần nhậndạng Ouput: Ký tự nhậndạng mã unicode Chương trình gồm chức vẽ lấy ảnh từ bên để nhậndạng 3.2.2 Khởi tạo mạng neuron Lớp input: Gồm 60 đầu vào 60 đầu vào lấy cách tách biên ảnh ... LIỆU VÀ MÃ NGUỒN SỬ DỤNG 6.1 Tài liệu tham khảo [1] Thầy Nguyễn Nhật Quang, Slide giảng mônTrítuệnhân tạo, 2010 [2] Jeff Heaton – Introduction to Neural Networks with Java, 1st Ed [3] Tom M...
... tiêu số 4) sau tính 3, Dạng 3: Quyết đinh đầu tư vào dự án hay không? Vấn đề đặt DN dự định đầu tư vào dự án Một số yếu tố biết Vậy DN có nên đầu tư hay không? Cách tính Theo dạng đề thi QTTC sử ... nhận Chú ý Trong tậpdạng có phần “tái đầu tư” dòng tiền thu năm trước vào năm sau (thường tái đầu tư vào năm cuối dự án) Câu hỏi: Lợi nhuận dự án bao nhiêu? Nhận xét Phần không khó Các bạn cần nhìn ... Phần không khó Các bạn cần nhìn vào đặc điểm sau làm tậpdạng này: Tỷ suất sinh lợi tái đầu tư (i) có Chi phí sử dụng vốn (k) hay không? Cách tính NPV Như xác định dòng tiền năm CF 1, CF2, …,CFn...
... – Trương Gia Việt (Biên dịch) – Trítuệnhântạo – Các cấu trúc chiện lược giải vấn đề - NXB Thống kê, 2000 (Phần 1) PTS Nguyễn Thanh Thủy – Trítuệnhântạo – Các phương pháp giải vấn đề kỹ thuật ... thảo Darthouth vào mùa hè năm 1956 Đã có nhiều định nghĩa khác trítuệnhântạo Với trítuệnhân tạo, máy tính giúp người giải vấn đề cách thông minh Ta tìm hiểu số phương pháp giải vấn đề Cụ thể ... thông qua điều chỉnh hành vi cách thích hợp Hiểu rõ mối liên hệ kiện giới bên nhằm đưa hành vi phù hợp để đạt mục đích Vậy trítuệnhântạo gì? Thuật ngữ trítuệnhân tạo( Artifical Intellegence)...
... u331 Tạo domain users, domain groups (tt) Yêu cầu: • Các User accounts có password trùng với tên • Mỗi user có Home Folder server Tạo user profiles • Tạo roaming profile cho u311, u312 • Tạo mandatory ... TESTxx.PRO * Tạo domain users Tạo OUs, Users: • OU01 • • u11, u12 • GroupA: có thành viên u11, u12 • OU02 • u21, u22 • GroupB: có thành viên u21, u22 * Tạo domain users (tt) Yêu cầu: • Các user accounts ... accounts có password tên • Các user có home folder server Sxx • Các user logon server: • • GroupA thành viên nhóm Backup Operators • u21, u22 thành viên nhóm Print Operators * Tạo folders đĩa D máy...
... sáp nhập doanh nghiệp là: A Đa dạng hóa hoạt động kinh doanh tập đoàn B Giảm số lượng doanh nghiệp C Tăng hiệu kinh tế tài tập đoàn D Phát triển tập đoàn Câu 28: Các khoản tín dụng mà ngân hàng ... Chú ý Trong tậpdạng có phần “tái đầu tư” dòng tiền thu năm trước vào năm sau (th ường tái đầu tư vào năm cuối dự án) Câu hỏi: Lợi nhuận dự án bao nhiêu? Nhận xét Phần không khó Các bạn cần nhìn ... tiêu số 4) sau tính 3, Dạng 3: Quyết đinh đầu tư vào dự án hay không? Vấn đề đặt DN dự định đầu tư vào dự án Một số yếu tố biết Vậy DN có nên đầu tư hay không? Cách tính Theo dạng đề thi QTTC sử...
... learning) lĩnh vực trítuệnhântạo liên quan đến việc phát triển kĩ thuật cho phép máy tính "học" Cụ thể hơn, học máy phương pháp để tạo chương trình máy tính việc phân tích tập liệu Học máy có ... số mạng nơron mô theo cách hoạt động não người Cách ứng sử mạng nơron nhântạo giống não người, chứng tỏ khả học, nhớ lại, tổng quát hóa từ liệu huấn luyện Mạng nơron nhântạo công cụ tốt việc ... tập liệu D để thưc thao tác học LT – learning task – cho trước Tập liệu thường gọi tập học – training set Phân loại: Có hai loại phương pháp học máy • Học có giám sát – supervised learning: tập...