bộ môn nghiên cứu phương pháp luận và những kĩ thuật cho phép thiết kế, xây dựng và thử nghiệm các hệ thống máy và chương trình có khả năng thực hiện một số quá trình mô phỏng trí tuệ của con người.