Computer Science – Artificial Intelligence
Scientific paper
2010-07-27
Theory and Practice of Logic Programming, 10(4-6), 725-740, 2010
Computer Science
Artificial Intelligence
26th Int'l. Conference on Logic Programming (ICLP'10)
Scientific paper
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.
Balduccini Marcello
Girotto Sara
No associations
LandOfFree
Formalization of Psychological Knowledge in Answer Set Programming and its Application does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Formalization of Psychological Knowledge in Answer Set Programming and its Application, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formalization of Psychological Knowledge in Answer Set Programming and its Application will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-321619