8. Bố cục của luận văn
3.2. LUẬT SUY DIỄN NGỮ NGHĨA
Các luật suy diễn thể hiện các tri thức mang tính phổ quát trên các khái niệm và các loại sự kiện khác nhau. Mỗi luật cho ta một quy tắc suy luận để đi đến một sự kiện mới từ những sự kiện nào đó.
- Suy diễn về loại của lớp (type)
IF (c2, subClassOf, c1) AND (x, type, c2) THEN (x, type, c1)
- Suy diễn về thuộc tính của lớp (Property)
IF (p2, subPropertyOf, p1) AND (x, p2, y)
THEN (x, p1, y)
- Suy diễn về lớp con của lớp (subclassOf)
IF (c2, subClassOf, c1) AND (c3, subClassOf, c2) THEN (c3, subClassOf, c1)
- Suy diễn về thuộc tính con của thuộc tính (subPropertyOf)
IF (p2, subPropertyOf, p1) AND (p3, subPropertyOf, p2) THEN (p3, subPropertyOf, p1) - Suy diễn trong miền (domain)
IF (p1, domain, c1) AND (x, p1, y) THEN (x, type, c1)
- Suy diễn trong dãy giới hạn (range)
IF (p1, range, c1) AND (x, p1, y) THEN (y, type, c1)
➢ Một số luật suy diễn trong chương trình:
- Nếu a là lĩnh vực con của b, b là lĩnh vực con của c thì a là lĩnh vực con của c: (a, linhvuccon, b), (b, linhvuccon, c) -> (a, linhvuccon, c)
- Nếu a là lĩnh vực tương đương với b, b là lĩnh vực tương đương với c, thì a là lĩnh vực tương đương với c:
(a, linhvuctuongduong, b), (b,linhvuctuongduong,c) -> (a, linhvuctuongduong, c) - Nếu a là lĩnh vực con của b thì b là lĩnh vực cha của a:
(a, linhvuccon, b) -> (b, linhvuccha, a). - Lĩnh vực liên quan:
Nếu lĩnh vực a liên quan với lĩnh vực b (a, linhvuclienquan, b) hoặc a là lĩnh vực con của b và không quá 3 cấp (a, linhvuclienquan{0,3}, b) thì lĩnh vực a liên quan đến lĩnh vực b (a, linhvuclienquan, b).
- Chuyên gia trong lĩnh vực:
Nhà khoa học a là chuyên gia trong lĩnh vực b (a, chuyengia, b) nếu a có công trình khoa học có lĩnh vực liên quan với b và a có bằng Thạc sỹ trong lĩnh vực cha của b. như vậy trong tùy điều kiện thực tế, có thay đổi số công trình hoặc yêu cầu bằng cấp thấp hoặc cao hơn.
- Tìm phản biện:
Nhà khoa học a có thể phản biện đề tài b (a, phanbiendetai, b) nếu a là chuyên gia trong lĩnh vực của đề tài b và a không tham gia hay hướng dẫn đề tài b.