SOAR: an architecture for general intelligence
Artificial Intelligence
A systematic methodology for cognitive modelling
Artificial Intelligence - Special volume on empirical methods
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Answer set based design of knowledge systems
Annals of Mathematics and Artificial Intelligence
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
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
Negotiation using logic programming with consistency restoring rules
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Formalization of psychological knowledge in answer set programming and its application
Theory and Practice of Logic Programming
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Hi-index | 0.00 |
In this paper we continue our 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 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. In previous papers we 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. In this paper we extend the model of Short-Term Memory and introduce the model of a substantial portion of Long-Term Memory, whose formalization is made particularly challenging by the ability to learn proper of this part of the brain. Furthermore, we compare our approach with various established techniques from the area of cognitive modeling.