• Symbolic Reasoning: reasoning about objects represented by symbols, and their properties and relationships, not just numerical calculations.

• Knowledge: General principles are stored in the program and used for reasoning about novel situations.

• Search: a ``weak method'' for finding a solution to a problem when no direct method exists. Problem: combinatoric explosion of possibilities.

• Flexible Control: Direction of processing can be changed by changing facts in the environment.

Contents    Page-10    Prev    Next    Page+10    Index