Phương phỏp suy diễn lựi tiến hành cỏc lập luận theo chiều ngược lại (đối với phương phỏp suy diễn tiến). Từ một giả thuyết (như là một kết luận), hệ thống đưa ra một tỡnh huống trả lời gồm cỏc sự kiện là cơ sở của giả thuyết đó cho này.
Vớ dụ nếu ai đú vào nhà mà cầm ỏo mưa và ỏo quần bị ướt thỡ giả thuyết này là trời mưa. Để củng cố giả thuyết này, ta sẽ hỏi người đú xem cú phải trời mưa khụng ? Nếu người đú trả lời cú thỡ giả thuyết trời mưa đỳng và trở thành một sự kiện. Nghĩa là trời mưa nờn phải cầm ỏo mưa và ỏo quần bị ướt.
Suy diễn lựi là cho phộp nhận được giỏ trị của một thuộc tớnh. Đú là cõu trả lời cho cõu hỏi “giỏ trị của thuộc tớnh A là bao nhiờu?” với A là một đớch (goal).
Để xỏc định giỏ trị của A, cần cú cỏc nguồn thụng tin. Những nguồn này cú thể là những cõu hỏi hoặc cú thể là những luật. Căn cứ vào cỏc cõu hỏi, hệ thống nhận được một cỏch trực tiếp từ người sử dụng những giỏ trị của thuộc tớnh liờn quan. Căn cứ vào cỏc luật, hệ thống suy diễn cú thể tỡm ra giỏ trị sẽ là kết luận của một trong số cỏc kết luận cú thể của thuộc tớnh liờn quan, …
í tưởng của thuật toỏn suy diễn lựi như sau. Với mỗi thuộc tớnh đó cho, người ta định nghĩa nguồn của nú:
- Nếu thuộc tớnh xuất hiện như là tiền đề của một luật (phần đầu của luật), thỡ nguồn sẽ thu gọn thành một cõu hỏi.
- Nếu thuộc tớnh xuất hiện như là hậu quả của một luật (phần cuối của luật), thỡ nguồn sẽ là cỏc luật mà trong đú, thuộc tớnh là kết luận.
- Nếu thuộc tớnh là trung gian, xuất hiện đồng thời như là tiền đề và như là kết luận, khi đú nguồn cú thể là cỏc luật, hoặc cú thể là cỏc cõu hỏi mà chưa được nờu ra.
Nếu mỗi lần với cõu hỏi đó cho, người s ử dụng trả l ời hợp lệ, giỏ trị trả lời này sẽ được gỏn cho thu ộc tớnh và xem như thành cụng. Nếu nguồn là cỏc lu ật, hệ thống sẽ lấy lần lượt cỏc luật mà thuộc tớnh đớch xuất hiện như kế t luận, để cú thể
tỡm giỏ trị cỏc thuộc tớnh thuộc tiền đề. Nếu cỏc luật thoó món, thuộc tớnh kết luận sẽ được ghi nhận.