Natural Language Understanding and Logic Programming, II
Natural Language Understanding and Logic Programming, II

Author: Veronica Dahl

Publisher: North Holland

Published: 1988

Total Pages: 364

ISBN-13:

DOWNLOAD EBOOK

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.

Natural Language Understanding and Logic Programming, III
Natural Language Understanding and Logic Programming, III

Author: Charles Grant Brown

Publisher: North Holland

Published: 1991

Total Pages: 326

ISBN-13: 9780444891495

DOWNLOAD EBOOK

Addressed in this third workshop on natural language understanding and logic programming are a wide variety of issues and some interesting challenges for future work. For temporal expressions, the intriguing question is examined - Can we in fact provide the translation from the HOL system logic to NL and vice versa. Can we now develop NL systems that take advantage of this logic, and particularly, can we extend the system to deal with duration? Also, a strong formal linguistic base for natural language understanding programs is presented, as well as other topics including temporal persistence, natural semantics and logic, and alternative parses.

Logic Grammars
Logic Grammars

Author: Harvey Abramson

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 233

ISBN-13: 1461236401

DOWNLOAD EBOOK

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.

Author:

Publisher: IOS Press

Published:

Total Pages: 7289

ISBN-13:

DOWNLOAD EBOOK

Logic Programming
Logic Programming

Author: I. Balbin

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 370

ISBN-13: 9400950446

DOWNLOAD EBOOK

Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems. Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law, etc. Consequently, many papers related to Logic Programming appear in a wide variety of journals and proceedings of conferences in other disciplines. This is particularly true of Computer Science where a revolution is taking place in hardware design, programming languages, and more recently databases. One cannot overestimate the importance of such a bibliography.