Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus.
Kevin H. KnuthPublished in: AISTATS (2005)
Keyphrases
- answer questions
- stack overflow
- question answer
- natural deduction
- multiple choice questions
- formal language
- unanswered questions
- fundamental questions
- answering questions
- interactive question answering
- computer algebra
- question answering systems
- multiple choice
- correct answers
- sequent calculus
- open domain
- reading comprehension
- proof procedure
- computational properties
- cut elimination
- natural language questions
- question answering
- algebraic structure
- learning environment
- knowledge building
- asynchronous circuits
- automated reasoning
- classical logic
- community based question answering
- question answer pairs
- theorem prover
- automated theorem proving
- proof search
- science classroom
- asked questions
- qa systems
- relation algebra
- modal logic
- relational calculus
- linear time temporal logic
- tableau calculus
- questions asked
- qa clef
- proof theory