logical agents lecture 11 529400