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

Authors:
Matteo Baldoni;Cristina Baroglio;Viviana Patti
Affiliations:
Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera, 185, I-10149 Torino, Italy (E-mail: baldoni@di.unito.it);Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera, 185, I-10149 Torino, Italy (E-mail: baroglio@di.unito.it);Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera, 185, I-10149 Torino, Italy (E-mail: patti@di.unito.it)
Venue:
Artificial Intelligence Review
Year:
2004

Citing 12
Cited 10

Features and fluents (vol. 1): the representation of knowledge about dynamical systems

Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Dynamic generation of adaptive Internet-based courses

Journal of Network and Computer Applications
Adaptive Hypermedia

User Modeling and User-Adapted Interaction
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Computing the Acceptability Semantics

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Modal Tableaux for Reasoning About Actions and Plans

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Course Sequencing for Static Courses? Applying ITS Techniques in Large-Scale Web-Based Education

ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction

ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
A Formal Specification of dMARS

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
PDL-based framework for reasoning about actions

AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming

NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
MetaLinks: Authoring and Affordances for Conceptual and Narrative Flow in Adaptive Hyperbooks

International Journal of Artificial Intelligence in Education

Designing personalized curricula based on student preferences

SIGDOC '07 Proceedings of the 25th annual ACM international conference on Design of communication
Curricula Modeling and Checking

AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Adaptive E---Learning: An Architecture Based on PROSA P2P Network

IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Comparison of knowledge during the assembly process of learning objects

Journal of Intelligent Information Systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?

A 25-year perspective on logic programming
User modelling server for adaptive help

Intelligent Decision Technologies - Special issue on knowledge-based environments and services in human-computer interaction
Personalization for the semantic web

Proceedings of the First international conference on Reasoning Web
Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture

EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Curriculum model checking: declarative representation and verification of properties

EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Adapting SCORM Compliant LOs in a Knowledge Engineering Scenario

International Journal of Distance Education Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.