Human-computer interaction in distributed supervisory control tasks

An overview of activities concerned with the development and applications of the Operator Function Model (OFM) is presented. The OFM is a mathematical tool to represent operator interaction with predominantly automated space ground control systems. The design and assessment of an intelligent operator aid (OFMspert and Ally) is particularly discussed. The application of OFM to represent the task knowledge in the design of intelligent tutoring systems, designated OFMTutor and ITSSO (Intelligent Tutoring System for Satellite Operators), is also described. Viewgraphs from symposia presentations are compiled along with papers addressing the intent inferencing capabilities of OFMspert, the OFMTutor system, and an overview of intelligent tutoring systems and the implications for complex dynamic systems

Microcomputer Intelligence for Technical Training (MITT): The evolution of an intelligent tutoring system

Microcomputer Intelligence for Technical Training (MITT) uses Intelligent Tutoring System (OTS) technology to deliver diagnostic training in a variety of complex technical domains. Over the past six years, MITT technology has been used to develop training systems for nuclear power plant diesel generator diagnosis, Space Shuttle fuel cell diagnosis, and message processing diagnosis for the Minuteman missile. Presented here is an overview of the MITT system, describing the evolution of the MITT software and the benefits of using the MITT system

Bringing Authoring Tools for Intelligent Tutoring Systems and Serious Games Closer Together: Integrating GIFT with the Unity Game Engine

In an effort to bring intelligent tutoring system (ITS) authoring tools closer to content authoring tools, the authors are working to integrate GIFT with the Unity game engine and editor. The paper begins by describing challenges faced by modern intelligent tutors and the motivation behind the integration effort, with special consideration given to how this work will better meet the needs of future serious games. The next three sections expand on these major hurdles more thoroughly, followed by proposed design enhancements that would allow GIFT to overcome these issues. Finally, an overview is given of the authors’ current progress towards implementing the proposed design. The key contribution of this work is an abstraction of the interface between intelligent tutoring systems and serious games, thus enabling ITS authors to implement more complex training behaviors

ENG 2760-001: Introduction to Professional Writing

Ovaj diplomski rad započinje pregledom razvoja, ideja i nekih ostvarenih inteligentnih tutorskih sustava, nakon čega je detaljno opisana njihova danas široko prihvaćena arhitektura u vidu četiri modula. Nastavlja se pogledom na analitiku učenja iz perspektive vodećih istraživača tog područja, danas neizostavne pedagoške znanstvene discipline te se zaključuje o njenoj primjeni u inteligentnim tutorskim sustavima, ističući povezanost ova dva područja istraživanja. Predstavljene su osnovne zamisli inteligentnog tutorskog sustava AC-ware Tutor, koji posebnu pažnju pridaje modulu učenika i koristi se na splitskom PMF-u od 2012. g. Podaci o radu studenata iskorišteni su za prikaz podataka o napretku za vrijeme njihovog učenja. Za obradu se koristi programskom paketu RStudio, integriranom programskom okruženju za jezik R, najpopularnijeg alata u analitici učenja, čije su osnove također metodički objašnjene kroz konkretne primjere, a dane su i idejne smjernice za buduća istraživanja u analitici učenja.This thesis starts with the overview of development, ideas and evaluation of intelligent tutoring systems, after which widely accepted architecture of its four modules is described in detail. Paper is continued with a synthesis of learning analytics from its prominent researcher's point of view, concluding with application in intelligent tutoring systems while highlighting synergy of these two academic disciplines. Basic ideas of intelligent tutoring system AC-ware Tutor are presented. This system is focused on student module and came into use in 2012 on Faculty of science, University of Split. Student data from this system were logged and now used for representation of their learning progress. Data was processed in RStudio, an integrated development environment for R language, the most popular tool in learning analytics. Its basics are also methodically explained through the examples. Some ideas for direction of future research on this system in learning analytics are also given

Enhancing simulation education with intelligent tutoring systems

The demand for education in the area of simulation is in the increase. This paper describes how education in the field of simulation can take advantage of the virtues of intelligent tutoring with respect to enhancing the educational process. For this purpose, this paper gives an overview of what constitutes the objectives and the content of a comprehensive course in discrete event simulation. The architecture of an intelligent tutoring system is presented and it is discussed how these sophisticated learning aids offer individualised student guidance and support within a learning environment. The paper then introduces a prototype intelligent tutoring system, the simulation tutor, and suggests how the system might be developed to enhance education in simulation

An Intelligent Tutoring System for Teaching Grammar English Tenses

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design of an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

ITSB: An Intelligent Tutoring System Authoring Tool

Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the requirements of the different components, integration of these components in ITSB tool are shown. Furthermore, implanting of requirements, cognitive principle, and common design fundamentals in the tool to ease the use of teachers. A variety of design matters, an example of building an intelligent tutoring system for teaching Java language using ITSB tool and an evaluation are presented

Plan-based delivery composition in intelligent tutoring systems for introductory computer programming

In a shell system for the generation of intelligent tutoring systems, the instructional model that one applies should be variable independent of the content of instruction. In this article, a taxonomy of content elements is presented in order to define a relatively content-independent instructional planner for introductory programming ITS's; the taxonomy is based on the concepts of programming goals and programming plans. Deliveries may be composed by the instantiation of delivery templates with the content elements. Examples from two different instructional models illustrate the flexibility of this approach. All content in the examples is taken from a course in COMAL-80 turtle graphics