AI - First-order logic
Representation revisitedKnowledge representation languages should be declarative, compositional, expressive, context independent, and unambiguous.2. Combining the best of formal and natural langua...