Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge.
Arpit SharmaPublished in: CoRR (2019)
Keyphrases
- answer set programming
- commonsense reasoning
- logic programming
- nonmonotonic reasoning
- knowledge representation
- event calculus
- reasoning tasks
- logic programs
- answer sets
- classical logic
- autoepistemic logic
- incomplete information
- answer set programs
- databases
- formal theory
- default theories
- data model
- natural language
- machine learning
- artificial intelligence
- database schema
- description logics
- programming language
- default reasoning
- knowledge base
- stable models
- missing information
- fixpoint
- data mining
- possibility theory
- expressive power
- relational databases
- probabilistic reasoning
- theorem proving
- xml data