Chứng minh bộ luật kết hợp là vừa đủ

Một phần của tài liệu Tài liệu Luận văn Hệ quản lý và tra cứu cách xưng hô trong gia phả trên Web docx (Trang 62 - 65)

Với tập cung quan hệ ban đầu nếu số ta tạo ra bộ luật kết hợp bằng cách kêt hợp 2 cung bất kỳ mà không chọn lọc thì số lượng luật kết hợp tạo ra là rất lớn. Tuy nhiên do module suy diễn trước khi gọi luật kết hợp đã giảm thiểu số lượng cung quan hệ ban đầu rất nhiều nên số lượng luật kết giảm thiểu đáng kể. Mặc dù từ 1 cá thể có thể tìm được nhiều đường đi đến cá thể còn lại nhưng module suy diễn luôn lấy đường đi ngắn nhất (đi lên thông qua cha và từ cha cùng cấp đi đến cá thề kia). Do đó ta chỉ cần lưu những luật kết hợp cung quan hệ cần thiết mà thôi:

Những luật kết hợp giữa 1 cung trưởng gia đình với cung “cha” (“cha”, “ong”, “cố”, “cụ”...).

Những luật kết hợp giữa 1 cung bất kỳ với 1 cung cùng cấp (“anh”, “chị”, “em”, “chồng”, “chị dâu”, “em rể”...)

Module suy diễn không bao giờ gọi những luật không thuộc vào 2 dạng trên nên bộ luật. Vì vậy bộ luật kết hợp đưa ra ban đầu là vừa đủ để có thể suy ra mối quan hệ

giữa 2 cá thể bất kỳ trên cây gia phả.

Ví dụ:Giả sử có cây gia phả như sau

+Cần tìm cách xưng hô giữa TC2với GB2

Module suy diễn duyệt trên cây sẽ được đường đi là : TC2->TB1->GB2

Chuỗi quan hệ tìm được là : “cha”,”em gai”

Kết quả sau khi kết hợp là “cha”+”em gai”= “cô”

+Cần tìm cách xưng hô giữa TC1với VA2

Module suy diễn duyệt trên cây sẽ được đường đi là : TC2->TB1->A->VA2

Chuỗi quan hệ tìm được là : “cha”,”cha”,”vo” Các bước kết hợp :

“cha”+”cha” = “ong” “ong”+ “vo” = “ba”

Kết quả sau khi kết hợp là : “ba”

A VA1 VA2

TB1 VB1 GB2 CB3 CB4

Một phần của tài liệu Tài liệu Luận văn Hệ quản lý và tra cứu cách xưng hô trong gia phả trên Web docx (Trang 62 - 65)

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

(101 trang)