Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency. This book is intended for those interested in logic programming, artificial intelligence, computational linguistics, Fifth Generation computing, formal languages and compiling techniques. It may be read profitably by upper-level undergraduates, post-graduate students, and active researchers on the above-named areas. Some familiarity with Prolog and logic programming would be helpful; the authors, however, briefly describe Prolog and its relation to logic grammars. After reading Logic Grammars, the reader will be able to cope with the ever-increasing literature of this new and exciting field.
Natural language semantics and pragmatics are now two major fields in linguistics, philosophy, artificial intelligence and computational linguistics. With the development of large and efficient Prolog interpreters and compilers and with the expansion of the theoretical aspects of logic programming, the study of natural language semantics and related pragmatic aspects is now becoming a very attractive topic. The proceedings of this workshop reflect these trends. The papers cover almost all the current research fields in natural language, including: morphology, syntax, parser design, generation, feature checking and specification, semantic representations and construction of cooperative responses. Articles on syntax deal with constraints to parsing and generation, rule pruning and comparison of logic-based language systems. The material on the compilers involves functional logic grammars and unification-based grammars. The work on semantics investigates logico-semantic induction, data semantics, comparatives, conceptual graphs, discourse representation, and graphs. Papers on pragmatics discuss disambiguation, cooperation with the user through integrity constraints, and question interpretation through epistemic reasoning. Panel discussions are centered around future directions of research as well as comparisons between different points of view about actual research projects.
This book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003. The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.