MỞ ĐẦU
Trong nhiều thập kỷ qua, logic mô tả và chương trình logic được nhiều nhà
khoa học quan tâm nghiên cứu và đã có nhiều ứng dụng trong thực tế. Logic mô
tả là họ ngôn ngữ biểu diễn tri thức của một miền ứng dụng theo một cách có
cấu trúc. Tuy nhiên, logic mô tả và chương trình logic vẫn cò[r]