Skip to main content

CS405: Artificial Intelligence

Unit 5: Logic
We have already briefly discussed logic, but this unit will provide you with a more formal definition. We will learn about two main types of logic--propositional and first-order. Prolog was designed for expressing logic. This unit gives you a strong foundation in logic so that you will be able to use or learn Prolog more easily to program logic applications. Similarly, you will be able to use or learn class libraries that support AI techniques in other languages, like C++ and Java.

Completing this unit should take you approximately 24 hours.
- Unit 5 Learning Outcomes Page
- 5.1: Definition and Types of Logic
  - Massachusetts Institute of Technology: Leslie Kaelbling and Tomás Lozano-Pérez's "Logic" URL
    Read the following slides:
    Logic I
    Logic Ib
    Logic II
    Logic IIb
  - University of California, Irvine: Max Welling's "Logic" URL
    Read these slides.
- 5.2: Some Examples of Practical Applications
  - Mark Watson's "Practical Artificial Intelligence Programming with Java" URL
    Read Chapters 3 through 5. Chapter 3 gives examples and tools for applying logic. Chapter 4 discusses the Semantic Web. Reasoning assumes a body of data from which inferences can be made, and this chapter discusses the Semantic Web as a source of data for use in programs, in particular for inference algorithms. Chapter 5 gives examples and tools for expert systems application in reasoning.