Predicate Calculus
= a 📕 Formal Language for expressing meaning through the use of statements that are built from atomic formulas
Questions
- What is the inner structure of atomic sentences?
- How to formalize phrases of quantification? (e.g. “all”)
Notation
Meaning
Pros & Cons
- 👍 easy & well understood
- 👍 flexible, sufficient for most applications
- 👎 representation of belief?
- 👎 discourse resolution