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