Formalization of psychological knowledge in answer set programming and its application