Hilbert & Patric: Hybrid intelligent agent technology for teaching context-independent reasoning

Educational Technology and Society

Volumn 6, Issue 3, 2003, Pages 30-42

  Bello, Paul ^a   Bringsjord, Selmer ^b  

^a Rensselaer Polytechnic Institute   (United States)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

Agent driven instruction; Context independent reasoning; Hybrid intelligent systems; Intelligent tutoring systems; Neural networks

Indexed keywords

EID: 3042549233     PISSN: 14364522     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. Anderson, J. R. (1983). A spreading activation theory of memory. Journal of Verbal Learning and Verbal Behavior, 22, 261-295.
2. Anderson, J. R., Corbett, A., Koedinger, K. R., & Pelletier, R. (1995). Cognitive tutors: lessons learned. Journal of Learning Sciences, 4, 167-207.
3. Arbib, M. A. (1997). Leaky integrator neuron. In E. Fiesler & R. Beale (Eds.), Handbook of Neural Computation, B1.4, Philadelphia: IOP Publishing and Oxford University Press, retrieved July 30, 2003 from http://www.iop.org/Books/CIL/HNC/pdf/NCB1_4.PDF.
4. Barwise, J., & Etchemendy, J. (1999). Language, Proof and Logic, New York, NY: Seven Bridges.
5. Bello, P., & Bringsjord, S. (2002). Agent-based real-time pedagogy for proof construction. Paper presented at the Computing and Philosophy Conference, August 8-10, 2002, Carnegie Mellon University, USA.
6. Cohen, J., Kulik, J., & Kulik, C. (1982). Educational outcomes of tutoring. American Educational Research Journal, 19, 237-248.
7. th World Conference on Artificial Intelligence and Education, July 18-19, 1999, Le mans, France.
8. nd Ed.), Cambridge, MA: MIT Press.
9. Doane, S., Sohn, Y., & Schreiber, B. (1999). The role of processing strategies in the acquisition and transfer of a cognitive skill. Journal of Experimental Psychology: Human Perception and Performance , 25, 1390-1410.
10. Elman, J. L. (1990). Finding structure in time . Cognitive Science, 14, 179-211.
11. Jacobs, R. A., Jordan, M. I., & Barto, A. G. (1991). Task decomposition through competition in a modular connectionist architecture: The what and where vision tasks . Cognitive Science, 15, 219-250.
12. Miller, G. (1956). The magical number seven, plus or minus two: Some limits on our capacity for processing information. The Psychological Review, 63, 81-97.
13. Russell, S., & Norvig, P. (1994). Artificial Intelligence: A Modern Approach, Saddle River, NJ: Prentice-Hall.
14. Sheines, R., & Seig, W. (1990). Computer environments for proof construction. Interactive Learning Environments, 4 (2), 645-665.
15. Suppes, P. (1981). University-level computer-assisted instruction at Stanford 1963-1980, Stanford, CA: IMSSS.
16. Yang, Y., & Bringsjord, S. (forthcoming). Mental MetaLogic: A New, Unifying Theory of Human and Machine Reasoning, Mahwah, NJ: Lawrence Erlbaum.