Author:
BALDUCCINI MARCELLO,GIROTTO SARA
Abstract
AbstractIn 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.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference22 articles.
1. Son T. C. and Sakama C. 2009. Negotiation using logic programming with consistency restoring rules. In International Joint Conferences on Artificial Intelligence (IJCAI).
2. Extending the Smodels System with Cardinality and Weight Constraints
3. Stable Models and an Alternative Logic Programming Paradigm
4. 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.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献