Multiple answer extraction for question answering with automated theorem proving systems

Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22

Volumn , Issue , 2009, Pages 105-110

  Sutcliffe, Geoff ^a   Yerikalapudi, Aparna ^a   Trac, Steven ^a  

^a UNIVERSITY OF MIAMI   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER EXTRACTION; AUTOMATED THEOREM PROVING; BASE SYSTEMS; ILLUSTRATIVE EXAMPLES; QUESTION ANSWERING;

ARTIFICIAL INTELLIGENCE;

THEOREM PROVING;

EID: 70350461391     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Baumgartner, P.; Fuchs, A.; and Tinelli, C. 2006. Implementing the Model Evolution Calculus. International Journal on Artificial Intelligence Tools 15(1):21-52.
2. Baumgartner, P.; Furbach, U.; and Stolzenburg, F. 1997. Computing Answers with Model Elimination. Artificial Intelligence 90:135-176.
3. Burhans, D. 2002. A Question Answering Interpretation of Resolution Refutation. Technical Report Technical Report 2002-03, Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, USA.
4. Claessen, K., and Sorensson, N. 2003. New Techniques that Improve MACE-style Finite Model Finding. In Baumgartner, P., and Fermueller, C., eds., Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications.
5. Curtis, J.; Matthews, G.; and Baxter, D. 2005. On the Effective Use of Cyc in a Question Answering System. In Benamara, F.; Moens, M.; and Saint-Dizier, P., eds., Proceedings of the Workshop on Knowledge and Reasoning for Answering Questions, 19th International Joint Conference on Artificial Intelligence, 61-70.
6. Green, C. 1969. Theorem Proving as a Basis for Question-answering Systems. Machine Intelligence 4:183-205.
7. Hurd, J. 2003. First-Order Proof Tactics in Higher-Order Logic Theorem Provers. In Archer, M.; Di Vito, B.; and Munoz, C., eds., Proceedings of the 1st International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics, number NASA/CP-2003-212448 in NASA Technical Reports, 56-68.
8. Kasneci, G.; Suchanek, F.; Ifrim, G.; Ramanath, M.; and Weikum, G. 2008. NAGA: Searching and Ranking Knowledge. In Alonso, G.; Blakeley, J.; and Chen, A., eds., Proceedings of the 24th International Conference on Data Engineering, 697-706.
9. McCune, W. 1994. Otter 3.0 Reference Manual and Guide. Technical Report ANL-94/6, Argonne National Laboratory, Argonne, USA.
10. McCune, W. 2003. Mace4 Reference Manual and Guide. Technical Report ANL/MCS-TM-264, Argonne National Laboratory, Argonne, USA.
11. Minker, J.; Fishman, D.; and McSkimin, J. 1973. The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System. Artificial Intelligence 4:225-243.
12. Niles, I., and Pease, A. 2001. Towards A Standard Upper Ontology. In Welty, C., and Smith, B., eds., Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2-9.
13. Pease, A. 2003. The Sigma Ontology Development Environment. In Giunchiglia, F.; Gomez-Perez, A.; Pease, A.; Stuckenschmidt, H.; Sure, Y.; and Willmott, S., eds., Proceedings of the IJCAI-03 Workshop on Ontologies and Distributed Systems, number 71 in CEUR Workshop Proceedings.
14. Riazanov, A., and Voronkov, A. 2002. The Design and Implementation of Vampire. AI Communications 15(2-3):91-110.
15. Schulz, S. 2002. E: A Brainiac Theorem Prover. AI Communications 15(2-3):111-126.
16. Shrager, J.; Waldinger, R.; Stickel, M.; and Massar, P. 2007. Deductive Biocomputing. PLoS ONE 2(4).
17. Slagle, J. 1965. A Proposed Preference Strategy using Sufficiency Resolution for Answering Questions. Technical Report UCRL-14361, Lawrence Radiation Laboratory, Livermore, USA.
18. Stickel, M.; Waldinger, R.; Lowry, M.; Pressburger, T.; and Underwood, I. 1994. Deductive Composition of Astronomical Software from Subroutine Libraries. In Bundy, A., ed., Proceedings of the 12th International Conference on Automated Deduction, number 814 in Lecture Notes in Artificial Intelligence, 341-355. Springer-Verlag.
19. Stickel, M. URL. SNARK - SRI's New Automated Reasoning Kit. http://www.ai.sri.com/ stickel/snark.html.
20. Sutcliffe, G., and Suttner, C. URL. The TPTP Problem Library. http://www.TPTP.org.
21. Sutcliffe, G.; Schulz, S.; Claessen, K.; and Van Gelder, A. 2006. Using the TPTP Language for Writing Derivations and Finite Interpretations. In Furbach, U., and Shankar, N., eds., Proceedings of the 3rd Intern ational Joint Conference on Automated Reasoning, number 4130 in Lecture Notes in Artificial Intelligence, 67-81.
22. Sutcliffe, G. 2006. Semantic Derivation Verification. International Journal on Artificial Intelligence Tools 15(6):1053-1070.
23. Sutcliffe, G. 2007. TPTP, TSTP, CASC, etc. In Diekert, V.; Volkov, M.; and Voronkov, A., eds., Proceedings of the 2nd International Computer Science Symposium in Russia, number 4649 in Lecture Notes in Computer Science, 7-23. Springer-Verlag.
24. Sutcliffe, G. 2008. The SZS Ontologies for Automated Reasoning Software. In Sutcliffe, G.; Rudnicki, P.; Schmidt, R.; Konev, B.; and Schulz, S., eds., Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics, number 418 in CEUR Workshop Proceedings, 38-49.
25. Trac, S.; Sutcliffe, G.; and Pease, A. 2008. Integration of the TPTPWorId into SigmaKEE. In Schmidt, R.; Konev, B.; and Schulz, S., eds., Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th International Joint Conference on Automated Reasoning, Accepted.
26. Waldinger, R. 2007. Whatever Happened to Deuctive Question Answering? In Dershowitz, N., and Voronkov, A., eds., Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, number 4790 in Lecture Notes in Artificial Intelligence, 15-16.
27. Weidenbach, C.; Schmidt, R.; Hillenbrand, T.; Rusev, R.; and Topic, D. 2007. SPASS Version 3.0. In Pfenning, F., ed., Proceedings of the 21st International Conference on Automated Deduction, number 4603 in Lecture Notes in Artificial Intelligence, 5 14-520. Springer-Verlag.