Automated theorem proving based on proof planning is a new and promising paradigm in the field of automated deduction. The idea is to use methods and heuristics as they are used by human mathematicians and encode this knowledge into so-called methods. Naturally, the question arises whether these methods can be beneficially used in learning mathematics too. This paper investigates and compares t...

In this paper, I describe how a cognitive model was used as a simulated student to help design lessons for training circuit board assemblers. The model was built in the Soar cognitive architecture, and was initially endowed with only an ability to learn instructions and prerequisite knowledge for the task. Five lessons, and a total of 81 instructions for teaching expert assembly were developed ...

As the need for instructing a globalized workforce increases, instructional designers must embrace the constraints and the opportunities these projects provide in order to move the field of cross-cultural instructional design (ID) forward. Cross-cultural projects offer multiple avenues for growth in ID practice, overcoming cultural barriers, and a venue to apply and test contemporary models, me...

This paper describes an ongoing study related to a conceptual design model, which is specific to instructional interface design to enhance courseware usage. It was found that most of the existing courseware applications focus on the needs of certain target with most of the courseware offer too little to inclusive learners. In addition, the use of structure, layout, and navigation to improve the...

The general interest in the World Wide Web (WWW) as a medium for sharing and distributing textual and graphic information has brought about an increasing number of instruction-oriented web sites and web-based instructional pages. These range from offering supplemental (or even duplicate) instructional materials to students on campus to providing opportunities for off-campus individuals to compl...

Serious games have proven to be a useful instrument to engage learners and increase motivation. Nevertheless, a broadly accepted, practical instructional design approach to serious games does not exist. In this paper, we introduce the use of an instructional design model that has not been applied to serious games yet, and has some advantages compared to other design approaches. We present the c...

For the past several years the author has been reviewing instructional design theories in an attempt to identify prescriptive principles that are common to the various theories. This paper is a preliminary report of the principles that have been identified by this search. Five first principles are elaborated: (a) Learning is promoted when learners are engaged in solving real-world problems. (b)...

During the Society for Teaching and Learning in Higher Education Conference 2014, a workshop was held three consecutive times as part of the Pedagogical Speed Dating sessions to introduce experienced college/university faculty and instructional designers to an approach to instructional design that is based on increasing motivation. The purpose of the workshop was to demonstrate the use of Kelle...

This report is an overview of computer-based training (CBT) hardware, software, and instructional design. It will assist aviation maintenance training and FAA inspection personnel in making informed decisions about CBT. A central part of this report is the description of a process for analyzing the instructional requirements for a specific task and then selecting a CBT program or designing and ...

adjustments to the instructional milieu to support and enhance learning. The goal of Automated adaptation with user input (1, 2, 3, 4, learner variables (cognitive and noncognitive) and modeling approaches (quantitative and qualitative). 2 Instructional media history, 3 Cognitive load theory, 4 Robert Gagné began to adopt an information-processing-based approach to the design of instruction. PL...