a subfield of computer science that deals with qualitative or symbolic knowledge in solving problems requiring human intelligence
a subfield of computer science concerned with symbolic reasoning and problem solving. behavior by a machine that would be considered intelligent
states that human thinking is a kind of symbol manipulation and that machines can be intelligent