Advanced logic programming for language processing

著者

• Saint-Dizier, Patrick

書誌事項

Advanced logic programming for language processing

Patrick Saint-Dizier

Academic Press, 1994

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

• 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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA22470249
• ISBN:
  • 0126148600
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: ix, 286 p.
• 大きさ: 24 cm