2) Thiết kế hệ chuyín gia suy diễn lùi :
4.1) Biểu Diễn Tri Thức Lă Gì ?
Biểu diễn tri thức lă câch thể hiện tri thức trong mây dưới dạng sao cho băi tóan có thể được giải tốt nhất. Biểu diễn tri thức trong mây phải :
+ Thể hiện được tất cả câc thông tin cần thiết.
+ Cho phĩp tri thức mới được suy diễn từ tập câc sự kiện vă luật suy diễn. + Cho phĩp biểu diễn câc nguyín lý tổng quât cũng như câc tình huống đặc trưng.
+ Bắt lấy được ý nghĩa ngữ nghĩa phức tạp. + Cho phĩp lý giải ở mức tri thức cao hơn.
Có hai lọai tri thức của băi tóan cần phải được biểu diễn đó lă tri thức mô tả vă tri thức thủ tục.
Tri thức mô tả lă lọai tri thức mô tả những gì được biết về băi tóan. Lọai tri thức năy bao gồm sự kiện, đối tượng, lớp của câc đối tượng vă quan hệ giữa câc đối tượng.
Tri thức thủ tục lă thủ tục tổng quât mô tả câch giải quyết băi tóan. Lọai tri thức năy bao gồm thủ tục tìm kiếm vă luật suy diễn.
Có ba phương phâp biểu diễn tri thức mô tả cơ bản đó lă phương phâp biểu diễn tri thức nhờ logic vị từ, phương phâp biểu diễn tri thức nhờ mạng ngữ nghĩa vă phương phâp biểu diễn tri thức bằng khung.
Phương phâp biểu diễn tri thức nhờ logic vị từ đó lă lớp biểu diễn sử dụng câc biểu thức logic để biểu diễn cơ sở tri thức. Luật suy diễn vă thủ tục chứng minh lý giải tri thức năy trín cơ sở logic với câc yíu cầu băi tóan đặt ra. Tuy nhiín, đó chỉ lă một thănh phần của biểu diễn logic được trang bị cho công việc ý tưởng lập trình của ngôn ngữ lập trình Prolog.
Phương phâp biểu diễn tri thức nhờ mạng ngữ nghĩa đó lă dùng mạng để biểu diễn tri thức như lă một cấu trúc dữ liệu, trong đó mối quan hệ giữa câc đối tượng được thiết lập thông qua mạng biểu diễn tri thức.
Phương phâp biểu diễn tri thức nhờ frame còn được gọi lă ngôn ngữ biểu diễn cấu trúc đó lă sự mở rộng của mạng, trong đó mỗi nút của mạng lă một cấu trúc dữ liệu chứa câc slot với câc giâ trị của chúng được kỉm theo vă câc thủ tục giải quyết vấn đề thực hiện trín câc tâc vụ frame năy.