Logic for Artificial Intelligence
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
- Logic has a sound mathematical basis.
- The PROLOG language is based on logic.
- Those who fail to learn logic are doomed to
The form of logic most commonly used in AI is First-Order Predicate
Calculus ( FOPC or just PC).