history and philosophy of artificial intelligence lecture notes 164887