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.
``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.
Contents    Page-10    Prev    Next    Page+10    Index