111.
What is an AI 'agent'?

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

116.
An algorithm A is admissible if ___________

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