Generic Techniques Developed:
In the pursuit of solutions to many problems in the above categories, serval specific techniques have sprung up which have been shown to be helpful for solving a range of problems (generally within the general problem category). These techniques are established sufficient now to have a name and provide at least a partial characterization of Artificial Intelligence. The following list is not intended to be complete, but rather to introduce some mechanism you will learn later in the course. Note that some of these overlap with the general techniques above.
1) Forward/backward chaining (reasoning)
2) Resolution theorem proving (reasoning)
3) Alpha-Beta pruning (games)
4)Case-based reasoning (expert systems)
5)Knowledge elicitation (expert systems)
6)Neural networks (learning)
7)Bayesian methods (learning)
8)Proof planning (reasoning)
9)Constraint satisfaction (reasoning)
10)Case-based reasoning (expert systems)
11)Davis-Putnam method (reasoning)
12)Alpha-Beta pruning (games)
13)Knowledge elicitation (expert systems)
14)Minim ax search (games)
'15)Neural networks (learning)
16)Bayesian methods (learning)
17) Explanation based (learning)
18) Reinforcement (learning)
19) Genetic programming (learning)
20) Strips (planning)
21) N-grams (NLP)
22) Parsing (NLP)
23) Behavior based (robotics)
24) Cell decomposition (robotics)
25) Genetic algorithms (learning)