CSE 463/563, Spring 2005

First-Order Logic
as a
Knowledge-Representation and Reasoning System

Last Update: 19 February 2010

Note: NEW or UPDATED material is highlighted


  1. Pro:
    McCarthy, John (1958/1963), "Programs with Common Sense", in Marvin Minsky (ed.), Semantic Information Processing (Cambridge, MA: MIT Press, 1968): 403-417.

  2. Pro:
    Hayes, Patrick J. (1977), "In Defence of Logic", Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI-77, MIT) (Pittsburgh: Carnegie-Mellon University Department of Computer Science): 559-565.

  3. Con:
    Newell, Allen (1981), "The Knowledge Level", AI Magazine 2(2) (Summer): 1-20.

  4. Pro:
    Moore, Robert C. (1982), "The Role of Logic in Knowledge Representation and Commonsense Reasoning", Proceedings of the [2nd] National Conference on Artificial Intelligence (AAAI-82, Pittsburgh) (Los Altos, CA: William Kaufmann): 428-433.

  5. Pro:
    Israel, David J. (1983), "The Role of Logic in Knowledge Representation", in Special Issue on Knowledge Representation, Computer 16(10) (October): 37-41.


For a general overview of related issues, see:




Copyright © 2005–2010 by William J. Rapaport (rapaport@buffalo.edu)
http://www.cse.buffalo.edu/~rapaport/563S05/folaskrr.html-20100210