Thisapproach is called bottom-up re

This
approach is called bottom-up resolution, or forward chaining. The alternative is to begin with the goal and attempt to find a sequence of matching propositions that lead to some set of original facts in the database.

Kết quả (Việt) 1:

Điều nàycách tiếp cận được gọi là độ phân giải dưới lên, hoặc chuyển tiếp loạt. Cách khác là để bắt đầu với mục tiêu và cố gắng để tìm thấy một chuỗi kết hợp đề xuất dẫn đến một số thiết lập của các sự kiện ban đầu trong cơ sở dữ liệu.

Kết quả (Việt) 2:

Điều này
được gọi là phương pháp giải quyết từ dưới lên, hoặc chuyển tiếp chain. Cách khác là để bắt đầu với mục tiêu và cố gắng để tìm thấy một chuỗi các mệnh đề phù hợp dẫn đến một số thiết lập của các sự kiện ban đầu trong cơ sở dữ liệu.