[POD] 인공지능을 위한 논리학 - 인지과학 시리즈 1