Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Logic Grammar

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.



Add Comment

No comments.