Professional Documents
Culture Documents
DLV là một hệ thống biểu diễn tri thức và suy diễn được xây dựng bởi một nhóm nghiên
cứu người Ý và Áo (thuộc trường Đại học Calabria và trường Đại học Công nghệ Vienna). Địa
chỉ trang Web của hệ thống DLV là:
www.dlvsystem.com
Phiên bản đầu tiên của hệ thống DLV ra đời vào năm 1997 và đã được cải tiến đáng kể
trong những năm vừa qua: tăng khả năng ngôn ngữ, kết hợp các tính năng mới và các kỹ thuật tối
ưu có liên quan vào tất cả các module của hệ thống.
Hệ thống DLV được cài đặt trên các hệ điều hành (HĐH) Unix/Linux hoặc Windows.
Đường link của hệ thống DLV:
http://www.dlvsystem.com/dlv
Sau đây là kiến trúc tổng quát của hệ thống DLV.
trong đó tên_file_1 chứa các sự kiện và tên_file_2 chứa các quy tắc suy diễn.
3.4. Cài đặt và thực thi một số bài toán bằng hệ thống DLV
Phần này sẽ cài đặt một số ví dụ và thực thi bằng hệ thống DLV.
Bài toán 1: Xem cơ sở tri thức để mô tả các quan hệ anh/em (sibling), chú/bác (cousin), họ hàng
(related), gồm các quy tắc và các sự kiện sau đây:
r1:sibling(X, Y) parent(X, Z) parent(Y, Z) X Y
r2:cousin(X, Y) parent(X, Xp) parent(Y, Yp) sibling(Xp, Yp)
r3:cousin(X, Y) parent(X, Xp) parent(Y, Yp) cousin(Xp, Yp)
r4:related(X, Y) sibling(X, Y)
r5:related(X, Y) related(X, Z) parent(Y, Z)
r6:related(X, Y) related(Z, Y) parent(X, Z)
parent (c, a) parent (d, a) parent (d, b) parent (e, b) parent (f, c)
parent (g, c) parent (h, d) parent (i, e) parent (f, e), parent (j, f)
parent (j, h) parent (k, g) parent (k, i)}