Skip to main content Accessibility help

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.



Hide All
Atkinson, R. C. and Shiffrin, R. M. 1971. The control of short-term memory. Scientific American 225, 8290.
Balduccini, M., Gelfond, M. and Nogueira, M. 2000. A-Prolog as a tool for declarative programming. In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000). 63–72.
Baral, C. and Gelfond, M. 2005. Reasoning about intended actions. In Proceedings of the 20th National Conference on Artificial Intelligence. 689–694.
Card, S. K., Moran, T. P. and Newell, A. 1983. The Psychology of Human-Computer Interaction. L. Erlbaum Associates Inc.
Chintabathina, S., Gelfond, M., and Watson, R. 2005. Modeling hybrid domains using process description language. In Proceedings of ASP '05 – Answer Set Programming: Advances in Theory and Implementation. 303–317.
Cowan, N. 2000. The magical number 4 in short-term memory: A reconsideration of mental storage capacity. Behavioral and Brain Sciences 24, 87185.
Delgrande, J. P., Grote, T., and Hunter, A. 2009. A general approach to the verification of cryptographic protocols using answer set programming. In 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09). 355–367.
Gelfond, M. 2002. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, Kakas, A. C. and Sadri, F., Eds. Vol. 2408. Springer, Berlin, 413451.
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365385.
Gelfond, M. and Lifschitz, V. 1998. Action languages. Electronic Transactions on AI 3, 16.
Kassin, S. 2006. Psychology in Modules. Prentice Hall.
Kieras, D. and Polson, P. G. 1983. A generalized transition network representation for interactive systems. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (SIGCHI-83). 103–106.
Kieras, D. and Polson, P. G. 1985. A quantitative model of the learning and performance of text editing knowledge. 16, 4 (April), 207212.
Lee, J. and Lifschitz, V. 2001. Additive fluents. In Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, Provetti, A. and Son, T. C., Eds. AAAI Spring Symposium Series.
Leite, J. and Ilic, M. 2007. Answer-set programming based dynamic user modeling for recommender systems. In Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence. 29–42.
Marek, V. W. and Truszczynski, M. 1999. The Logic Programming Paradigm: A 25-Year Perspective. Springer, Berlin (Chapter Stable models and an alternative logic programming paradigm), 375398.
McCarley, J. S., Wickens, C. D., Gob, J. and Horrey, W. J. 2002. A computational model of attention/situation awareness. In Proceedings of the 46th Annual Meeting of the Human Factors and Ergonomics Society.
Miller, G. A. 1956. The magical number seven, plus or minus two: Some limits on our capacity for processing information. Psychological Review 63, 8197.
Nevid, J. S. 2007. Psychology: Concepts and Applications, 2nd ed.Houghton Mifflin Company.
Niemela, I. and Simons, P. 2000. Logic-Based Artificial Intelligence. Kluwer (Chapter extending the smodels system with cardinality and weight constraints), 491521.
Son, T. C. and Sakama, C. 2009. Negotiation using logic programming with consistency restoring rules. In International Joint Conferences on Artificial Intelligence (IJCAI).
Thielscher, M. 2009. Answer set programming for single-player games in general game playing. In 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09). 327–341.


Formalization of psychological knowledge in answer set programming and its application



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed