Natural Language Understanding as First-Order Abduction via Stable Models.
Petr HomolaPublished in: DARe@IJCAI (2015)
Keyphrases
- natural language understanding
- stable models
- logic programming
- abductive reasoning
- knowledge representation
- logic programs
- answer set programs
- loop formulas
- first order logic
- text understanding
- normal logic programs
- answer set programming
- natural language
- horn clauses
- deductive databases
- background knowledge
- fixpoint
- language understanding
- semantic analysis
- natural language processing
- valued logic
- model theoretic
- answer sets
- nonmonotonic reasoning
- reasoning tasks
- stable model semantics
- spoken dialog systems
- dialogue system
- propositional theories
- semantics for logic programs
- inductive logic programming
- knowledge base
- default logic
- description logics
- expert systems
- artificial intelligence
- answer set semantics
- machine learning
- minimal models
- integrity constraints