Comparing propositional and first-order logic in AI
The purpose of this paper is to explain the concept of Knowledge Representation and its importance in Artificial Intelligence.