A systematic methodology for cognitive modelling

Artificial Intelligence

Volumn 85, Issue 1-2 SPEC. ISS., 1996, Pages 3-44

  Cooper, R ^a   Fox, J ^b   Farringdon, J ^c   Shallice, T ^c  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b IMPERIAL CANCER RESEARCH FUND   (United Kingdom)

^c UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA STORAGE EQUIPMENT;

COGNITIVE MODELLING; SCEPTIC;

COGNITIVE SYSTEMS;

EID: 0030216910     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00112-3     Document Type: Article

References (48)

1. AAAI, Uncertainty in Artificial Intelligence 1-7 (1986)-(1992).
2. J.R. Anderson, The Architecture of Cognition (Harvard University Press, Cambridge, MA, 1983).
3. A.D. Baddeley, Working Memory (Oxford University Press, Oxford, 1986).
4. P.J. Barnard, Interacting cognitive subsystems: a psycholinguistic approach to short-term memory, in: A. Ellis, ed., Progress in the Psychology of Language (Lawrence Erlbaum, Hillsdale, NJ, 1985) Chapter 6, 197-258.
5. B. Carpenter, The Logic of Typed Feature Structures, Cambridge Tracts in Theoretical Computer Science 32 (Cambridge University Press, Cambridge, UK, 1992).
6. W. Clocksin and C. Mellish, Programming in Prolog (Springer, New York, 1981).
7. R. Cooper, A sceptic specification of Johnson-Laird's "Mental Models" theory of syllogistic reasoning, Tech. Rept. UCL-PSY-ADREM-TR4, Department of Psychology, University College London, London (1992) 9 pp.
8. R. Cooper, A sceptic specification of Sloman's motive processing engine and its application in the nursemaid scenario, Tech. Rept. UCL-PSY-ADREM-TR3, Department of Psychology, University College London, London (1992) 15 pp.
9. R. Cooper and J. Farringdon, Sceptic version 4 user manual, Tech. Rept. UCL-PSY-ADREM-TR6, Department of Psychology, University College London, London (1993).
10. R. Cooper and T. Shallice, Soar and the case for unified theories of cognition, Cognition 55 (1995) 115-149.
11. R. Cooper, T. Shallice and J. Farringdon, Symbolic and continuous processes in the automatic selection of actions, in: J. Hallam, ed., Hybrid Problems, Hybrid Solutions, Frontiers in Artificial Intelligence and Applications 27 (IOS Press, Amsterdam, 1995) 27-37.
12. E. Davis, Representations of Common Sense Knowledge (Morgan Kaufmann, San Mateo, CA, 1990).
13. J. Farringdon, Translating a back-propagation network into prepositional calculus, and reasoning with such translations over time, Master's Thesis, South Bank Polytechnic, London (1990).
14. J. Fox, Techniques for developing distributed decision systems, Dilemma Workshop # 1 (1992).
15. M.R. Genesereth and N.J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987).
16. S. Hajnal, J. Fox and P. Krause, Sceptic user manual: version 3.0, Tech. Rept., Advanced Computation Laboratory, Imperial Cancer Research Fund, London (1990).
17. G.E. Hinton and T. Shallice, Lesioning an attractor network: investigations of acquired dyslexia, Psych. Rev. 98 (1991) 74-95.
18. E. Hunt and R.D. Luce, Soar as a world view, not a theory, Behav. Brain Sci. 15 (1992) 447-448.
19. M. Johnson, Attribute-Value Logic and the Theory of Grammar, CSLI Lecture Note Series 16 (CSLI, Stanford, CA, 1988).
20. P.N. Johnson-Laird, Mental Models (Cambridge University Press, Cambridge, UK, 1983).
21. R. Kowalski, Logic for Problem Solving (North-Holland, New York, 1979).
22. J.E. Laird, C.B. Congdon, E. Altmann and K. Swedlow, Soar user's manual: Version 5.2, Tech. Rept. CMU-CS-90-179, Carnegie Mellon University, Pittsburgh, PA (1990).
23. J.E. Laird, A. Newell and P.S. Rosenbloom, SOAR: an architecture for general intelligence, Artif. lntell. 33 (1987) 1-64.
24. J.E. Laird, K. Swedlow, E. Altmann, C.B. Congdon and M. Weismeyer, Soar user's manual: Version 4.5, Tech. Rept., University of Michigan, Ann Arbor, MI (1989).
25. I. Lakatos, Falsification and the methodology of scientific research programmes, in: I. Lakatos and A. Musgrave, eds., Criticism and the Growth of Knowledge (Cambridge University Press, Cambridge, UK, 1970) 91-196.
26. J.P. Martins, The truth, the whole truth and nothing but the truth, AI Magazine 11 (5) (1991) 7-25.
27. B.C. Milnes, A specification of the Soar cognitive architecture in Z, Tech. Rept. CMU-CS-92-169, Carnegie Mellon University, Pittsburgh, PA (1992).
28. J. Morton, R.H. Hammersley and D.A. Bekerian, Headed records: a model for memory and its failures, Cognition 20 (1985) 1-23.
29. J. Morton and K.E. Patterson, A new attempt at an interpretation, or, an attempt at a new interpretation, in: Deep Dyslexia (Routledge, London, 1980) 91-118.
30. A. Newell, You can't play 20 questions with nature and win, in: W.G. Chase, ed., Visual Information Processing (Academic Press, San Diego, CA, 1973) 283-308.
31. A. Newell, Unified Theories of Cognition (Harvard University Press, Cambridge, MA, 1990).
32. A. Newell, Soar as a unified theory of cognition: issues and explanation, Behav. Brain Sci. 15 (1992) 464-492.
33. A. Newell, J.C. Shaw and H.A. Simon, Elements of a theory of human problem solving, Psych. Rev. 65 (1958) 151-166.
34. A. Newell and H.A. Simon, Human Problem Solving (Prentice Hall, Englewood Cliffs, NJ, 1972).
35. D.A. Norman and T. Shallice, Attention to action: willed and automatic control of behavior, in: R. Davidson, G. Schwartz and D. Shapiro, eds., Consciousness and Self Regulation: Advances in Research and Theory, Vol. 4 (Plenum, New York, 1986) 1-18.
36. M. O'Neill, The STOP demonstrator, Tech. Rept., Advanced Computation Laboratory, Imperial Cancer Research Fund, London (1992).
37. D. Partridge, Engineering Artificial Intelligence Software (Intellect Books, Oxford, 1992).
38. D. Plaut and T. Shallice, Deep dyslexia: a case study of connectionist neuropsychology, Cognit. Neuropsych. 10 (1993) 377-500.
39. P. Rabbitt, Does it all go together when it goes?, Quart. J. Experim. Psych. 46A (1993) 385-434.
40. P. Rosenbloom, J. Laird, A. Newell and R. McCarl, A preliminary analysis of the Soar architecture as a basis for general intelligence, Artif. Intell. 47 (1991) 289-325.
41. T.A. Salthouse, Effects of age on verbal abilities: an examination of the psychometric literature, in: L.L. Light and D.M. Burke, eds., Language and Memory in Old Age (Cambridge University Press, Cambridge, 1988) 17-35.
42. T. Shallice, From Neuropsychology to Mental Structure (Cambridge University Press, Cambridge, 1988).
43. A. Sloman, Motives, mechanisms, and emotions, Cognit. Emotion 1 (1987) 217-233
44. J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall International Series in Computer Science (Prentice Hall, Englewood Cliffs, NJ, 1989).
45. 2: a formal language for KADS models of expertise, Knowl. Acquisit. 4 (1992) 127-161.
46. N.S. Walker, Biomedical image interpretation, Ph.D. Thesis, Department of Computer Science, Queen Mary and Westfield College, London (1991).
47. B. Wielinga, A. Schreiber and J. Breuker, KADS: a modelling approach to knowledge engineering, Knowl. Acquisit. 4 (1992) 5-53.
48. D. Zicha and J. Fox, Symbolic simulation of complex biological processes, Tech. Rept., Advanced Computation Laboratory, Imperial Cancer Research Fund, London (1991).