Tham khảo tài liệu 'manual programming experience handbook part 168', 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ả | Để làm được điều trên. Chúng ta cần phải liệt kê được các trạng thái và thao tác cơ bản của bài toán này. Sau đây là một số trạng thái và thao tác cơ bản. o Trạng thái cơ bản Bình X đầy Bình X rỗng Bình X không rỗng Bình X có n lít nước. Ö Thao tác Đổ hết nước trong bình Đổ đầy nước trong bình Đổ nước từ bình A sang bình B cho đến khi B đầy hoặc A rỗng. Lưu ý rằng ta không thể có thao tác Đổ n lít nước từ A sang B vì bài toán đã giả định rằng các bình đều không có vạch chia hơn nữa nếu ta biết cách đổ n lít nước từ A sang B thì lời giải bài toán trở thành quá đơn giản. Múc đầy X Đổ z lít nước từ X sang Y Vì đây là một bài toán đơn giản nên bạn có thể dễ nhận thấy rằng các trạng thái cơ bản và thao tác chẳng có gì khác so với các điều kiện mà chúng ta đã đưa ra. Kế tiếp ta sẽ viết các đoạn chương trình cho phép người dùng nhập vào các luật dạng nếu . thì . được hình thành từ các trạng thái và điều kiện cơ bản này đồng thời tiến hành chuyển sang dạng máy tính có thể xử lý được như ở ví dụ trên. Chúng ta sẽ không bàn đến việc cài đặt các đoạn chương trình giao tiếp với người dùng ở đây. Như vậy so với chương trình truyền thống được cấu tạo từ hai chất liệu cơ bản là dữ liệu và thuật toán chương trình trí tuệ nhân tạo được cấu tạo từ hai thành phần là cơ sở tri thức knowledge base và động cơ suy diễn inference engine . o Cơ sở tri thức là tập hợp các tri thức liên quan đến vấn đề mà chương trình quan tâm giải quyết. o Động cơ suy diễn là phương pháp vận dụng tri thức trong cơ sở tri thức để giải quyết vấn đề. Nếu xét theo quan niệm biểu diễn tri thức mà ta vừa bàn luận ở trên thì cơ sở tri thức chỉ là một dạng dữ liệu đặc biệt và động cơ suy diễn cũng chỉ là một dạng của thuật toán đặc biệt mà thôi. Tuy vậy có thể nói rằng cơ sở tri thức và động cơ suy diễn là một bước tiến hóa mới của dữ liệu và thuật toán của chương trình Bạn có thể hình dung động cơ suy diễn giống như một loại động cơ tổng quát được chuẩn hóa có thể dùng để vận hành nhiều loại xe máy khác nhau và cơ
