Mathematical logic is an important area of AI:

• Logic is one of the major knowledge representation and reasoning methods.

• Logic serves as a standard of comparison for other representation and reasoning methods.

• Logic has a sound mathematical basis.

• The PROLOG language is based on logic.

• Those who fail to learn logic are doomed to reinvent it.

The form of logic most commonly used in AI is First-Order Predicate Calculus ( FOPC or just PC).

Contents    Page-10    Prev    Next    Page+10    Index