Đ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ó...
Phần II: Các hệ Cơ sở tri thức (knowledge-based systems) Chương 4: Phân loại Các hệ sở tri thức I Một số tiêu chuẩn phân loại 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 Hệ sở tri thức đóng: xây dựng với số “tri thức lĩnh vực” ban đầu với tri thức mà thơi suốt trình hoạt động hay suốt thời gian sống Ví dụ: Các định nghĩa tiên đề tác phẩm Ơclit Cơ sở tri thức Các định nghĩa Các định đề Các tiên đề + Động suy diễn Hệ CSTT đóng Suy diễn logic Chứng minh định lý II Hệ CSTT đóng (tt) Các định nghĩa tiên đề tác phẩm Ơclit Điểm khơng có phận Đường có bề dài khơng có bề rộng Các đầu mút đường điểm Đường thẳng đường có đặt vị trí điểm Mặt có bề dài bề rộng Các biên mặt đường Mặt phẳng mặt có đặt vị trí đường thẳng … II Hệ CSTT đóng (tt) Các định đề Từ điểm đến điểm khác vẽ đường thẳng Một đường thẳng kéo dài vơ hạn Từ điểm làm tâm, với bán kính tùy ý, vẽ đường trịn Tất góc vng Nếu đường thẳng cắt hai đường thẳng khác tạo nên hai góc phía có tổng nhỏ hai vng hai đường thẳng phải cắt phía có hai góc nói đường thẳng cắt β α α + β < vuông II Hệ CSTT đóng (tt) Các tiên đề Hai thứ ba Thêm vào Bớt từ Các hình chồng khít lên Tồn thể lớn phần II Hệ CSTT đóng (tt) Tiên đề Lobasepxki (tiên đề V’) - Trong mặt phẳng xác định đường thẳng a điểm A không thuộc đường thẳng có đường thẳng qua A không cắt a A a Tiên đề V’ phủ định tất mệnh đề tương đương với tiên đề V Ơclit III Hệ CSTT mở Hệ sở tri thức mở: hệ sở tri thức tiên tiến hơn, có khả bổ sung tri thức trình hoạt động, khám phá Ví dụ 1: Những hệ giải tốn cho phép bổ sung tri thức trình suy luận (tri thức ban đầu tiên đề số định lý, tri thức bổ sung định lý mới, tri thức heurictis, …), … Cơ sở tri thức Các định nghĩa Các định đề + Động suy diễn Hệ CSTT đóng Suy diễn logic Chứng minh định lý Các tiên đề Đưa định lý chứng minh vào CSTT III Hệ CSTT mở (tt) Ví dụ 2: Hệ chẩn đốn hỏng hóc xe dựa tri thức luật dẫn Tập luật liên quan đến việc chẩn đoán hỏng xe IV Hệ CSTT kết hợp Hệ sở tri thức kết hợp: bao gồm kết hợp hệ đóng hệ mở, hệ kết hợp CSTT CSDL, hệ kết hợp CSTT với CSTT khác, … Những hệ sở tri thức kết hợp thường phát triển mạnh dựa 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; …); hệ chẩn đốn, dự báo địi hỏi tri thức liên ngành; … V Hệ thống mờ (tt) 1.4 Các phép toán tập mờ Cho ba tập mờ A, B , C với m A(x), m B(x),m C(x) C=A Ç B: m C(x) = min(m A(x), m B(x)) C= AÈ B : m C(x) = max(m A(x), m B(x)) C=Ø A : m C(x) = 1- m A(x) V Hệ thống mờ (tt) Các hệ thống mờ 2.1 Hàm thành viên cho biến rời rạc Cho tập vũ trụ E = Tốc độ = { 20,50,80,100 } đơn vị Km/g a Xét tập mờ F = Nhanh xác định hàm membership m nhanh: E > [ 0,1 ] x1 > m nhanh (X) Khi ta gán m nhanh (20) = nghĩa tốc độ 20 Km/g xem không nhanh V Hệ thống mờ (tt) b Xét tập mờ trung_bình với hàm thành viên xác định sau Tập Trung_bình = { 0.3,1,0.5,0 } V Hệ thống mờ (tt) 2.2 Hàm thành viên không gian biến liên tục Chẳng hạn tập mờ Nhanh Trung bình định nghĩa hàm m nhanh (x) = (x/100)2 if x