GENERAL ISSUES IN KNOWLEDGE REPRESENTATION AND REASONING

1. 
2. An ontology of ice cream

3. Davis, Randall; Shrobe, Howard; & Szolovits, Peter (1993), "What Is a Knowledge Representation?", AI Magazine 14(1): 17-33.

4. McDermott, Drew (1981), "Artificial Intelligence Meets Natural Stupidity", in John Haugeland (ed.), Mind Design: Philosophy, Psychology, Artificial Intelligence (Cambridge, MA: MIT Press, 1981): 143-160.

   • 
   • Cartoon on "McDermott's Fallacy"

5. On perceptual symbol systems:

   • Barsalou, Lawrence W. (1999), "Perceptual Symbol Systems" Behavioral and Brain Sciences 22: 577-609.

   • Barsalou, Lawrence W. (1999), "Perceptions of Perceptual Symbols", author's response to commentary on "Perceptual Symbol Systems", Behavioral and Brain Sciences 22: 633-660.

6. Knowledge-Representation Hypothesis

7. Guide to KR articles in Shapiro's Encyclopedia of Artificial Intelligence, 2nd edition

8. Gettier, Edmund L. (1963), "Is Justified True Belief Knowledge?", Analysis 23: 121-23; reprinted in A.P. Griffiths (ed.), Knowledge and Belief (Oxford: Oxford University Press, 1967).

9. Hirst, Graeme (1991), "Existence Assumptions in Knowledge Representation", Artificial Intelligence 49: 199-242.

10. Brachman, Ronald J., & Smith, Brian Cantwell (eds.) (1980), "Special Issue on Knowledge Representation", SIGART Newsletter No. 70 (February).

11. Minsky, Marvin L. (1965), "Matter, Mind, and Models", in Marvin Minsky (ed.), Semantic Information Processing (Cambridge, MA: MIT Press, 1968): 425-432.

12. Smith, Brian Cantwell (1987), "The Correspondence Continuum", Report CSLI-87-71 (Stanford, CA: Center for the Study of Language and Information).

13. Smith, Brian Cantwell (1985), "Limits of Correctness in Computers", Technical Report CSLI-85-36 (Stanford, CA: Center for the Study of Language and Information); first published in Charles Dunlop & Rob Kling (eds.), Computerization and Controversy (San Diego: Academic Press, 1991): 632-646; reprinted in Timothy R. Colburn, James H. Fetzer, & Terry L. Rankin (eds.), Program Verification: Fundamental Issues in Computer Science (Dordrecht, Holland: Kluwer Academic Publishers, 1993): 275-293.

14. Some References on the Procedural-Declarative Controversy

15. Knowing Who:

    • Boër, Stephen E., & Lycan, William G. (1976), "Knowing Who", Philosophical Studies 28: 299-344.

    • Boër, Stephen E., & Lycan, William G. (1985), Knowing Who (Cambridge, MA: MIT Press); Lockwood BD236 .B64 1986