Formalization of psychological knowledge in answer set programming and its application

DOI10.1017/S1471068410000384zbMATH Open1209.68130arXiv1007.4767OpenAlexW2143097840MaRDI QIDQ3585182FDOQ3585182

Authors: Marcello Balduccini, Sara Girotto 

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1007.4767

Recommendations

• An application of answer set programming to the field of second language acquisition
• Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
• How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
• Logic Programming
• Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs

zbMATH Keywords

answer set programmingpsychologyshort-term memoryreasoning about actions and change

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of software (68N99)

Cited In (2)

• An application of answer set programming to the field of second language acquisition
• Answering the ``why in answer set programming -- a survey of explanation approaches

Uses Software

• Smodels

This page was built for publication: Formalization of psychological knowledge in answer set programming and its application

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585182)