... Nguyễn Thanh Thủy, ngời định hớng đề tài tận tình hớng dẫn bảo suốt trình thực luận văn thạc sỹ khoa học, từ ý tởng đề cơng nghiên cứu, phơng pháp giải vấn đề, đến điều kiện lý tởng để thực hành ... trung tâm Logic tính toán, Universidade Nova de Líboa, Bồ Đào Nha cho nhiều kiến thức quý báu vấnđề đại ngành logic tính toán, trí tuệ nhân tạo, công nghệ thông tin, cho môi trờng tập thể, khoảng...
... khăn suy luận luật sinh X BIỄUDIỄN TRI THỨC SỬ DỤNG MẠNG NGỮ NGHĨA X.1 Khái niệm Mạng ngữ nghĩa phươngphápbiểudiễn tri thức phươngphápdễ hiểu Phươngphápbiểudiễn tri thức dạng đồ thị, đỉnh ... thức, kiểu biểudiễn ứng với nhiệm vụ Nhưng vậy, lại nảy sinh vấnđề "dịch" tri thức từ kiểu biểudiễn sang kiểu biểudiễn khác Tuy số hệ chương trình trí tuệ gần dùng lúc nhiều kiểu biểudiễn liệu ... chân trị Tuy lý thuyết, phươngpháp lập bảng chân trị cho kết cuối độ phức tạp phươngpháp lớn, O(2n) với n số biến mệnh đề Sau nghiên cứu hai phươngpháp chứng minh mệnh đề với độ phức tạp có...
... 1960): Khi vấnđề phân thành n vấnđề con, ta phải chứng minh tất mệnh đề mệnh đề đầu Nếu chứng minh mệnh đề sai mệnh đề sai Ví dụ: Giả sử có vấnđề hiểu dạng chuẩn sau, chứng minh vấnđề hay sai ... khăn suy luận luật sinh 6 BIỄUDIỄN TRI THỨC SỬ DỤNG MẠNG NGỮ NGHĨA Khái niệm Mạng ngữ nghĩa phươngphápbiểudiễn tri thức phươngphápdễ hiểu Phươngphápbiểudiễn tri thức dạng đồ thị, đỉnh ... khiển tri thức Các tri thức biểudiễn máy tính vậy, chúng chủ động hướng người dùng biết cách khai thác liệu 4 CÁCPHƯƠNGPHÁPBIỄUDIỄN TRI THỨC Logic mệnh đề: -Định nghĩa: Mệnh đề khẳng định...
... m_box[m][n]: mảng biểudiễn bàn cờ, phần tử đợc khởi tạo = sau quỏ trỡnh chi đợc cập nhật (0: cha i; 1: ngi i; -1: mỏy i) - int val[m][n]: mảng nháp đợc sử dụng để tính nớc Các phần tử mảng cho ... tớnh im kimh nghim theo theo trc nh hỡnh sau: Hỡnh 6.1: Cỏc hng tớnh im kinh nghim cho mt nc i * Các vị trí cần xét tính điểm cho ô Trớc hết ô lân cận trục đợc lấy vào mảng nh hình vẽ, ô cần xét...
... ví dụ mục chương để hiểu cách biểudiễn thuật toán theo ngôn ngữ tự nhiên 2.2 Lưu đồ - sơ đồ khối Lưu đồ hay sơ đồ khối công cụ trực quan đểdiễn đạt thuật toán Biểudiễn thuật toán lưu đồ giúp ... Thao tác chọn lựa (decision) Thao tác chọn lựa biểudiễn hình thoi, bên chứa biểu thức điều kiện 2.2.2 Thao tác xử lý (process) Thao tác xử lý biểudiễn hình chữ nhật, bên chứa nội dung xử lý 2.2.3.Ðường ... theo dõi phân cấp trường hợp trình xử lý thuật toán Phươngpháp lưu đồ thường dùng thuật toán có tính rắc rối, khó theo dõi trình xử lý Ðể biểudiễn thuật toán theo sơ đồ khối, ta phải phân biệt...
... toán, biểudiễn hình ovan, bên có ghi chữ bắt đầu/start/begin kết thúc/end Ðiểm cuối có cung (điểm khởi đầu) cung vào (điểm kết thúc) Xem lưu đồ thuật toán giải phương trình bậc hai để thấy cách ... toán giải phương trình bậc hai if Delta > then begin x1=(-b-sqrt(delta))/(2*a) x2=(-b+sqrt(delta))/(2*a) xuất kết : phương trình có hai nghiệm x1 x2 end else if delta = then xuất kết : phương trình ... 2.2.2 Thao tác xử lý (process) Thao tác xử lý biểudiễn hình chữ nhật, bên chứa nội dung xử lý 2.2.3.Ðường (route) Khi dùng ngôn ngữ tự nhiên, ta...
... Contents Cácphươngpháp giải vấnđề Tri thức phươngphápbiểudiễn tri thức Máy học 07/07/14 Tổng quan khoa học trí tuệ nhân tạo Mạng Nơron Chương Cácphươngpháp giải vấnđề 2.1 2.2 Tìm ... 07/07/14 Biểudiễn không gian trạng thái dạng đồ thị 2.1 Biểudiễn toán không gian trạng thái 2.1.1 Đặt vấnđề Khi giải toán phươngpháp tìm kiếm: phải xác định không gian tìm kiếm Phươngpháp ... giải vấnđề dựa trên: 07/07/14 khái niệm trạng thái (state) toán tử (operator) gọi cách tiếp cận giải vấnđề nhờ không gian trạng thái 2.1 Biểudiễn toán không gian trạng thái 2.1.1 Đặt vấn đề...
... 1960) Khi vấnđề phân thành n vấnđề con, ta phải chứng minh tất mệnh đề mệnh đề đầu Nếu chứng minh mệnh đề sai mệnh đề sai Ví dụ: Giả sử có vấnđề hiểu dạng chuẩn sau, chứng minh vấnđề hay sai ... khăn suy luận luật sinh 28 BIỄUDIỄN TRI THỨC SỬ DỤNG MẠNG NGỮ NGHĨA Khái niệm Mạng ngữ nghĩa phươngphápbiểudiễn tri thức phươngphápdễ hiểu Phươngphápbiểudiễn tri thức dạng đồ thị, đỉnh ... khiển tri thức Các tri thức biểudiễn máy tính vậy, chúng chủ động hướng người dùng biết cách khai thác liệu 10 CÁCPHƯƠNGPHÁPBIỄUDIỄN TRI THỨC Logic mệnh đề: -Định nghĩa: Mệnh đề khẳng định...
... 00001110 10 15 00001111 Cácphươngphápbiểudiễn thông tin Phươngpháp Số N: Cácphươngphápbiểudiễn thông tin Biểudiễn số thực có dấu chấm động Một số thực X biểudiễn dạng số dấu chấm động ... Thực chất, số biểudiễn dạng bù số biểudiễn bù sau cộng thêm Các phươngphápbiểudiễn thông tin Phươngpháp Bù 2: Ví dụ: số nguyên -5 hệ thập phân biểudiễn máy tính theo phươngpháp bù sau ... trò cần biểu diễn) biểudiễn dạng nhò phân số dương cho: giá trò số dương lớn giá trò cần biểudiễn N đơn vò Các phươngphápbiểudiễn thông tin Phươngpháp Số N: Ví dụ: giả sử cần biểudiễn giá...
... chương trình - Không gian đòa lớn Máy tính phươngphápbiểudiễn thông tin Lòch sử phát triển máy tính Thế hệ thứ tư: (1972 - ????) Đặc trưng: - Các IC mật độ tích hợp cao/rấtcao, chip chứa ... khiển xử lý - Các mạch tổ hợp mức độ cực lớn Nhờ máy tính ngày nhỏ hơn, nhẹ hơn, mạnh giá thành rẻ - Máy tính cá nhân bắt đầu xuất phát triển thời kỳ Máy tính phươngphápbiểudiễn thông tin ... Thế hệ thứ - Thế hệ thứ : (1946-1957) : (1958-1964) : (1965-1971) : (1972-????) Máy tính phươngphápbiểudiễn thông tin Lòch sử phát triển máy tính Thế hệ 1: (1946-1957) - Máy tính điện tử ENIAC...
... toán – phươngphápbiểudiễn tri thức bên cạnh vấnđềbiểudiễn tri thức, ta phải đềphươngphápđể loại bỏ tri thức trùng lắp, thừa mâu thuẫn 07/28/14 38 3.3 Cácphươngphápbiểudiễn tri ... tạo Cácphươngpháp giải vấnđề Tri thức phươngphápbiểudiễn tri thức Máy học Mạng Nơron 07/28/14 Chương Tri thức phươngphápbiểudiễn tri thức 3.1 Thông tin, liệu tri thức 3.2 Thuật toán – phương ... thức Vấnđề là: đưa tri thức vào máy tính (được gọi biểudiễn tri thức) 07/28/14 11 Tri thức phươngphápbiểudiễn tri thức 3.1 Thông tin, liệu tri thức 3.2 Thuật toán – phươngphápbiểu diễn...
... NGHIÊN CỨU PHƯƠNGPHÁPBIỂUDIỂN ĐỘ LỒI LÃM CỦA MẶT ĐẤT ĐỂ ĐƯA LÊN BẢN ĐỒ PHƯƠNGPHÁPBIỂUDIỂN ĐỊA HÌNH PHƯƠNGPHÁP KẺ VÂNPHƯƠNGPHÁP TÔ MÀU PHƯƠNGPHÁP ĐƯỜNG ĐỒNG MỨC PHƯƠNGPHÁP KẺ VÂN ... đất biểudiễn màu có độ đậm khác nhau: vùng núi dùng màu nâu, vùng biển dùng màu xanh PHƯƠNGPHÁP ĐƯỜNG ĐỒNG MỨC Đường nối liền điểm có độ cao mặt đất gọi đường đồng mức kề gọi khoảng cao đều, ... nét vânđểbiểudiễn địa hình; chổ phẳng dốc thoải dùng nét vân mảnh, dài, xa nhau; chổ dốc dùng nét vân đậm, ngắn, sít nhau; nét vân hướng theo dốc địa hình BẢN ĐỒ ĐỊA HÌNH PHƯƠNGPHÁP TÔ MÀU...
... áp dụng cụ thể phươngpháp thường sử dụng kết hợp với qui tắc heuristic việc chọn luật Suy diễn lùi • Phương pháp: truy ngược từ kết luận trở giả thiết, phươngpháp tiến hành cách truy ngược ... thể phươngpháp thường sử dụng kết hợp với qui tắc heuristic việc chọn luật Suy diễn hỗn hợp • Phương pháp: kết hợp trình suy diễn tiến suy diễn lùi nhằm khắc phục khuyết điểm phươngpháp cao hiệu ... UBND cấp phường, quận, … CHƯƠNG II CÁCPHƯƠNGPHÁPBIỄUDIỄN TRI THỨC Biểudiễn dựa logic hình thức • Sử dụng biểu thức logic hình thức hệ thống logic đểdiễn đạt kiện luật sở tri thức • Phép...
... Biểudiễn tri thức ứng dụng MỤC LỤC CHƯƠNG 1:TỔNG QUAN VỀ BIỂUDIỄN TRI THỨC I II III Tổng quan biểudiễn tri thức……………………………………………….3 Cácphươngphápbiểudiễn tri thức………………………………………… ... chế………………………………………………….29 Biểudiễn tri thức ứng dụng HƯƠNG 1: TỔNG QUAN VỀ BIỂUDIỄN TRI THỨC Tổng quan biểudiễn tri thức I Khái niệm biểudiễn tri thức Biểudiễn tri thức diễn đạt thể tri thức ... kiểu heuristic) Cácphươngphápbiểudiễn tri thức II a Biểudiễn tri thức sử dụng luật dẫn xuất ( luật sinh ) Khái niệm Biểudiễn tri thức sử dụng luật dẫn xuất kiểu biểudiễn tri thức có cấu...
... Cây khung nhỏ minh họa cách biểudiễn tri thức lập trình logic DLV Với toán, có nhiều cách đểbiểudiễn tri thức, phần phân tích tiết cách biểudiễn cài đặt cụ thể cách biểudiễn môi trường lập ... trả lời khác 2.3.2 Biểudiễn tri thức sử dụng chương trình logic phân biệt Các ví dụ sau phương thức biểudiễn thông tin phân biệt suy diễn thông thường Ta bắt đầu với việc biểudiễn CWA với thông ... tìm cách để tự giải vấnđề lời giải Cách làm việc với luật kiện Các kiện liệu đầu vào luật sử dụng để suy diễn thêm kiện lời giải toán Datalog phân biệt dạng mở rộng datalog, bao gồm thêm cách biểu...
... chẵn : Thành phần lẻ : 1.2 Biểudiễn tín hiệu số miền khác 1.2.1: Biểudiễn tín hiệu miền số Z Miền Z tập hợp miền số phức Các số phức biểudiễn hai dạng • Dạng biểudiễn theo phần thực ,phần ... fourier của tín hiêu x(n) định nghĩa sau : Cách thể : • • Biểudiễn theo phần thực phần ảo : = Re + j Im Biểudiễn theo Modul Argument : = 1.2.3 Biểudiễn tín hiệu miền tần số rời rạc Tương tự ... phép biến đổi z , biến đôi z ngược để phân tích biểudiễn tín hiệu miền rời rạc sang miền z , nhằm mục đích tạo thuận lợi nghiên cứu 1.2.2 : Biểudiễn tín hiệu miền tần số liên tục Bên cạnh phép...