Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions

In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change.This approach leads to the implementation of aprototype system, having a multi-agent architecture,whose kernel is a set of rational agents,programmed in the logic programminglanguage DyLOG. In the prototype that weimplemented the reasoning capabilities of theagents are exploited both to dynamically buildstudy plans and to verify the correctness ofuser-given study plans with respect to thecompetence that the user wants to acquire.

[1]  Tran Cao Son,et al.  Formulating diagnostic problem solving using an action language with narratives and sensing , 2000, KR.

[2]  Cristina Baroglio,et al.  Programming Goal-Driven Web Sites Using an Agent Logic Language , 2001, PADL.

[3]  Dominique Longin,et al.  Sensing and revision in a modal logic of belief and action , 2002, ECAI.

[4]  E. Sandewall.  Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .

[5]  Laura Giordano,et al.  An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming , 1996, NMELP.

[6]  Philippe Bretier,et al.  A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction , 1996, ATAL.

[7]  Peter Brusilovsky.  Course Sequencing for Static Courses? Applying ITS Techniques in Large-Scale Web-Based Education , 2000, Intelligent Tutoring Systems.

[8]  Antonis C. Kakas,et al.  Computing the Acceptability Semantics , 1995, LPNMR.

[9]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[10]  Wolfgang Nejdl,et al.  Bayesian Modeling for Adaptive Hypermedia Systems , 1999 .

[11]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[12]  F. E. R. Pollard-Urquhart.  San sebastian, spain , 1902 .

[13]  Wolfgang Nejdl,et al.  Adaptation in Open Corpus Hypermedia , 2001 .

[14]  Nicola Henze,et al.  Setting up a framework for comparing adaptive educational hypermedia: First steps and application on curriculum sequencing , 2002 .

[15]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

[16]  Peter Brusilovsky,et al.  ELM-ART: An Adaptive Versatile System for Web-based Instruction , 2001 .

[17]  Laura Giordano,et al.  Ramification and causality in a modal action logic , 2000, J. Log. Comput..

[18]  Pilar Rodríguez Marín,et al.  Dynamic generation of adaptive Internet-based courses , 1999, J. Netw. Comput. Appl..

[19]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[20]  Helmut Prendinger,et al.  Reasoning about action and change , 1996, J. Log. Lang. Inf..

[21]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[22]  Laura Giordano,et al.  Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach , 2001, ICTCS.

[23]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[24]  Marcus Specht,et al.  ACE - Adaptive Courseware Environment , 2000, AH.

[25]  Pablo Castells,et al.  Interactive Design of Adaptive Courses , 2001, Computers and Education. Towards an Interconnected Society.

[26]  W. van der Hoek,et al.  Agent Programming with Declarative Goals , 2000, ATAL.

[27]  Maurizio Lenzerini,et al.  PDL-based framework for reasoning about actions , 1995, AI*IA.

[28]  Wolfgang Nejdl,et al.  Extendible Adaptive Hypermedia Courseware: Integrating Different Courses and Web Material , 2000, AH.

[29]  Andreas Herzig,et al.  Modal Tableaux for Reasoning About Actions and Plans , 1997, ECP.

[30]  Mia Stern,et al.  Curriculum Sequencing in a Web-Based Tutor , 1998, Intelligent Tutoring Systems.

[31]  Peter Brusilovsky,et al.  Adaptive Hypermedia , 2001, User Modeling and User-Adapted Interaction.

[32]  Tom Murray,et al.  MetaLinks: Authoring and Affordances for Conceptual and Narrative Flow in Adaptive Hyperbooks , 2003, Int. J. Artif. Intell. Educ..