... nguồn đầu vào phân tích cú pháp xây dựng thành otomat luồng điều khiển (CFA) chương trình Sau kết hợp với tập PA hàm thư viện tập mệnh đề logic (hoặc cung cấp người sử dụng Copper tự phân tích ... tham số đầu vào my_proc a) my_proc gọi thủ tục foo b) Phụ thuộc vào giá trị trả thủ tục foo lớn hay nhỏ mà thủ tục my_proc trả giá trị 10 hay 20 Trường hợp ngược lại tham số đầu vào my_proc khác ... trình hàm thư viện đặc tả LTS Trong chương trình C, hàm thư viện thực chức khác tùy thuộc vào tham số đầu vào hay ngữ cảnh thực hiện, cách tiếp cận phương pháp đưa khái niệm trừu tượng hóa thủ tục...
... lời cảm ơn Trớc tiên xin gửi lời cảm ơn đặc biệt tới PGS.TS 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 ... điều kiện lý tởng để thực hành luận văn Tôi xin chân thành bày tỏ lòng biết ơn tới tất giáo s, đặc biệt GS José Júlio Alferes, trung tâm Logic tính toán, Universidade Nova de Líboa, Bồ Đào Nha cho ... c gi l phõn lp v ch th ph thuc D khụng cha bt k mt chu trỡnh õm no Khỏi nim phõn lp ó úng mt vai trũ quan trng lp trỡnh logic, c s d liu suy din v trớ tu nhõn to nh lý sau õy mụ t mt thuc tớnh...
... vị muối, tương, ớt, tiêu, Điều kiện vào : Khách hàng đói Khách hàng có đủ tiền để trả Tình : Vào nhà hàng Khách hàng đậu xe vào bãi đậu xe Khách hàng bước vào nhà hàng Khách hàng xếp hàng trước ... tả đối tượng xuất luật Frame đóng vaitrò lớp hỗ trợ cho thao tác suy diễn đối tượng không cần phải tương tác cách tường minh luật Khả phân lớp frame dùng để phân hoạch, tạo mục xếp luật sinh ... Nếu đỉnh hình chữ nhật có cung nối với n đỉnh hình tròn mà n-1 đỉnh hình tròn kích hoạt kích hoạt đỉnh hình tròn lại (và tính giá trị đỉnh lại thông qua công thức đỉnh hình chữ nhật) Giả sử ta...
... thơng qua kinh nghiệm Sự phân lớp tri thức: Siêu tri thức Tri thức Thông tin Dữ liệu Dữ liệu tối nghóa, chưa rõ ràng Đặc điểm tri thức: Làm để phânbiệt thơng tin vào máy tính liệu tri thức ... 1 Giới thiệu(tt) Cơ sở tri thức dạng liệu đặc biệt Động suy diễn dạng thuật tốn đặc biệt Giới thiệu(tt) Cấu trúc chương trình trí tuệ nhân tạo 2 Phân loại tri thức: Tri thức kiện : khẳng định ... thức người giới xung quanh khả phân tích cấu trúc đối tượng.Ở mức đơn giản cấu trúc: phận tồn thể, giống lồi đó, phần tử lớp Tri thức đưa vào máy cần có khả tạo phân cấp khái niệm quan hệ chúng...
... gọi để xác định nớc cho máy; tham số truyền cho hàm toạ độ ô ngời vừa đánh vào, độ sâu tìm kiếm Hàm tính nớc cập nhật vào hai thuộc tính m_xNext, m_yNext nói Tiếp theo công việc hiển thị nớc i ... f(n) l nh nht ú l trng thỏi tt nht c chn tip din tỡm kim Trong tỡm kim kinh nghim, hm ỏnh giỏ úng vai trũ cc k quan trng Chỳng ta cú xõy dng c hm ỏnh giỏ cho ta s ỏnh giỏ ỳng cỏc trng thỏi thỡ tỡm ... 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 nằm mảng (vị trí N0 = 4) Giá trị ô N0 ban đầu val = ; Việc xét mảng...
... theo dõi phân cấp trường hợp trình xử lý thuật toán Phương phá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ểu diễn thuật toán theo sơ đồ khối, ta phải phânbiệt ... giả Tuy sơ đồ khối thể rõ trình xử lý phân cấp trường hợp thuật toán lại cồng kềnh Ðể mô tả thuật toán nhỏ ta phải dùng không gian lớn Hơn nữa, lưu đồ phânbiệt hai thao tác rẽ nhánh (chọn lựa ... việc thể thuật toán ngôn ngữ tự nhiên Tuy vậy, để dễ đọc, ta nên viết bước lùi vào bên phải đánh số bước theo quy tắc phân cấp 1, 1.1, 1.1.1, Bạn tham khảo lại ba ví dụ mục chương để hiểu cách...
... giả Tuy sơ đồ khối thể rõ trình xử lý phân cấp trường hợp thuật toán lại cồng kềnh Ðể mô tả thuật toán nhỏ ta phải dùng không gian lớn Hơn nữa, lưu đồ phânbiệt hai thao tác rẽ nhánh (chọn lựa ... 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 sử dụng điểm cuối ... phần ngôn ngữ tự nhiên Một vay mượn cú pháp khái niệm ngôn ngữ lập trình chắn mã giả bị phụ thuộc vào ngôn ngữ lập trình Chính lý này, chưa vội tìm hiểu mã giả (vì chưa biết ngôn ngữ lập trình!)...
... nghiệm Sự phân lớp tri thức: S i e âu t r i t h ùc T r i t h ùc T h o ân g t i n D õ l i e äu D õ l i e äu t o n g h ó a , c h a r o õ r a øn g Đặc điểm tri thức: Làm để phânbiệt thơng tin vào máy ... đề Giới thiệu(tt) Cơ sở tri thức dạng liệu đặc biệt Động suy diễn dạng thuật tốn đặc biệt Giới thiệu(tt) Cấu trúc chương trình trí tuệ nhân tạo Phân loại tri thức: Tri thức kiện : khẳng định ... thức người giới xung quanh khả phân tích cấu trúc đối tượng.Ở mức đơn giản cấu trúc: phận tồn thể, giống lồi đó, phần tử lớp Tri thức đưa vào máy cần có khả tạo phân cấp khái niệm quan hệ chúng...
... PHÂN (HEXADECIMAL) * Biến đổi nhò phân thành thập lục phân Gộp lại thành nhóm gồm bit nhò phân, dấu chấm nhò phân Ví dụ: Biến đổi số nhò phân (1111101000010000)2 thành thập lục phân bit nhò phân ... THẬP LỤC PHÂN (HEXADECIMAL) * Biến đổi thập lục phân thành thập phân Các số thập lục phân biến đổi thành thập phân cách tính tổng số nhân với giá trò vò trí phân Ví dụ : Số thập lục phân: (3A8C)16 ... trước làm giá trò dòch ("dòch" hiểu nôm na theo nghóa "sự dòch chuyển" hay "sự thiên lệch") - Một giá trò thập phân (tức giá trò cần biểu diễn) biểu diễn dạng nhò phân số dương cho: giá trò số dương...
... khiển lấy lệnh biến đổi giá trò liệu phần nhớ làm toán luận lý (ALU: Arithmetic And Logic Unit) điều khiển để tính toán liệu nhò phân điều khiển hoạt động thiết bò vào Đây ý tưởng tảng cho máy ... người - máy thông minh - Máy tính xử lý song song Máy tính phương pháp biểu diễn thông tin Dựa vào kích thước vật lý, hiệu suất lónh vực sử dụng, máy tính chia thành loại chính: MicroComputer: ... dụng thời gian thực, ví dụ điều khiển hàng không, tự động hoá sản xuất Supermini: dùng hệ thống phân chia thời gian, ví dụ máy quản gia mạng Máy tính phương pháp biểu diễn thông tin Mainframe:...
... DSLuat[SO_LUAT]; void KhoiDong() { CacLuat[1].DK = ‘x = = Vx’; CacLuat[2].DK = ‘y = = 0’; CacLuat[3].DK = ‘y>0’; CacLuat[1].ThaoTac = ‘x = 0’; CacLuat[2].ThaoTac = ‘y = Vy’; CacLuat[3].ThaoTac= ‘k = min(Vx-x,y), ... nhận vào chuỗi, phân tích chuỗi tiến hành thực hành động miêu tả chuỗi 07/28/14 28 3.2 Thuật toán – phương pháp biểu diễn tri thức #define SO_LUAT 3; struct Luat{ String DK; String ThaoTac; }; CacLuat ... diễn tri thức Bây giả sử ta có hàm đặc biệt sau: bool GiaTriBool(String DK); void ThucHien(String ThaoTac); Hàm GiaTriBool nhận vào chuỗi điều kiện, phân tích chuỗi, tính toán trả giá trị...
... sin b v.v Phân loại biểu diễn tri thức • Phân loại theo hệ thống tin học: Hệ thống thông tin, MIS, GIS, … Hệ CSTT, HCG, HTGQĐ Hệ quản ý kho tài liệu theo ngữ nghĩa V.v… • Phân loại theo ... dựa vào số nguyên lý sau: Nguyên lý vét cạn thông minh: Trong toán tìm kiếm đó, không gian tìm kiếm lớn, ta thường tìm cách giới hạn lại không gian tìm kiếm thực kiểu dò tìm đặc biệt dựa vào ... tương ứng với cạnh tam giác S : diện tích tam giác P : nửa chu vi tam giác R : bán kính đường tròn ngoại tiếp tam giác v.v • Tập công thức tam giác gồm: f1 : a + b + g = p (radian) f2...
... quan hệ phân cấp đối tượng) Trong tập C, ta có quan hệ mà theo có khái niệm đặc biệt hoá khái niệm khác Có thể nói, H biểu đồ Hasse C xem quan hệ phân cấp quan hệ thứ tự C Cấu trúc quan hệ phân ... thức ứng dụng Cl2 + Na->NaCl Cl2 + Al-> AlCl3 Cl2 + Ca ->CaCl2 Cl2 + FeCl2->FeCl3 Cl2 + KBr->KCl+Br2 Cl2 + NaBr->NaCl+Br2 Cl2 + Cu->CuCl2 Cl2 + Fe->FeCl3 Cl2 + Na->NaCl Cl2 + H2O->HCl+HClO end_computation_relations ... chất chương trình vào đối tượng truy tìm phản ứng có chương trình, sau phản ứng có chất sinh chất tạo lại chất tiền đề, ta thêm vào tập hợp đối tượng đầu vào, xem chất đầu vào tiếp tục trình...
... trình logic phânbiệt Các ví dụ sau phương thức biểu diễn thông tin phânbiệt suy diễn thông thường Ta bắt đầu với việc biểu diễn CWA với thông tin phânbiệt 25 Ví dụ tác động lẫn phân cách tri ... logic phânbiệt công cụ mạnh để biểu diễn tri thức suy diễn thông thường Sự phát triển gần môi trường lập trình logic phânbiệt có tên DLV, cho phép sử dụng triệt để chương trình logic phânbiệt vào ... đặc biệt luật, thân luật rỗng Các kiện phânbiệt trường hợp đặc biệt Giá trị phần tử nhận giá trị đúng, kiện nhận giá trị Ví dụ 3.7 Các kiện phân biệt: true v false edible(apple) v foul(apple) Và...
... biến thời gian phụ thuộc vào thời gian áp vào tín hiệu nhập 2.2: Một số tính chất khác • Đáp ứng xung: Một hệ thống đặc trưng đáp ứng xung h(n).( Đáp ứng hệ thống với đầu vào xung đơn vị ) Đặc trưng ... thời tính chất tuyến tính bất biến ) • Tính chất tuyến tính : Mối quan hệ ngõ vào ngõ hệ thống tuyến tính - Nếu tín hiệu vào la x1(t) ,tín hiệu xuất tương ứng y1(t) tín hiệu nhập x2(t), tín hiệu ... tín hiệu biểu diễn trực quan , thấy kết cụ thể , nhiên phân tích mạch gặp nhiều khó khăn Do ta sử dụng phép biến đổi z , biến đôi z ngược để phân tích biểu diễn tín hiệu miền rời rạc sang miền...
... → KL1, KL2,…,b,…, KLm-1, KLm - Chúng ta tách lúc nhiều nhóm mệnh đề với nhau, cách hay nên chọn nhóm mệnh đề mà thấy tách dòng có mệnh đề nhóm mệnh đề gt giống mệnh đề kl Như ta giảm số dòng tách ... luật De Morgan để bỏ dấu ┐(phủ định) nguyên nhóm mệnh để: Ví dụ: ┐(p q ) ≡ ┐p ┐q ┐(p q ) ≡ ┐p ┐q - Có thể sử dụng mệnh đề bước (từ 1-4) Áp dung luật phân phối (nếu chưa gặp dạng chuẩn cần tìm) ... dụng luật De Morgan để bỏ dấu ┐(phủ định) nguyên nhóm mệnh để: {(┐A ┐B C, ┐B ┐C D, A, B) → D} Bước 4) Ta áp dụng dạng để tách dòng: tách nhóm (tuyển) GTi Tùy theo toán đơn giản hay phức...
... logic phânbiệt Năm 1997 đưa nguồn Java với chương trình logic phânbiệt Ta tổng quát hóa việc hệ thống lập trình logic phân biệt, gọi DLV Ngôn ngữ nhân thực bước sau: DLV datalog phânbiệt với ... dụng kiểu vào hệ thống logic trình logic phânbiệt vào bên mã nguồn hướng đối tượng Hơn nữa, tăng nhanh Tuy nhiên, hệ thống lập trình logic phânbiệt không hỗ trợ chương trình đầu vào viết nhiều ... chương trình logic phânbiệt Π không chứa not α ( Π ) Từ định nghĩa này, ta xác định tập trả lời chương trình logic phânbiệt Một tập phần tử S tập trả lời chương trình logic phânbiệt Π S ∈ α (...