... đóng Các định nghĩa Các định đề Các tiên đềSuy diễn logic+Chứng minh các định lý Cơ sở tri thức Động cơ suy diễn Hệ CSTT đóng Hệ cơ sở tri thức đóng: được xây dựng với một số tri thức lĩnh ... của sự vậtIII. Hệ CSTT mở Hệ cơ sở tri thức mở: là những hệ cơ sở tri thức tiên tiến hơn, nó có khả năng bổ sung tri thức trong quá trình hoạt động, khám phá.Ví dụ 1: Những hệ giải toán cho ... gồm sự kết hợp giữa hệ đóng và hệ mở, hệ kết hợp giữa CSTT và CSDL, hệ kết hợp giữa CSTT này với CSTT khác, … Những hệ cơ sở tri thức kết hợp thường phát tri n mạnh dựa trên tri thức liên ngành.Ví...