Intro. to MultiAgent Systems, Hebrew Univ., Lecture 3: Deductive Reasoning Agents