Answering Science Questions: Deduction with Answer Extraction and ...

• cours magistral - matière potentielle : notes

Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment Richard Waldinger Artificial Intelligence Center SRI International Menlo Park, CA 94025 Jeff Shrager CommerceNet and Symbolic Systems Program Stanford University Stanford, CA 94305 Abstract An approach to question answering through automated deduction is advocated. Answers to questions are extracted from proofs of associated conjectures over an axiomatic theory of the subject domain. External knowledge resources, including data and software, are consulted through a mechanism known as procedural attachment.

• subject domain theory
• language of logic
• development of an axiomatic description of the subject knowledge
• deductive biocomputing
• logical language
• knowledge
• query
• data