回去看看,这是项目网站的要求:
Applicants should possess solid basic knowledge of at least the following two topics:
logic as used in artificial intelligence, in particular, propositional and predicate logic;
programming languages as used in AI, in particular logic, imperative and/or object-oriented languages, and skills to develop and analyze programs in these languages.