VRASP: A Virtual Reality Environment for Learning Answer Set Programming

Vinh T. Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations


Answer Set Programming (ASP) is a dominant programming paradigm in Knowledge Representation. It is used to build intelligent agents – knowledge-intensive software systems capable of exhibiting intelligent behaviors. It is found that ASP can also be used to teach computer science in middle and high schools. However, the current ASP systems do not provide direct support for a programmer to produce an intelligent agent that a general user can directly interact with, which may greatly compromise the potential attraction of ASP to the secondary school students. In this paper, we propose a Virtual Reality (VR) programming environment called VRASP that allows a student to produce an avatar (agent) in a virtual world that is able to answer questions in spoken natural language from a general user. The VR application is accessible from anywhere so that the students’ friends can interact with the agent. As a result, it gives the students a feeling of achievement and thus encourages them to solve problems using ASP. VRASP was evaluated with 10 users. Results of these studies show that students are able to communicate with the environment intuitively with an accuracy of 78%.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings
EditorsEkaterina Komendantskaya, Yanhong Annie Liu
Number of pages10
ISBN (Print)9783030391966
StatePublished - 2020
Event22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020 - New Orleans, United States
Duration: Jan 20 2020Jan 21 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12007 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020
Country/TerritoryUnited States
CityNew Orleans


  • ASP solver
  • SPARC programming
  • Virtual Agent
  • Virtual Reality


Dive into the research topics of 'VRASP: A Virtual Reality Environment for Learning Answer Set Programming'. Together they form a unique fingerprint.

Cite this