FOR INTERNAL SCRUTINY (date of this version: 4/2/2019) UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS INFR08010 INFORMATICS 2D: REASONING AND AGEN