TAILIEUCHUNG - Thuật Toán Và Thuật Giải 16

Ví dụ : { p Ú Ø q , Ø r Ú s Ú q , w Ú r, s Ú q } Þ { p Ú Ø r Ú s , w Ú r, s Ú q } B7 : Nếu không xây dựng được thêm một mệnh đề mới nào và trong danh sách mệnh đề không có 2 mệnh đề nào đối ngẫu nhau thì vấn đề không được chứng minh. | Ví dụ p Ú Q q Q r Ú s Ú q w Ú r s Ú q h p Ú Q r Ú s w Ú r s Ú q B7 Nếu không xây dựng được thêm một mệnh đề mới nào và trong danh sách mệnh đề không có 2 mệnh đề nào đối ngẫu nhau thì vấn đề không được chứng minh. Ví dụ Chứng minh rằng Q p Ú q Q q Ú r Q r Ú s Q u Ú Q s Q p Q u B3 0 p Ú q Q q Ú r Q r Ú s Q u Ú Q s p u B4 Có tất cả 6 mệnh đề nhưng chưa có mệnh đề nào đối ngẫu nhau. B5 t tuyển một cặp mệnh đề chọn hai mệnh đề có biến đối ngẫu . Chọn hai mệnh đề đầu 0 p Ú q Ú Q q Ú r h Q p Ú r Danh sách mệnh đề thành Q p Ú r Q r Ú s Q u Ú Q s p u Vẫn chưa có mệnh đề đối ngẫu. Tuyển hai cặp mệnh đề đầu tiên Q p Ú r Ú Q r Ú s h Q p Ú s Danh sách mệnh đề thành Q p Ú s Q u Ú Q s p u Vẫn chưa có hai mệnh đề đối ngẫu Tuyển hai cặp mệnh đề đầu tiên Q p Ú s ÚQ u Ú Q s h Q p Ú Q u Danh sách mệnh đề thành Q p Ú Q u p u Vẫn chưa có hai mệnh đề đối ngẫu Tuyển hai cặp mệnh đề 0 p Ú 0 u Ú u h 0 p Danh sách mệnh đề trở thành 0 p p Có hai mệnh đề đối ngẫu nên biểu thức ban đầu đã được chứng minh. VIII. BIỂU DIỄN TRI THỨC SỬ DỤNG LUẬT DẪN XUẤT LUẬT SINH . Khái niệm Phương pháp biểu diễn tri thức bằng luật sinh được phát minh bởi Newell và Simon trong lúc hai ông đang cố gắng xây dựng một hệ giải bài toán tổng quát. Đây là một kiểu biểu diễn tri thức có cấu trúc. Ý tưởng cơ bản là tri thức có thể được cấu trúc bằng một cặp điều kiện - hành động NÊU điều kiện xảy ra THÌ hành động sẽ được thi hành . Chẳng hạn NÊU đèn giao thông là đỏ THÌ bạn không được đi thẳng NÊU máy tính đã mở mà không khởi động được THÌ kiểm tra nguồn điện . Ngày nay các luật sinh đã trở nên phổ biến và được áp dụng rộng rãi trong nhiều hệ thống trí tuệ nhân tạo khác nhau. Luật sinh có thể là một công cụ mô tả để giải quyết các vấn đề thực tế thay cho các kiểu phân tích vấn đề truyền thống. Trong trường hợp này các luật được dùng như là những chỉ dẫn tuy có thể không hoàn chỉnh nhưng rất hữu ích để trợ giúp cho các quyết định trong quá trình tìm kiếm từ đó làm giảm không gian tìm kiếm. Một ví dụ khác là luật .

• Kỹ thuật lập trình
• máy tính
• mạng máy tính
• internet
• phần mềm
• ứng dụng
• lập trình
• dữ liệu
• SQL
• PHP
• AutoIT
• Phần cứng máy tính
• lắp ráp máy tính
• sửa chữa máy tính
• lỗi máy tính
• hệ thống mạch máy tính
• điện máy tính
• Tài liệu máy tính