Catalogue of Artificial Intelligence Techniques
Keywords: Horn clauses, parsing
Categories: Natural Language
Author(s): John Beavan
The use of Logic Programming for natural language processing. The approach views parsing as Theorem Proving in a logic in which the lexicon and the grammar are interpreted as axioms and deduction rules. Prolog can easily be used as a parser if the grammar rules are written as Horn clauses. However, it is generally acknowledged that First-order Logic is not powerful enough for natural language applications, and many extensions have been recently proposed to overcome these deficiencies.
- Dahl, V. and Saint-Dizier, P., eds., Natural Language Understanding and Logic Programming, II
, Elsevier North-Holland Science Publications, Amsterdam, 1988.