Power-Based Strategy

Some have hoped that powerful theorem-proving methods on fast computers would allow useful reasoning from a set of axioms. Several problems have kept this power-based strategy from succeeding.

• Combinatoric explosion: blind search using even a small axiom set takes excessive time.
• Knowledge representation: few real-world relationships are universally true.
• Lack of inputs: many problems lack some inputs, but require fast action anyway.

Knowledge-Based Strategy

``In the Knowledge Lies the Power''

The knowledge-based strategy is to include within the program a great deal of knowledge to cover particular cases.

The surprising finding:

A thousand rules can provide significant performance within a limited domain.