If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."
However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …
Meltzer, Bernard | Michie, Donald
Several workers in recent years have considered using techniques and ideas of various mathematical theories of computation for proving interesting results about computer programs. These predicates may be thought of as expressing the relevant relations between the values of the variables of interest at the given point; in particular, the predicate on the exit point represents the property of the program we wish to prove. In a program scheme we have a set of registers L1, L2,.. L„, a set of function names ft,,f2, -. fp, and a set of test names ti, t2,..