In Artifical Intelligence, do you feel that search methods that you covered before the at the beginining of the book are relevant to the material you covered (Breadth-first search, Uniform-cost search, Depth-first search, Depth-limited search, Iterative deepening depth-first search, and Bidirectional search) ? Please explain why and how. Specifically, describe how search methods would be used for rule-based systems, expert systems, resolutions, theorem proving, etc.