Trí tuệ nhân tạo (Artificial Intelligence) có thể được định nghĩa như một ngành của khoa học máy tính liên quan đến việc tự động hoá các hành vi thông minh. AI là một bộ phận của khoa học máy tính và do đó nó phải được đặt trên những nguyên lý lý thuyết vững chắc, có khả năng ứng dụng được của lĩnh vực này. Những nguyên lý này bao gồm các cấu trúc dữ liệu dùng cho biểu diễn tri thức, các thuật toán cần thiết để áp dụng những tri thức đó, cùng các ngôn ngữ và kĩ thuật lập trình dùng cho việc cài đặt chúng.

Chúng ta đã biết rằng, với một cơ sở tri thức gồm các câu trong logic vị từ cấp một, ta có thể chứng minh được một công thức có là hệ quả logic của cơ sở tri thức hay không, bằng phương pháp chứng minh bác bỏ và thủ tục giải. Tuy nhiên, thủ tục chứng minh tổng quát này có độ phức tạp lớn và đòi hỏi chiến lược giải thích hợp. Chính vì lý do này mà các nhà nghiên cứu cố gắng tìm các tập con của logic vị từ cấp một, sao cho chúng đủ khả năng biểu diễn cơ sở tri thức trong nhiều lĩnh vực áp dụng, và có thể đưa ra các thủ tục suy diễn hiệu quả. Các tập con này của logic vị từ cấp một sẽ xác định các ngôn ngữ biểu diễn tri thức đặc biệt. Trong chương này chúng ta sẽ nghiên cứu ngôn ngữ chỉ bao gồm các câu Horn (các luật nếu - thì). Chỉ sử dụng các luật nếu - thì chúng ta không thể biểu diễn được mọi điều mà chúng ta có thể biểu diễn được trong logic vị từ cấp một. Tuy nhiên với các luật nếu - thì ta có thể biểu diễn được một khối lượng lớn tri thức trong nhiều lĩnh vực áp dụng khác nhau, và có thể thực hiện các thủ tục suy diễn hiệu quả.

Kết cấu bao gồm:

1. BIỂU DIỄN TRI THỨC BỞI CÁC LUẬT NẾU – THÌ

2. LẬP LUẬN TIẾN VÀ LẬP LUẬN LÙI TRONG CÁC HỆ DỰA TRÊN LUẬT

3. THỦ TỤC LẬP LUẬN TIẾN

4. THỦ TỤC LẬP LUẬN LÙI

5. BIỂU DIỄN TRI THỨC KHÔNG CHẮC CHẮN

6. HỆ LẬP TRÌNH LOGIC

7. HỆ CHUYÊN GIA