AAAI Publications, Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Formalizing Psychological Knowledge in Answer Set Programming
Marcello Balduccini, Sara Girotto

Last modified: 2010-04-27


In the field of psychology, a considerable amount of knowledge is expressed using only natural language, which complicates accurate studies and comparisons. We believe that Answer Set Programming (ASP) can be used successfully for the formalization of psychological knowledge. To demonstrate the viability of ASP for this task, in this paper we develop an ASP-based formalization of the mechanics of Short-Term Memory, and show how it correctly reproduces the observed behavior of human subjects.


Answer Set Programming; Knowledge Representation; Psychology

Full Text: PDF