Biểu diễn tri thức bằng logic vị từ và phương pháp xử lý tương ứng

Trình bày cú pháp và những cách tiếp cận khác nhau về ngữ nghĩa của chương trình logic nói chung và datalog nói riêng, đặc biệt là ngữ nghĩa điểm cố định. Trình bày kiến trúc SIMD, MIMD và những nguyên tắc để thiết kế thuật toán song song; phương pháp xử lý bao đóng bắc cầu bằng những thuật toán song song đồ thị và sang song tính toán

Từ khóa: Tin học, biểu diễn tri thức, logic vị từ, thuật toán song song