CS 534 Cisco Spring 2013

Computer Science Department

Useful Pointers, Slides and Class Handout:
- Prof. Ruiz's Logic-Based Systems - ppt Slides or pdf Slides
- Propositional Logic - Russell and Norvig's textbook slides - Chapter 7 (pdf)
- First Order Logic - Russell and Norvig's textbook slides - Chapter 8 (pdf)
- Reasoning with First Order Logic - Russell and Norvig's textbook slides - Chapter 9 (pdf)
- See Andrew Sawchuk's solutions to HW4
Other Useful Material:
- Association for the Advancement of Artificial Intelligence (AAAI) - Reasoning
- EQP: Equational Prover
- Prolog
  - Wikepedia: Prolog
- Links contributed by the CS534 Spring 2013 Cisco students:
  - ProVerif: Cryptographic protocol verifier in the formal model
  - Protégé Project:
    - Stanford's Protégé Project
    - Protégé OWL Tutorial
  - J. Urban and Vyskocil. "Theorem Proving in Large Formal Mathematics as an Emerging AI Field". 2012.
    - The Mizar Project
  - Cycorp
  - Expert Systems (lots of examples of expert systems are available online)

Useful Pointers, Slides and Class Handout:
- See pointers under seach on the previous lecture.
- Tom Mitchell's Machine Learning Slides on Genetic Algorithms

Useful Pointers, Slides and Class Handout:
- Introduction to AI:
  - Prof. Ruiz's slides
  - Russell and Norvig's textbook slides - Chapter 1
- Agents:
- Search:
  - Russell and Norvig's textbook slides - Chapter 3 (uninformed search), Chapter 3 (informed search) and Chapter 4 and
  - Prof. Ruiz's slides: animation of search methods in Romania's map example
  - Prof. Ruiz's slides: summary of all search methods
  - Solutions to old HW1
  - MIT's AI Demo: Map search (by Winston)