Week 4

Question 1

whereas propositional logic assumes the world contains facts, first-order logic (like natural language) assumes the world contains:

Answer 1

1. Objects: people, house
2. Relations: red, round, prime
3. Functions: father of, best friend

Question 2

What is resolution?

Answer 2

resolution is complete for propositional logic Forward, backward chaining are linear-time, complete for Horn clauses

Question 3

semantic primitives in first-order logic?

Answer 3

objects and relations

Question 4

syntax in first-order logic?

Answer 4

1. constants
2. functions
3. predicates
4. equality
5. quantifiers