Formalization of psychological knowledge in answer set programming and its application

In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of knowledge is still expressed using only natural language. This lack of a formalization complicates accurate studies, comparisons, and verification of theories. We 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. 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. We also show that our approach can have rather immediate practical uses by demonstrating an application of our formalization to the task of predicting a user's interaction with a graphical interface.

[1]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[2]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[3]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[4]  Michael Thielscher.  Answer Set Programming for Single-Player Games in General Game Playing , 2009, ICLP.

[5]  Peter G. Polson,et al.  A generalized transition network representation for interactive systems , 1983, CHI '83.

[6]  Aaron Hunter,et al.  A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming , 2009, LPNMR.

[7]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[8]  David E. Kieras,et al.  A quantitative model of the learning and performance of text editing knowledge , 1985, CHI '85.

[9]  Chitta Baral,et al.  Reasoning about Intended Actions , 2005, AAAI.

[10]  Michael Gelfond,et al.  Representing Knowledge in A-Prolog , 2002, Computational Logic: Logic Programming and Beyond.

[11]  Jack Minker,et al.  Logic-Based Artificial Intelligence , 2000 .

[12]  R. Atkinson,et al.  The control of short-term memory. , 1971, Scientific American.

[13]  G. A. Miller.  The magical number seven plus or minus two: some limits on our capacity for processing information. , 1956, Psychological review.

[14]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[15]  Chiaki Sakama,et al.  Negotiation Using Logic Programming with Consistency Restoring Rules , 2009, IJCAI.

[16]  Saul M. Kassin.  Psychology in Modules , 2005 .

[17]  Antonis C. Kakas,et al.  Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I , 2002 .

[18]  Michael Gelfond,et al.  Modeling Hybrid Domains Using Process Description Language , 2005, Answer Set Programming.

[19]  N. Cowan.  The magical number 4 in short-term memory: A reconsideration of mental storage capacity , 2001, Behavioral and Brain Sciences.

[20]  Michael Gelfond,et al.  A-Prolog as a tool for declarative programming , 2000 .

[21]  I. Niemelä,et al.  Extending the Smodels system with cardinality and weight constraints , 2001 .

[22]  João Leite,et al.  Answer-Set Programming Based Dynamic User Modeling for Recommender Systems , 2007, EPIA Workshops.

[23]  Christopher D. Wickens,et al.  A Computational Model of Attention/Situation Awareness , 2002 .

[24]  Joohyung Lee,et al.  Additive Fluents , 2001, Answer Set Programming.