TAILIEUCHUNG - Thuật Toán Và Thuật Giải 13

Gọi lượng nước chứa trong bình Y là y | Gọi lượng nước chứa trong bình Y là y 0 y VY Như vậy điều kiện kết thúc của bài toán sẽ là x z hoặc y z Điều kiện đầu của bài toán là x 0 và y 0 Quá trình giải được thực hiện bằng cách xét lần lượt các luật sau luật nào thỏa mãn thì sẽ được áp dụng. Lúc này các luật chính là các kinh nghiệm hay tri thức mà ta đã chuyển giao cho máy tính. Sau khi áp dụng luật trạng thái của bài toán sẽ thay đổi ta lại tiếp tục xét các luật kế tiếp nếu hết luật quay trở lại luật đầu tiên. Quá trình tiếp diễn cho đến khi đạt được điều kiện kết thúc của bài toán. Ba luật này được mô tả như sau L1 Nếu bình Xđầy thì đổ hết nước trong bình X đi. L2 Nếu bình Y rỗng thì đổ đầy nước vào bình Y. L3 Nếu bình X không đầy và bình Y không rỗng thì hãy trút nước t bình Y sang bình X cho đến khi bình X đầy hoặc bình Y hết nước . 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

• Kỹ thuật lập trình
• máy tính
• mạng máy tính
• internet
• phần mềm
• ứng dụng
• lập trình
• dữ liệu
• SQL
• PHP
• AutoIT
• Phần cứng máy tính
• lắp ráp máy tính
• sửa chữa máy tính
• lỗi máy tính
• hệ thống mạch máy tính
• điện máy tính
• Tài liệu máy tính