Date Added: Jul 2011
In this paper, the authors continue the investigation on the viability of Answer Set Programming (ASP) as a tool for formalizing, and reasoning about, psychological models. In the field of psychology, a considerable amount of knowledge is still expressed using only natural language. This lack of formalization complicates accurate studies, comparisons, and verification of theories. They believe that ASP, a knowledge representation formalism allowing for concise and simple representation of defaults, uncertainty, and evolving domains, can be used successfully for the formalization of psychological knowledge. In previous papers, they have shown how ASP can be used to formalize a rather well-established model of short-term memory, and how the resulting encoding can be applied to practical tasks, such as those from the area of human-computer interaction.