Simulators are becoming standard equipment for interactive learning environments. They allow for attractive teaching with a large degree of freedom for the learner. However, without proper guidance, the learner easily gets lost in a simulation environment. Providing guidance requires an image of what the learner is doing. Acquiring this image by diagnosing the behaviour of the learner is a complex and resource-intensive task for which yet no general approach exists. In this book, we apply existing ideas and techniques from the field of model-based reasoning and diagnosis to interactive learning environments. We present a framework for subject matter modelling and diagnosis of learner behaviour. The framework defines generic techniques for automatically generating subject matter models from qualitative simulations. A generic model-based engine employs these models for diagnosing the learner's behaviour. The framework provides a powerful and reusable approach to individualising guidance in educational systems.

This present volume describes some of the latest advances in the computer science field today. This current volume emphasizes information processing with chapters on artificial intelligence, data bases and software engineering. In particular it looks at the interfaces between AI and software development with chapters on how AI affects the development of correct programs, and conversely, how software engineering can affect the development of correct AI programs.Key Features:* In-depth surveys and tutorials on new computer technology.* Well-known authors and researchers in the field.* Extensive bibliographies with most chapters.* Impact of AI on software development and impact of software development on correct AI programs.* What is the educational role of mathematics in the development of the next generation of computer professional?* In-depth surveys and tutorials on new computer technology.* Well-known authors and researchers in the field.* Extensive bibliographies with most chapters.* Impact of AI on software development and impact of software development on correct AI programs.* What is the educational role of mathematics in the development of the next generation of computer professional?

"This book is a comprehensive and in-depth reference to the most recent developments in the field covering theoretical developments, techniques, technologies, among others"--Provided by publisher.

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important and innovative changes in theories and concepts. Gathering revised contributions presented at the international conference on Model-Based Reasoning (MBR18), held on October 24–26 2018 in Seville, Spain, the book is divided into three main parts. The first focuses on models, reasoning, and representation. It highlights key theoretical concepts from an applied perspective, and addresses issues concerning information visualization, experimental methods, and design. The second part goes a step further, examining abduction, problem solving, and reasoning. The respective papers assess different types of reasoning, and discuss various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies, this part is intended to foster new discussions and stimulate new ideas. All in all, the book provides researchers and graduate students in the fields of applied philosophy, epistemology, cognitive science, and artificial intelligence alike with an authoritative snapshot of the latest theories and applications of model-based reasoning.

The volume is based on the papers that were presented at the Interna tional Conference Model-Based Reasoning in Scientific Discovery (MBR'98), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in December 1998. The papers explore how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. The study of diagnostic, visual, spatial, analogical, and temporal rea soning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of tradi tional notions of reasoning such as classical logic. Traditional accounts of scientific reasoning have restricted the notion of reasoning primarily to de ductive and inductive arguments. Understanding the contribution of model ing practices to discovery and conceptual change in science requires ex panding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philoso phy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model based reasoning to be considered in this book. The models are intended as in terpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain.

The field of Artificial Intelligence in Education includes research and researchers from many areas of technology and social science. This study aims to open opportunities for the cross-fertilization of information and ideas from researchers in the many fields that make up this interdisciplinary research area.

This book constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence in Education, AIED 2011, held in Auckland, New Zealand in June/July 2011. The 49 revised full papers presented together with three invited talks and extended abstracts of poster presentations, young researchers contributions and interactive systems reports and workshop reports were carefully reviewed and selected from a total of 193 submissions. The papers report on technical advances in and cross-fertilization of approaches and ideas from the many topical areas that make up this highly interdisciplinary field of research and development including artificial intelligence, agent technology, computer science, cognitive and learning sciences, education, educational technology, game design, psychology, philosophy, sociology, anthropology and linguistics.

This book constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence in Education, AIED 2015, held in Madrid, Spain, in June 2015. The 50 revised full papers presented together with 3 keynotes, 79 poster presentations, 13 doctoral consortium papers, 16 workshop abstracts, and 8 interactive event papers were carefully reviewed and selected from numerous submissions. The conference provides opportunities for the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology, linguistics, as well as many domain-specific areas.

The theme of TechEd2000 was Teaching and Learning in a Network World. The conference brings together professionals from all sectors and levels of education, and provides a vision of the exciting, interactive, technology-rich future of education. TechEd2000 plays a vital role in equipping universities, colleges, and schools with a strong base technology awareness and the knowledge needed to tackle the increasing challenges of teaching and learning. Presentations accepted for TechEd2000 demonstrate innovative solutions for key technology issues faced by educational institutions from throughout the world.