Logic

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 forms of logic most commonly used are propositional calculus and first-order predicate calculus ( FOPC).