Textual Inference: getting logic from humans.
Aikaterini-Lida KalouliLivy RealValeria de PaivaPublished in: IWCS(2) (2017)
Keyphrases
- logical inference
- inference mechanism
- abductive reasoning
- deductive reasoning
- multi valued
- inference process
- natural language
- nonmonotonic inference
- human behavior
- multimedia
- classical logic
- logic programming
- bayesian networks
- probabilistic inference
- human subjects
- modal logic
- keywords
- predicate logic
- proof theory
- truth maintenance systems
- metadata
- closed world assumptions
- body movements
- bayesian model
- textual information
- inference engine
- theorem proving
- bayesian inference
- belief networks
- logic programs