Thuật toán resolution 1 (robinson) chứng minh định lý dùng cho logic mệnh đề

Help help

help help help help

Vì P là tập hợp thuần tuý của Toán học, thay vì là array trên máy tính. Do đó mỗi bước chọn ở mỗi vòng for sẽ lựa chọn “thông minh” để có thể ra kết quả nhanh, ít bước thực hiện.

Nếu hiện thực trên máy tính thì máy sẽ giải (1C, 2B) trước.

Cách chọn “thông minh” khi thi cuối kì, giải bài tập trên giấy, giống như làm Toán học thông thường: cho hướng dẫn giải, người giải sử dụng 1 số mách để giải nhanh hơn.

Nhưng nếu chọn như thế là chọn do mắt mình nhìn thấy.con trên máy nếu chạy theo giả mã thì phải chọn (1c,2b) chứ nhỉ. Vì thuật toán k có hàm heuristic để chọn kinh nghiệm

Sorry, mình nhầm, phải là (1c,2b).

Thuật toán thì bạn có thể thêm heuristic được. Việc chèn thêm heuristics vào các thuật toán AI là chuyện bình thường.

bạn có thể cho mình xin vài hàm hueristic cho thuật toán trên không , tks

bạn ơi, như bài trên, nếu hợp giải 1c,2b thì sẽ ra
¬a ∨ ¬b ∨ ¬b ∨ d
thì có 2 lần ¬b thì có gì đó sai sai không nhẩy

Giải thuật là mã giả thôi, chi tiết hiện thực tất cả heuristics và giải quyết các vấn đề linh tinh.

Trùng ¬b thì giải quyết trong bước P = P U (…)

Heristic thì có thể thêm 1 điều kiện if bên trong if của mã giả, kết quả có lượng mệnh đề kết quả giảm nhiều thì chọn. Ví dụ (1,2) giảm từ 3 x 3 -> 4, trong khi (1,3) giảm từ 3 x 1 -> 2.
Hay gắn thêm heuristic kết hợp các mệnh đề đơn giản đơn giản trước, ưu tiên a, ¬a, b, ¬b.

Trùng ¬b thì giải quyết trong bước P = P U (…)

có 2 cái thì bỏ đi 1 hả bạn

Heristic thì có thể thêm 1 điều kiện if bên trong if của mã giả, kết quả có lượng mệnh đề kết quả giảm nhiều thì chọn. Ví dụ (1,2) giảm từ 3 x 3 -> 4, trong khi (1,3) giảm từ 3 x 1 -> 2.

nhiều ở đây là nhiều so với số nào bạn nhẩy, giảm có nghĩa là số mệnh đề đơn trong câu mệnh đề mới được sinh ra bé hơn số mệnh đề của 2 câu mệnh đề đã được hợp giải để sinh ra nó à