representing knowledge in symbolic form and devising computational procedures to reason with it effectively. A graduate-level textbook on this area of research is by Brachman and Levesque [1). The state of the art in this research area is reviewed in a (quite advanced) technical handbook [4]. Finally, although this book concentrates on small knowledge bases, the CYC project 17) is an example of a project whose goal is to build a large knowledge base along the lines discussed here. xercise Consider the procedure PROCX in figure 1.7. It assumes there are other procedures elsewhere that will do some arithmetic (subtraction, multiplication, and less-than comparisons). It also assumes that one can concatenate strings of digits: x'y means the string consisting of the digits in x followed by those in y. It works by repeatedly setting new values to u, v, bot, top, and side as the digits of the input are worked through in pairs from left to right. Figure out what the procedure PROCX is doing. Hint: Trace its behavior when the input is 137641. representing knowledge in symbolic form and devising computational procedures to reason with it effectively. A graduate-level textbook on this area of research is by Brachman and Levesque [1). The state of the art in this research area is reviewed in a (quite advanced) technical handbook [4]. Finally, although this book concentrates on small knowledge bases, the CYC project 17) is an example of a project whose goal is to build a large knowledge base along the lines discussed here. xercise Consider the procedure PROCX in figure 1.7. It assumes there are other procedures elsewhere that will do some arithmetic (subtraction, multiplication, and less-than comparisons). It also assumes that one can concatenate strings of digits: x'y means the string consisting of the digits in x followed by those in y. It works by repeatedly setting new values to u, v, bot, top, and side as the digits of the input are worked through in pairs from left to right. Figure out what the procedure PROCX is doing. Hint: Trace its behavior when the input is 137641