Hệ thống thông tin truyền thống

Một phần của tài liệu Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả (Trang 67 - 68)

Một trong những công cụ khá hữu hiệu để biểu diễn tri thức dưới dạng bảng dữ liệu là sử dụng hệ thống thông tin. Một hệ thống thông tin thường dùng để mô tả một tập hữu hạn, khác rỗng các đối tượng U (được gọi là tập vũ trụ các đối tượng) thông qua tập hữu hạn các thuộc tính A khác rỗng (được gọi là tập thuộc tính) [46], [48]. Các đối tượng được phân loại thông qua tập thuộc tínhA. Giả sửVa là tập các giá trị của thuộc tính a ∈ A, lúc đó Va được gọi là miền giá trị của thuộc tính a. ρ là một hàm thông tin từ U ×A vào V (V = S

a∈A

Va) sao cho ρ(u, a) ∈ Va với mọi u ∈ U và

a ∈ A. Điều này có nghĩa là hàm ρ được sử dụng để mô tả các đối tượng thông qua tập các giá trị thuộc tính của nó. Một cách hình thức, hệ thống thông tin được định nghĩa như sau [46]:

Định nghĩa 3.1. Hệ thống thông tin là một bộ IS =hU, A, V, ρi, trong đó:

• U là một tập hữu hạn, khác rỗng các đối tượng, được gọi là tập vũ trụ các đối tượng,

• A là một tập hữu hạn, khác rỗng, được gọi là tập thuộc tính, • V = S

a∈A

Va, trong đó Va là tập khác rỗng các giá trị của thuộc tính a∈A vàVa

được gọi là miền giá trị của a,

• ρ : U ×A → V là một hàm thông tin, sao cho ρ(u, a) ∈ Va với mọi u ∈ U và

a∈A.

Ví dụ 3.1. Xét hệ thống thông tin đặc tả về các ấn phẩm khoa họcIS =hU, A, V, ρi được xác định như sau:

U ={u1, u2, u3, u4, u5, u6}, A={Kind, Year, Awarded}, V =VKind ∪VYear ∪VAwarded,

Hàm ρ trong ví dụ này được xác định thông qua bảng sau: H H H H H H HH U A

Kind Year Awarded

u1 book 2010 true

u2 book 2009 false

u3 book 2008 false

u4 article 2007 true

u5 article 2006 false

u6 conf. paper 2006 true

Các hệ thống thông tin truyền thống được định nghĩa như các bảng dữ liệu về các giá trị của các thuộc tính. Mỗi hàng của bảng dữ liệu biểu diễn một đối tượng và mỗi cột biểu diễn một thuộc tính. Như vậy, các đối tượng chỉ được đặc tả thông qua các thuộc tính.

Một phần của tài liệu Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả (Trang 67 - 68)

Tải bản đầy đủ (PDF)

(121 trang)