Logic and artificial intelligence

The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a methodology for analyzing and comparing deductive inference techniques. Several observations gained from experience with the approach are discussed. Finally, we confront some challenging problems for artificial intelligence and describe what is being done in an attempt to solve them.

# Logic, Reasoning, and Knowledge # Computer Science # AI-based Problem Solving and Planning # Artificial Intelligence Applications

Nils J. Nilsson (1991). "Logic and artificial intelligence". Artificial Intelligence. https://doi.org/10.1016/0004-3702(91)90049-p