Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions

Artificial Intelligence Review

Volumn 22, Issue 1, 2004, Pages 3-39

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Patti, Viviana ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Adaptive systems; Curricula validation; Curriculum sequencing; Logic programming; Multiagent systems; Reasoning about actions; Web based tutoring

Indexed keywords

CURRICULA; ELECTRONIC COMMUNITIES; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; PROFESSIONAL ASPECTS; SET THEORY; STRATEGIC PLANNING; WORLD WIDE WEB;

CURRICULA VALIDATION; CURRICULUM SEQUENCING; REASONING ABOUT ACTIONS; WEB-BASED TUTORING;

ADAPTIVE SYSTEMS;

EID: 19544377326     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AIRE.0000044296.89727.ff     Document Type: Article

References (33)

1. Baldoni, M., Baroglio, C., Chiarotto, A. & Patti, V. (2001a). Programming Goal-driven Web Sites using an Agent Logic Language. In Ramakrishnan, I. V. (ed.) Proc. of the Third International Symposium on Practical Aspects of Declarative Languages, Vol. 1990 of LNCS. Las Vegas, Nevada, USA, 60-75. Springer.
2. Baldoni, M., Baroglio, C., Henze, N. & Patti, V. (2002). Setting up a Framework for Comparing Adaptive Educational Hypermedia: First Steps and Application on Curriculum Sequencing. In Proc. of ABIS-Workshop 2002: Personalization for the Mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems. Hannover, Germany, 43-50.
3. Baldoni, M., Giordano, L., Martelli, A. & Patti, V. (1997). An Abductive Proof Procedure for Reasoning about Actions in Modal Logic Programming. In Dix J. et al. (eds.) Proc. of NMELP'96, Vol. 1216 of LNAI, 132-150. Springer-Verlag.
4. Baldoni, M., Giordano, L., Martelli, A. & Patti, V. (2001b). 'Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In Restivo, A., Ronchi Della Rocca, S. & Roversi, L. (eds.) Proc. of Theoretical Computer Science, 7th Italian Conference, ICTCS'2001, Vol. 2202 of Lecture Notes in Computer Science, 405-425. Springer.
5. Baral, C., McIlraith, S. A. and Son, T. C. (2000). Formulating Diagnostic Problem Solving Using an Action Language with Narratives and Sensing. In Principles of Knowledge Representation and Reasoning, KR 2000, 311-322.
6. Bretier, P. & Sadek, D. (1997). A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction. In Müller, J., Wooldridge, M. & Jennings, N. (eds.) Intelligent Agents III, Proc. of ECAI-96 Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Vol. 1193 of LNAI. Springer-Verlag.
7. Brusilovsky, P. (2000). Course Sequencing for Static Courses? Applying ITS Techniques in Large-ScaleWeb-Based Education. In Proceedings of the fifth International Conference on Intelligent Tutoring Systems ITS 2000. Montreal, Canada.
8. Brusilovsky, P. (2001). Adaptive Hypermedia. User Modeling and User-Adapted Interaction 11: 87-110.
9. Carro, R., Pulido, E. & Rodriguez, P. (1999). Dynamic Generation of Adaptive Internet-Based Courses. Journal of Network and Computer Applications 22: 249-257.
10. Castilho, M., Gasquet, O. & Herzig, A. (1997). Modal Tableaux for Reasoning about Actions and Plans. In Steel, S. (ed.) Proc. ECP'97, 119-130.
11. De Giacomo, G. & Lenzerini, M. (1995). PDL-based Framework for Reasoning about Actions. In Proc. of AI*IA '95, Vol. 992 of LNAI, 103-114.
12. d'Inverno, M., Kinny, D., Luck, M. & Wooldridge, M. (1997). A Formal Specification of dMARS. In Proc. of ATAL'97, Vol. 1365 of LNAI, 155-176.
13. Eshghi, K. & Kowalski, R. (1989). Abduction Compared with Negation by Failure. In Proc. 6th ICLP'89. Lisbon, 234-254.
14. FIPA (1997). FIPA 97, Specification Part 2: Agent Communication Language. Technical report, Foundation for Intelligent Physical Agents.
15. Gelfond, M. & Lifschitz, V. (1993). Representing Action and Change by Logic Programs. Journal of Logic Programming 17: 301-321.
16. Giordano, L., Martelli, A. & Schwind, C. (2000). Ramification and Causality in a Modal Action Logic. Journal of Logic and Computation 10(5): 625-662.
17. Henze, N. & Nejdl, W. (1999). Bayesian Modeling for Adaptive Hypermedia Systems. In Proc. of ABIS99, 7. GI-Workshop Adaptivität und Benutzermodellierung in Interaktiven Softwaresystemen. Magdeburg.
18. Henze, N. & Nejdl, W. (2000). Extendible Adaptive Hypermedia Courseware: Integrating Different Courses and Web Material. In Brusilovsky, P., Stock, O. & Strapparava, C. (eds.) Adaptive Hypermedia and Adaptive Web-Based Systems, International Conference, AH 2000, 109-120.
19. Henze, N. & Nejdl, W. (2001). Adaptation in Open Corpus Hypermedia. IJAIED Special Issue on Adaptive and Intelligent Web-Based Systems 12: 325-350.
20. Herzig, A. & Longin, D. (2002). Sensing and Revision in a Modal Logic of Belief and Action. In van Harmelen, F. (ed.) Proc. of 15th European Conference on Artificial Intelligence, ECAI 2002. Lyon, France, 307-311. IOS Press.
21. Hindriks, K. V., de Boer, F., van der Hoek, W. & Meyer, J. (2001). Agent Programming with Declarative Goals. In Castelfranchi, C. & Lespérance, Y. (eds.) Intelligent Agents VII. Agent Theories, Architectures and Languages, Vol. 1986 of LNAI, 228-243. Springer-Verlag.
22. Levesque, H. J., Reiter, R., Lespérance, Y. Lin, F. & Scherl, R. B. (1997). GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming 31: 59-83.
23. Macías, J. A. & Castells, P. (2001). Interactive Design of Adaptive Courses. In Ortega, M. & Bravo, J. (eds.) Computer and Education - Towards an Interconnected Society, 235-242. Kluwer Academic Publishers.
24. Murray, T. (2002). MetaLinks: Authoring and Affordances for Conceptual and Narrative Flow in Adaptive Hyperbooks. International Journal of Artificial Intelligence in Education, to appear.
25. Patti, V. (2002). Programming Rational Agents: a Modal Approach in a Logic Programming Setting. Ph.D. thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, Available at http://www.di.unito.it/~patti/.
26. Prendinger, H. & Schurz, G. (1996). Reasoning about Action and Change. A Dynamic Logic Approach. Journal of Logic, Language, and Information 5(2): 209-245.
27. Sandewall, E. (1994). Features and Fluents. The Representation of Knowledge about Dynamical Systems, Vol. I. Oxford University Press.
28. Scherl, R. & Levesque, H. J. (1993). The Frame Problem and Knowledge-producing Actions. In Proc. of the AAAI-93. Washington, DC, 689-695.
29. Specht, M., Kravcik, M., Klemke, R., Pesin, L. & Hüttenhain, R. (2002). Personalized eLearning and eCoaching in WINDS. In Proc. of Workshop on Integrating Technical and Training Documentation, ITS 2002. San Sebastian, Spain.
30. Specht, M. & Oppermann, R. (1998). ACE - Adaptive Courseware Environment. The New Review of Hypermedia and Multimedia 4: 141-162.
31. Stern, M. & Woolf, B. (1998). Curriculum Sequencing in a Web-Based Tutor. In Proc. Of Intelligent Tutoring Systems 1998, Vol. 1452 of LNCS. Springer.
32. Toni, F. & Kakas, A. (1995). Computing the Acceptability Semantics. LNAI 928: 401-415.
33. Weber, G. & Brusilovsky, P. (2001). ELM-ART: An Adaptive Versatile System for Webbased Instruction. IJAIED Special Issue on Adaptive and Intelligent Web-Based Systems 12(4): 351-384.