Логико-семантические предпосылки исследовательской программы искусственного интеллектастатья