MRPPS - An interactive refutation proof procedure system for question-answering.
Jack MinkerJames R. McSkiminDaniel H. FishmanPublished in: Int. J. Parallel Program. (1974)
Keyphrases
- question answering
- proof procedure
- theorem proving
- first order logic
- theorem prover
- natural language processing
- decision procedures
- information retrieval
- natural language
- question answering systems
- information extraction
- propositional logic
- automated reasoning
- predicate calculus
- natural language questions
- question classification
- qa clef
- inference rules
- syntactic information
- passage retrieval
- answer extraction
- model theoretic
- qa systems
- candidate answers
- cross lingual