A quantitative model of the learning and performance of text editing knowledge
CHI '85 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A generalized transition network representation for interactive systems
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Answer Set Programming for Single-Player Games in General Game Playing
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Negotiation using logic programming with consistency restoring rules
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Answer-set programming based dynamic user modeling for recommender systems
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
ASP as a cognitive modeling tool: short-term memory and long-term memory
Logic programming, knowledge representation, and nonmonotonic reasoning
Industrial-size scheduling with ASP+CP
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
| Hi-index | 0.00 |
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.