a subfield of computer science that deals with qualitative or symbolic knowledge in solving problems requiring human intelligence
the ability to have machines act with apparent intelligence. can be through symbolic logic or statistical analysis
states that human thinking is a kind of symbol manipulation and that machines can be intelligent