VRASP: A Virtual Reality Environment for Learning Answer Set Programming

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12007)


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%.


ASP solver Virtual Agent Virtual Reality SPARC programming 



We thank the anonymous reviewers for their comments which improve this paper significantly. Zhang is partially supported by NSF grant DRL-1901704.


  1. 1.
    Cooper, S., Dann, W., Pausch, R.: Alice: a 3-D tool for introductory programming concepts. J. Comput. Sci. Coll 15, 107–116 (2000)Google Scholar
  2. 2.
    Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)CrossRefGoogle Scholar
  3. 3.
    Freina, L., Ott, M.: A literature review on immersive virtual reality in education: state of the art and perspectives. In: The International Scientific Conference eLearning and Software for Education, vol. 1, p. 133. “Carol I” National Defence University (2015)Google Scholar
  4. 4.
    Kao, D., Harrell, D.F.: Toward avatar models to enhance performance and engagement in educational games. In: 2015 IEEE Conference on Computational Intelligence and Games (CIG), pp. 246–253 (Aug 2015)Google Scholar
  5. 5.
    Kolodner, J.L., et al.: Problem-based learning meets case-based reasoning in the middle-school science classroom: Putting learning by design (TM) into practice. J. Learn. Sci. 12(4), 495–547 (2003)CrossRefGoogle Scholar
  6. 6.
    Lindgren, R., Johnson-Glenberg, M.: Emboldened by embodiment: six precepts for research on embodied learning and mixed reality. Educ. Res. 42(8), 445–452 (2013)CrossRefGoogle Scholar
  7. 7.
    Marcopoulos, E., Zhang, Y.: onlineSPARC: a programming environment for answer set programming. TPLP 19(2), 262–289 (2019)MathSciNetzbMATHGoogle Scholar
  8. 8.
    Mayer, R.E.: Cognitive theory of multimedia learning. Camb. Handb. Multimed. Learn. 41, 31–48 (2005)CrossRefGoogle Scholar
  9. 9.
    Nguyen, V.T.: VRASP demo, November 2019.
  10. 10.
    Nguyen, V.T., Hite, R., Dang, T.: Learners’s technological acceptance of vr content development: a sequential 3-part use case study of diverse post-secondary students. Int. J. Semant. Comput. 13(03), 343–366 (2019)CrossRefGoogle Scholar
  11. 11.
    Pouw, W.T., Van Gog, T., Paas, F.: An embedded and embodied cognition review of instructional manipulatives. Educ. Psychol. Rev. 26(1), 51–72 (2014)CrossRefGoogle Scholar
  12. 12.
    Resnick, M., et al.: Scratch: programming for all. Commun. ACM 52(11), 60–67 (2009)CrossRefGoogle Scholar
  13. 13.
    T. Nguyen, V., Hite, R., Dang, T.: Web-based virtual reality development in classroom: from learner’s perspectives. In: 2018 IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR), pp. 11–18, December 2018Google Scholar
  14. 14.
    Vo, N., Mitra, A., Baral, C.: The NL2KR platform for building natural language translation systems. In: Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers), pp. 899–908 (2015)Google Scholar
  15. 15.
    Vosinakis, S., Anastassakis, G., Koutsabasis, P.: Teaching and learning logic programming in virtual worlds using interactive microworld representations. Br. J. Educ. Technol. 49(1), 30–44 (2018)CrossRefGoogle Scholar
  16. 16.
    Zhang, Y., Wang, J., Bolduc, F., Murray, W.G.: LP based integration of computing and science education in middle schools. In: Proceedings of the ACM Conference on Global Computing Education, CompEd, 17–19 May 2019, pp. 44–50 (2019)Google Scholar
  17. 17.
    Zhang, Y., Wang, J., Bolduc, F., Murray, W.G., Staffen, W.: A preliminary report of integrating science and computing teaching using logic programming. In: Proceedings of AAAI (2019, to appear)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Texas Tech UniversityLubbockUSA
  2. 2.University of FloridaGainesvilleUSA

Personalised recommendations