A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation.
Mark E. StickelPublished in: Ann. Math. Artif. Intell. (1991)
Keyphrases
- minimum cost
- natural language
- logic programming
- semantic interpretation
- np hard
- knowledge representation
- approximation algorithms
- network flow problem
- spanning tree
- network flow
- constraint logic programming
- capacity constraints
- network simplex algorithm
- minimum cost flow
- natural language understanding
- programming language
- background knowledge
- minimum cost path
- optimal solution
- linear programming
- search space
- abductive reasoning
- expert systems