Using first-order logic to represent meaning creates the problem of monotonicity. The set of entailed sentences will only increase as information is added to the knowledge base, but this runs the risk of violating a common property of human reasoning—the freedom and flexibility to change one’s mind.
Solutions (with their own problems):
- Default logic
- Linear logic
- ↑ Cambria, Erik, and Bebo White. "Jumping NLP curves: A review of natural language processing research." IEEE Computational Intelligence Magazine 9.2 (2014): 48-57.