Logic and Thought

Minds and Machines

Volumn 7, Issue 3, 1997, Pages 365-385

  Eisenstadt, Stuart A ^a   Simon, Herbert A ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Formal logic; Inference rules; Logic and thought; Natural deduction; Production systems; Tautologies

Indexed keywords

ARTIFICIAL INTELLIGENCE; PHILOSOPHICAL ASPECTS;

INFERENCE RULES; NATURAL DEDUCTION; TAUTOLOGIES;

FORMAL LOGIC;

EID: 0031199926     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008299628430     Document Type: Article

References (9)

1. Anderson, J. R. (1983), The Architecture of Cognition. Cambridge, MA: Harvard University Press.
2. Larkin, J. H. & Simon, H. A. (1987), 'Why a diagram is (sometimes) worth ten thousand words', Cognitive Science 11, 65-99.
3. Neves, D. M. (1978), 'A computer program that learns algebraic procedures by examining examples and working problems in a textbook', Proceedings of the Second National Conference of the Canadian Society for Computational Studies of Intelligence, pp. 191-195.
4. Newell, A. (1990), Unified Theories of Cognition. Cambridge, MA: Harvard University Press.
5. Newell, A. & Simon, H. A. (1972), Human Problem Solving. Englewood Cliffs, NJ: Prentice-Hall.
6. Richman, H. B., Staszewski, J. J., & Simon, H. A. (1995), 'Simulation of expert memory using EPAM IV', The Psychological Review 102, 305-330.
7. Rips, Lance J. (1994), The Psychology of Proof. Cambridge, MA: The MIT Press.
8. Whitehead, A. N. & Russell, B. (1935), Principia Mathematica. Cambridge, GB: Cambridge University Press.
9. Zhu, X. & Simon, H. A. (1987) 'Learning mathematics from examples and by doing', Cognition and Instruction 4, 137-166.