Problem solving methods in artificial intelligence