the use of algorithms and logic to

the use of algorithms and logic to discover new facts and draws inferences is only one kind of reasoning. A second kind, in formal reasoning, comes into play in situations where we are trying to assess the believability of a conclusion based on the evidence available to support it.

Results (Vietnamese) 1:

việc sử dụng các thuật toán và logic để khám phá mới sự kiện và rút ra kết luận là chỉ có một loại lý do. Một loại thứ hai, trong lý do chính thức, đi vào chơi trong trường hợp mà chúng tôi đang cố gắng để đánh giá believability của một kết luận dựa trên các bằng chứng sẵn để hỗ trợ nó.

Results (Vietnamese) 2:

việc sử dụng các thuật toán và logic để khám phá sự thật và rút ra kết luận mới chỉ là một loại lý luận. Một loại thứ hai, trong lý luận chính thức, đến chơi trong tình huống mà chúng tôi đang cố gắng để đánh giá believability của một kết luận dựa trên các bằng chứng sẵn có để hỗ trợ nó.