Định nghĩa Backward Chaining là gì?
Backward Chaining là Chaining lạc hậu. Đây là nghĩa tiếng Việt của thuật ngữ Backward Chaining - một thuật ngữ thuộc nhóm Technology Terms - Công nghệ thông tin.
Độ phổ biến(Factor rating): 5/10
Chuỗi ngược là một phương pháp suy luận sử dụng rộng rãi trong trí tuệ nhân tạo, provers lý tự động và trợ bằng chứng. phương pháp chuỗi ngược có thể được mô tả như sau làm việc kể từ một mục tiêu. Nhiều ngôn ngữ lập trình hỗ trợ chuỗi ngược trong cơ suy luận của họ.
Xem thêm: Thuật ngữ công nghệ A-Z
Giải thích ý nghĩa
Chuỗi ngược được sử dụng trong lập trình logic thông qua tuyến tính độ phân giải khoản nhất định có chọn lọc. Đó là một trong những phương pháp thường được sử dụng nhất của lý luận với các quy tắc can thiệp và ý nghĩa logic. chuỗi ngược làm ngược từ một danh sách các mục tiêu để xác định xem có bất kỳ dữ liệu để hỗ trợ họ. Một động cơ suy luận rằng sử dụng tìm kiếm chuỗi ngược các quy tắc suy luận cho đến khi nó tìm thấy một quy tắc nào có hậu quả phù hợp với mục tiêu mong muốn. Nếu tiền đề của quy định này là không biết đến mức khó tin, các quy tắc được thêm vào danh sách các mục tiêu để dữ liệu có thể được tìm thấy để xác nhận.
What is the Backward Chaining? - Definition
Backward chaining is an inference method widely used in artificial intelligence, automated theorem provers and proof assistants. Backward chaining methodology can be described as working back from a goal. Many programming languages support backward chaining within their inference engines.
Understanding the Backward Chaining
Backward chaining is used in logic programming through selective linear definite clause resolution. It's one of the most commonly used methods of reasoning with interference rules and logical implication. Backward chaining works backwards from a list of goals to determine whether there is any data to support them. An inference engine that uses backward chaining searches the inference rules until it finds a rule with a consequent that matches the desired goal. If the antecedent of this rule is not known to be true, the rule is added to the list of goals so that data can be found to confirm it.
Thuật ngữ liên quan
- Programming Language/System (PL/S)
- Inference Engine
- Artificial Intelligence (AI)
- Meta Refresh
- Directional Attributes
- Web Authoring
- COBOL Fingers
- Instantiate
- Software Metric
- Inaccessible Member
Source: Backward Chaining là gì? Technology Dictionary - Filegi - Techtopedia - Techterm