Advanced Logic Programming for Computational Linguistics

Advanced Logic Programming for Computational Linguistics

List price: US$79.01

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

This text covers the main advanced features of the Logic Programming framework in terms of techniques, methods and formalisms, and discusses its importance for natural language processing. It also examines computational linguistics on a more general level.
show more

Product details

  • Hardback | 304 pages
  • 158 x 230 x 24mm | 563g
  • Academic Press Inc
  • San Diego, United States
  • English
  • references
  • 0126148600
  • 9780126148602

Table of contents

Formal Aspects of Programming in Logic; First-Order Logic, Clausal Forms and Horn Clauses, Domains of Interpretation, Substitution and Unification, Fix Point Semantics, Declarative Procedural Semanitcs of Prolog, SLD-Resolution, SLD-Resolution in Prolog, Meaning of a Programme, Negation in Logic Programmes. Processing Language with Definite Clause Grammars; An Introduction to Definite Clause Grammars, Definite Clause Grammars with Restrictions, Structure Building in DCGs, Interpreters and Compilers for DCGs, Bottom-Up Parsing, Generating with DCGs, Conclusion. Logic-Based Grammars; Metamorphosis Grammars, Extraposition Grammars, Restriction Grammars, Gapping Grammars, Discontinuous Grammars and Dislog, Other Logic-Based Formalisms and Perspectives. Feature Systems in Logic Programming; Introduction to Unification Grammars, A Basic Feature System in Prolog, Feature Structures as Types, Inheritance in Feature-Based Systems, Conclusion. Constraint Logic Programming for Language Processing; Constraint Logic Programming for Natural Language Processing, Boolean Constraints. Constraints on Finite Domains, Other Types of Constraints for Language Processing, Conclusion. Parallel Logic Programming for Language Processing; Introduction to Parallel Logic Programming, An Introduction to Parlog. Towards more Complex Natural Language Systems, Conclusion. Object-Oriented Logic Programming for Natural Language Processing; An Introduction to Object-Oriented Programming, Object-Oriented Logic Programming and Concurrency, Parsing in Parlog++, Machine Translation within OOPLP, Conclusion. High-Order Logic Programming for Language Processing; An Introduction to lambda-Prolog, Parsing in lambda-Prolog, Conclusion.
show more