Model Generation for Natural Language Interpretation and Analysis
Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing. Natural language processing has become a topi
- PDF / 1,640,702 Bytes
- 176 Pages / 430 x 660 pts Page_size
- 48 Downloads / 190 Views
Subseries of Lecture Notes in Computer Science
2953
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Karsten Konrad
Model Generation for Natural Language Interpretation and Analysis
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Author Karsten Konrad XtraMind Technologies GmbH Stuhlsatzenhausweg 3, 66123 Saarbr¨ucken, Germany E-mail: [email protected]
Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at .
CR Subject Classification (1998): I.2.7, I.2, F.4.1, I.7, J.5 ISSN 0302-9743 ISBN 3-540-21069-5 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by Olgun Computergrafik Printed on acid-free paper SPIN: 10988374 06/3142 543210
Foreword
This monograph is a revised version of Karsten Konrad’s doctoral dissertation. It focuses on a topic of rapidly increasing importance in computer science: the development of inference tools tailored to applications in Natural Language Processing. Technology in mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of attractive systems for applications in mathematical deduction and knowledge processing. Natural Language Processing has become a theme of outstanding relevance in information technology, mainly due to the explosive growth of the World-Wide Web, where by far the largest part of the information is encoded in natural language documents. The book appears at a pivotal moment, when much attention is being paid to the task of adding a semantic layer to the Web, and representation and processing of NL-based semantic information pops up as the primary requirement for further technological progress. Konrad’s book argues for the Model generation paradigm as a framework, which supports specific tasks of natural language interpretation and NL-based inference in a natural way. It presents extensions in several respects: restricted techniques of model generatio
Data Loading...
