CS 470 - Spring 2020.

[Home]

Welcome to CS 470!

Video of the Day

MIT Deep Learning Class

Lecture : Planning. 2/17/2020

Administrivia

  • I have office hours Wednesdays from 4-6 pm, Room 014 AKW. Also, I invite students to join me for lunch in a residential college after class on Wednesdays. This week: 11:45am at Franklin.

  • ULA office hours. See the [Contact Info and Schedule] as well as piazza.

  • [Assignments]. hw4 has been posted. However, it will not be graded and you do not submit it. It is meant to prepare you for questions on the midterm exam. I will post the answers to hw4.

  • Microsoft Research AI Presentations Feb 26, 12-2pm, AKW 200 (see notice on piazza.)

    Lecture: Planning

  • Readings: chapters 10-12
  • 2019 Scassellati Slides:
  • utils.py Expr and expr - creating symbolic expressions. (See Python operator precedence and Python special method names)
    A Symbol is an Expr with no arguments.
  • logic.py ProbKB() - creating a knowledge base of logic propositions, and implementing rules of inference.
  • 0217a.ipynb 0217a.html Examples of Expr's and PropKB's

  • Planning Domain Definition Language (PDDL) planning.ipynb (planning.py)
  • 0217.ipynb Planning a trip around Romania! 0217.html
  • Jupyter notebook keyboard shortcuts

    [Home]