Reporting on some logic-based machine reading research

AAAI Spring Symposium - Technical Report

Volumn SS-07-06, Issue , 2007, Pages 23-28

  Bringsjord, Selmer ^a   Arkoudas, Konstantine ^a   Clark, Micah ^a   Shilliday, Andrew ^a   Taylor, Joshua ^a   Schimanski, Bettina ^a   Yang, Yingrui ^a  

^a Rensselaer AI and Reasoning   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (37)

1. Arkoudas, K. Athena. http://www.cag.csail.mit.eduTkostas/dpls/athena.
2. Arkoudas, K. 2000. Denotational Proof Languages. Ph.D. Dissertation, MIT, Department of Computer Science, Cambridge, USA.
3. Arvizo, T. A virtual machine for a type-ω denotational proof language. Masters thesis, MIT, June 2002.
4. Awan, S. 2004. Night Sky Atlas. London, UK: Dorling Kindersley Limited.
5. Barwise, J., and Etchemendy, J. 1994. Hyperproof. Stanford, CA: CSLI.
6. Barwise, J., and Etchemendy, J. 1999. Language, Proof, and Logic. New York, NY: Seven Bridges.
7. Bergmann, M.; Moor, J.; and Nelson, J. 1997. The Logic Book. New York, NY: McGraw Hill.
8. Blackburn, P., and Bos, J. Forthcoming. Working with Discourse Representation Theory: An Advanced Course in Computational Semantics.
9. Bringsjord, S., and Ferrucci, D. 1998a. Logic and artificial intelligence: Divorced, still married, separated...? Minds and Machines 8:273-308.
10. Bringsjord, S., and Ferrucci, D. 1998b. Reply to Thayse and Glymour on logic and artificial intelligence. Minds and Machines 8:313-315.
11. th International Joint Conference on Artificial Intelligence (IJCAI-03), 887-893.
12. Bringsjord, S., and Yang, Y. 2003. Representations using formal logics. In Nadel, L., ed., Encyclopedia of Cognitive Science Vol 3. London, UK: Nature Publishing Group. 940-950.
13. Chi, M.; Leeuw, N.; Chiu, M.; and Lavancher, C. 1994. Eliciting self-explanations improves understanding. Cognitive Science 18:439-477.
14. Dickinson, T. 1998. Nightwatch: A Practical Guide to Viewing the Universe. Willowdale, Canada: Firefly Books.
15. Ebbinghaus, H. D.; Flum, J.; and Thomas, W. 1984. Mathematical Logic. New York, NY: Springer-Verlag.
16. Friedland, N.; Allen, P.; Matthews, G.; Witbrock, M.; Baxter, D.; Curtis, J.; Shepard, B.; Miraglia, P.; Angele, J.; Staab, S.; Moench, E.; Oppermann, H.; Wenke, D.; Israel, D.; Chaudhri, V.; Porter, B.; Barker, K.; Fan, J.; Chaw, S. Y.; Yeh, P.; Tecuci, D.; and Clark, P. 2004. Project halo: Towards a digital aristotle. AI Magazine 29-47.
17. Fuchs, N. E.; Schwertel, U.; and Schwitter, R. 1999. Attempto Controlled English (ACE) Language Manual, Version 3.0. Technical Report 99.03, Department of Computer Science, University of Zurich, Zurich, Switzerland.
18. Genesereth, M., and Nilsson, N. 1987. Logical Foundations of Artificial Intelligence. Los Altos, CA: Morgan Kaufmann. Hoefler, S. 2004. The Syntax of Attempto Controlled English: An Abstract Grammar for ACE 4.0. Technical Report ifi-2004.03, Department of Informatics, University of Zurich, Zurich, Switzerland.
19. Johnson-Laird, P. N.; Legrenzi, P.; Girotto, V.; and Legrenzi, M. S. 2000. Illusions in reasoning about consistency. Science 288:531-532.
20. Johnson-Laird, P. N. 1983. Mental Models. Cambridge, MA: Harvard University Press.
21. Kamp, H., and Reyle, U. 1993. From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Springer, 1 edition.
22. Kamp, H., and Reyle, U. 1996. A Calculus for First Order Discourse Representation Structures. Journal of Logic, Language and Information 5:297-348.
23. Lippincott, K. 2004. Astronomy. New York, NY: DK Eyewitness Books.
24. Manzano, M. 1996. Extensions of First Order Logic. Cambridge, UK: Cambridge University Press.
25. Molla, D., and Schwitter, R. 2001. From Plain English to Controlled English. In Proceedings of the 2001 Australasian Natural Language Processing Workshop, 77-83.
26. Nilsson, N. 1991. Logic and Artificial Intelligence. Artificial Intelligence 47:31-56.
27. Rinella, K.; Bringsjord, S.; and Yang, Y. 2001. Efficacious logic instruction: People are not irremediably poor deductive reasoners. In Moore, J. D., and Stenning, K., eds., Proceedings of the Twenty-Third Annual Conference of the Cognitive Science Society. Mahwah, NJ: Lawrence Erlbaum Associates. 851-856.
28. Rips, L. 1994. The Psychology of Proof. Cambridge, MA: MIT Press.
29. Russell, S., and Norvig, P. 2002. Artificial Intelligence: A Modern Approach. Upper Saddle River, NJ: Prentice Hall.
30. Simon, S. 1992. Our Solar System. New York, NY: Morrow Junior Books.
31. VanLehn, K.; Jones, R.; and Chi, M. 1992. A model of the self-explanation effect. Journal of the Learning Sciences 2(1): 1-60.
32. Yang, Y., and Bringsjord, S. 2001a. Mental metalogic: A new paradigm for psychology of reasoning. In Proceedings of the Third International Conference on Cognitive Science (ICCS 2001). Hefei, China: Press of the University of Science and Technology of China. 199-204.
33. Yang, Y., and Bringsjord, S. 2001b. The mental possible worlds mechanism: A new method for analyzing logical reasoning problems on the gre. In Proceedings of the Third International Conference on Cognitive Science (ICCS 2001). Hefei, China: Press of the University of Science and Technology of China. 205-210.
34. Yang, Y., and Bringsjord, S. forthcoming. Mental Metalogic: A New, Unifying Theory of Human and Machine Reasoning. Mahway, NJ: Erlbaum.
35. Yang, Y., and Johnson-Laird, P. N. 2000a. How to eliminate illusions in quantified reasoning. Memory and Cognition 28(6): 1050-1059.
36. Yang, Y., and Johnson-Laird, P. N. 2000b. Illusory inferences with quantified assertions. Memory and Cognition 28(3):452-465.
37. Yang, Y.; Braine, M.; and O'Brien, D. 1998. Some empirical justification of one predicate-logic model. In Braine, M., and O'Brien, D., eds., Mental Logic. Mahwah, NJ: Lawrence Erlbaum Associates. 333-365.