Đang tải... (xem toàn văn)
Phân loại Các hệ cơ sở tri thức
Chương 4: Phân loại Các hệ cơ sở tri thức Phần II: Các hệ Cơ sở tri thức (knowledge-based systems) I. Một số tiêu chuẩn phân loại các hệ CSTT Tính đóng, mở, kết hợp Phương pháp biểu diễn tri thức Lĩnh vực ứng dụng II. Hệ CSTT đóng Các định nghĩa Các định đề Các tiên đề Suy diễn logic + Chứng minh các định lý Cơ sở tri thức Động cơ suy diễn Hệ CSTT đóng Hệ cơ sở tri thức đóng: được xây dựng với một số “tri thức lĩnh vực” ban đầu và chỉ với những tri thức đó mà thôi trong suốt quá trình hoạt động hay suốt thời gian sống của nó. Ví dụ: Các định nghĩa và các tiên đề trong tác phẩm của Ơclit. II. Hệ CSTT đóng (tt) 1. Các định nghĩa và các tiên đề trong tác phẩm của Ơclit Điểm là cái gì không có bộ phận Đường có bề dài và không có bề rộng Các đầu mút của một đường là những điểm Đường thẳng là đường có sự sắp đặt vị trí như nhau đối với mọi điểm của nó Mặt là cái chỉ có bề dài và bề rộng Các biên của một mặt là những đường Mặt phẳng là mặt có sự sắp đặt vị trí như nhau đối với mọi đường thẳng của nó … II. Hệ CSTT đóng (tt) Các định đề Từ một điểm bất kỳ này đến một điểm bất kỳ khác có thể vẽ một đường thẳng. Một đường thẳng có thể kéo dài ra vô hạn. Từ một điểm bất kỳ làm tâm, và với một bán kính tùy ý, có thể vẽ một đường tròn. Tất cả các góc vuông đều bằng nhau. Nếu một đường thẳng cắt hai đường thẳng khác tạo nên hai góc trong cùng phía có tổng nhỏ hơn hai vuông thì hai đường thẳng đó phải cắt nhau về phía có hai góc nói trên đối với đường thẳng cắt. α + β < 2 vuông α β II. Hệ CSTT đóng (tt) Các tiên đề Hai cái cùng bằng cái thứ ba thì bằng nhau. Thêm những cái bằng nhau vào những cái bằng nhau thì được những cái bằng nhau. Bớt những cái bằng nhau từ những cái bằng nhau thì được những cái bằng nhau. Các hình chồng khít lên nhau thì bằng nhau. Toàn thể lớn hơn một phần II. Hệ CSTT đóng (tt) 2. Tiên đề Lobasepxki (tiên đề V’) - Trong mặt phẳng xác định bởi đường thẳng a và một điểm A không thuộc đường thẳng đó có ít ra là 2 đường thẳng đi qua A và không cắt a. a A Tiên đề V’ phủ định tất cả các mệnh đề tương đương với tiên đề V của Ơclit III. Hệ CSTT mở Hệ cơ sở tri thức mở: là những hệ cơ sở tri thức tiên tiến hơn, nó có khả năng bổ sung tri thức trong quá trình hoạt động, khám phá. Ví dụ 1: Những hệ giải toán cho phép bổ sung tri thức trong quá trình suy luận (tri thức ban đầu là những tiên đề và một số định lý, tri thức bổ sung là những định lý mới, những tri thức heurictis, …), … Các định nghĩa Các định đề Các tiên đề Suy diễn logic + Chứng minh các định lý Cơ sở tri thức Động cơ suy diễn Hệ CSTT đóng Đưa những định lý chứng minh được vào CSTT III. Hệ CSTT mở (tt) Ví dụ 2: Hệ chẩn đoán hỏng hóc xe dựa trên tri thức luật dẫn Tập các luật liên quan đến việc chẩn đoán hỏng xe IV. Hệ CSTT kết hợp Hệ cơ sở tri thức kết hợp: bao gồm sự kết hợp giữa hệ đóng và hệ mở, hệ kết hợp giữa CSTT và CSDL, hệ kết hợp giữa CSTT này với CSTT khác, … Những hệ cơ sở tri thức kết hợp thường phát triển mạnh dựa trên tri thức liên ngành. Ví dụ: kinh dịch, tử vi áp dụng với đời sống; kinh dịch, tử vi áp dụng với y học; …); những hệ chẩn đoán, dự báo đòi hỏi tri thức liên ngành; … [...]... nhón ng hnh Mt vớ d in hỡnh v vic xem tui hp hay khc STT a chi m dng Ng hnh Phng v 1 Tý Dng Thy Bc 2 Su m Th 4 phng 3 Dn Dng Mc ụng 4 Móo m Mc ụng 5 Thỡn Dng Th 4 phng 6 T m Ha Nam 7 Ng Dng Ha Nam 8 Mựi m Th 4 phng 9 Thõn Dng Kim Tõy STT a chi m dng Ng hnh Phng v 10 Du m Kim Tõy 11 Tut Dng Th 4 phng 12 Hi m Thy Bc Mc sinh Ha Móo khụng khc T Thy khc Ha Tý khc Ng V H thng m 1.Cỏc khỏi nim c bn 1.1... àH.Lng(x0) = 1 àG.Va(y0) = 3/5 Lut 4: àH.Cn(x0) = 0.5 àG.Va(y0) = 3/5 W1 (B.Va) = min(1; 3/10) = 3/10 W2 (B.Lõu) = min(0.5; 3/10) = 3/10 W3 (B.Va) = min(1; 3/5) = 3/5 W4 (B.Hilõu) = min(0.5; 3/5) = 0.5 H.Lng 1 1 G Cao B.Va 1 Lut 1 0 1 0 2 H.Cn 10 G Cao 1 0 15 30 B.Lõu 0 30 1 Lut 2 0 2 0 10 H.Lng 1 G Va B.Va 1 Lut 3 0 1 2 0 5 G Va H.Cn 0 10 15 30 B.Hilõu 0 20 30 1 Lut 4 0 2 0 5 10 V H thng m (tt) Cỏc... 20 . Chương 4: Phân loại Các hệ cơ sở tri thức Phần II: Các hệ Cơ sở tri thức (knowledge-based systems) I. Một số tiêu chuẩn phân loại các hệ CSTT Tính đóng, mở, kết. diễn tri thức Lĩnh vực ứng dụng II. Hệ CSTT đóng Các định nghĩa Các định đề Các tiên đề Suy diễn logic + Chứng minh các định lý Cơ sở tri thức Động cơ suy diễn Hệ CSTT đóng Hệ cơ sở tri thức. phủ định tất cả các mệnh đề tương đương với tiên đề V của Ơclit III. Hệ CSTT mở Hệ cơ sở tri thức mở: là những hệ cơ sở tri thức tiên tiến hơn, nó có khả năng bổ sung tri thức trong quá trình