Publisher's Synopsis
This book is concerned with a particular type of architecture for reasoning systems, known as meta-level architectures. The book presents the arguments for such architectures and discusses a number of systems in the literature that provide an explicit meta-level architecture, and these systems are compared on the basis of a number of distinguishing characteristics. This leads to a classification of meta-level architectures and within this classification are compared the different types of architectures, and the argument is put forward that one of these types, called bilingual meta-level inference systems has a number of advantages over the other types.
