Formalization of Psychological Knowledge in Answer Set Programming and its Application

Marcello Balduccini, Sara Girotto

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 knowl…