This book aims to look at the semantics of natural languages in context.A primary problem in the area of natural language processing has been that of semantic analysis. Semantic Processing for Finite Domains presents an approach to the computational processing of English text that combines current theories of knowledge representation and reasoning in Artificial Intelligence with the latest linguistic views of lexical semantics.A primary problem in the area of natural language processing has been that of semantic analysis. Semantic Processing for Finite Domains presents an approach to the computational processing of English text that combines current theories of knowledge representation and reasoning in Artificial Intelligence with the latest linguistic views of lexical semantics.A primary problem in the area of natural language processing has been semantic analysis. This book looks at the semantics of natural languages in context. It presents an approach to the computational processing of English text that combines current theories of knowledge representation and reasoning in Artificial Intelligence with the latest linguistic views of lexical semantics. The book will interest postgraduates and researchers in computational linguistics as well as industrial research groups specializing in natural language processing.List of figures; Acknowledgements; 1. Problems in semantic analysis of text; 2. Previous computational approaches to semantic analysis; 3. A domain formalization; 4. Inference-driven mapping; 5. Results of inference-driven semantic analysis; Appendices; References.