Across
- 5. best first search
- 6. a declarative statement which is either true or false
- 8. anything that makes decisions
- 10. the central component of KBA
- 11. Trying to our own thoughts
- 14. how long it takes to find a solution
- 15. used when incomplete inaccurate input
- 16. deriving new sentences from old
- 17. the quantifier under which the statement is true for everything
- 18. theorem proving by contradiction
Down
- 1. forward and backward search at the same time
- 2. from initial state goes deeper and deeper until goal state
- 3. its also called blind search
- 4. finding substitutions to make different logical statements look identical
- 7. how much memory needed to perform
- 9. logical connector for "and"
- 12. p->q
- 13. Algorithm guaranteed to find a solution