A logical approach to experience-based reasoning

- Sun, Zhaohao