Tham khảo tài liệu 'manual programming experience handbook part 167', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Trên thực tế lúc đầu để giải trường hợp tổng quát của bài toán này người ta đã dùng đến hơn 15 luật kinh nghiệm khác nhau. Tuy nhiên sau này người ta đã rút gọn lại chỉ còn 3 luật như trên. Bạn có thể dễ dàng chuyển đổi cách giải này thành chương trình như sau x 0 y 0 WHILE x z AND y z DO BEGIN IF x Vx THEN x 0 IF y 0 THEN y Vy IF y 0 THEN BEGIN k min Vx - x y x x k y y - k END END Thử chạy chương trình trên với số liệu cụ thể là Vx 3 Vy 4 và z 2 Ban đầu x 0 y 0 Luật L2 - x 0 y 4 Luật L3 - x 3 y 1 Luật L1 - x 0 y 1 Luật L3 - x 1 y 0 Luật L2 - x 1 y 4 Luật L3 - x 3 y 2 3 luật mà chúng ta đã cài đặt trong chương trình ở trên được gọi là cơ sở tri thức. Còn cách thức tìm kiếm lời giải bằng cách duyệt tuần tự từng luật và áp dụng nó được gọi là động cơ suy diễn. Chúng ta sẽ định nghĩa chính xác hai thuật ngữ này ở cuối mục. Người ta đã chứng minh được rằng bài toán đong nước chỉ có lời giải khi số nước cần đong là một bội số của ước số chung lớn nhất của thể tích hai bình. z n USCLN VX VY với n nguyên dương Cách giải quyết vấn đề theo kiểu này khác so với cách giải bằng thuật toán thông thường là chúng ta không đưa ra một trình tự giải quyết vấn đề cụ thể mà chỉ đưa ra các quy tắc chung chung dưới dạng các luật máy tính sẽ dựa vào đó áp dụng các luật để tự xây dựng một quy trình giải quyết vấn đề. Điều này cũng giống như việc chúng ta giải toán bằng cách đưa ra các định lý quy tắc liên quan đến bài toán mà không cần phải chỉ ra cách giải cụ thể. Vậy thì điểm thú vị nằm ở điểm nào Bạn sẽ có thể cảm thấy rằng chúng ta vẫn đang dùng tri thức cứng vì các tri thức vẫn là các câu lệnh IF được cài sẵn trong chương trình . Thực ra thì chương trình của chúng ta đã mềm hơn một tí rồi đấy. Nếu không tin các bạn hãy quan sát phiên bản kế tiếp của chương trình này. FUNCTION DK L INTEGER BOOLEAN BEGIN CASE L OF 1 DK x Vx 2 DK y 0 3 DK y 0 END END PROCEDURE ThiHanh L INTEGER BOOLEAN BEGIN CASE L OF 1 x 0 2 y Vy 3 BEGIN k min Vx-x y x x k y y-k END END END CONST SO_LUAT 3 BEGIN WHILE
