Bài thu hoạch: Công nghệ tri thức và ứng dụng
“kinh nghiệm” mà chúng ta cung cấp cho máy tính không giúp chúng ta tìn được
lời giải, chúng ta sẽ thay thế nó bằng những kinh nghiệm khác và lại tiếp tục để
máy tính tìm kiếm lời giải.
Bài toán được phát biểu lại một cách hình thức hơn như sau:
Không mất tính tổng quát, luôn có thể giả sử rằng Vx < Vy.
Gọi lượng nước chứa trong bình X là x [0