11.
What is an AI 'agent'?

12.
A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

16.
An algorithm A is admissible if ___________

18.
Though local search algorithms are not systematic, key advantages would include __________