Sciweavers

335 search results - page 4 / 67
» KRRT: Knowledge Representation and Reasoning Tutor System
Sort
View
ITS
2000
Springer
137views Multimedia» more  ITS 2000»
15 years 1 months ago
Design Principles for a System to Teach Problem Solving by Modelling
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
Gérard Tisseau, Hélène Giroir...
JCIT
2007
126views more  JCIT 2007»
14 years 9 months ago
Rough Petri Net Model (RPNM) For knowledge Representation, Rules Generation and Reasoning
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
Hala S. Own
DLOG
2006
14 years 11 months ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
Haiyan Che, Jigui Sun
ECAI
2004
Springer
15 years 3 months ago
A Formal Tutoring Process Model for Intelligent Tutoring Systems
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
Alke Martens, Adelinde Uhrmacher
78
Voted
FLAIRS
2006
14 years 11 months ago
Verbalization Enhanced Tutoring
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
Christel Kemke, Shamima Mithun