Artificial intelligence uses algorithms and knowledge representation to solve problems in a manner inspired by human intelligence. Knowledge representation involves using formal symbolic logic and structures like semantic networks and frames to represent knowledge. Different representation techniques exist for propositions, predicates, rules and nonmonotonic reasoning. Challenges for AI include acquiring knowledge autonomously, representing human experiences, and fully transferring human knowledge through communication.