Skip to Content

Automated Synthesis Tableau Calculi in Intelligent Web-based Education Systems

  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
TitleAutomated Synthesis Tableau Calculi in Intelligent Web-based Education Systems
Publication TypeConference Paper
Year of Publication2011
AuthorsKrdzavac, N., Milikic N., Jovicic B., Djuric D., Devedzic V., and Radenkovic S.
Conference NameInternational Conference on Latest Trends in Engineering & Technology (ICLTET'2011)
Date Published12/2011
PublisherPlanetary Scientific Research Centre (PSRC)
Conference LocationPattaya, Thailand
ISBN Number978-81-922428-2-8)
Abstract

The paper proposes some applications the automated  synthesis of tableau calculi in intelligent web-based education systems (WBES). We propose architecture of an intelligent web-based education system that use automated synthesis of tableau calculi. Current solutions mostly use only one deduction system for target logic. In case of the semantic web ecosystem it is description logics (DLs) deduction system based on tableau or hyper-tableau. This paper also examines some disadvantages of using the automated synthesis tableau calculi in WBES. We analyze how to use the method in an intelligent analysis of student’s solutions.

URLhttp://psrcentre.org/images/extraimages/1211247.pdf