Thuật giải Robinson

1.Thuật giải Robinson B1: Phát biểu lại giả thiết và kết luận của vấn đề theo dạng chuẩn sau : GT1, GT2, ..., GTn KL1, KL2, ..., KLm Trong đó các GTi và KLi là các mệnh đề được xây dựng từ các biến mệnh đề và 3 phép nối cơ bản : ∧ (dấu... Continue Reading →

Thuật toán Vương Hạo

1.Trình bày thuật toán Vương Hạo. –Bước 1: Phát biểu lại giả thuyết và kết luận của bài toán dưới dạng chuẩn sau:   GT1, GT2, …, GTn ® KL1, KL2, … KLm Trong đó các GTi và KLj được xây dựng từ các biến mệnh đề và các phép toán:  –Bước 2: Chuyển vế... Continue Reading →

Create a website or blog at WordPress.com

Up ↑