共查询到20条相似文献，搜索用时 15 毫秒
1.
Timothy S. Gegg-Harrison 《Instructional Science》1991,20(2-3):173-192
A set of basic construct Prolog schemata are presented as the basic constructs of a structured Prolog for recursive list processing. Prolog schema hierarchies are given that group classes of Prolog programs within each of the basic construct Prolog schemata via most-specific schemata which high-light their similarities and differences. A schema-based instructional approach based upon this classification of Prolog programs is provided as a method of introducing recursion to novice Prolog programmers. The incorporation of this approach to teaching recursive Prolog programming in an intelligent tutoring system is presented. Finally, a schema-based Prolog programming environment embedding this tutoring system in addition to a standard Prolog development system is proposed which promotes the acquisition and use of structured programming constructs in Prolog. 相似文献
2.
Paul Brna Mike Brayshaw Alan Bundy Mark Elsom-Cook Pat Fung Tony Dodd 《Instructional Science》1991,20(2-3):193-214
In this paper we present an overview of the advances in debugging standard Prolog programs. The analysis offered is in terms of a classification of tools that provide different degrees of activity in the debugging process. Other possible dimensions of analysis are also outlined. 相似文献
3.
Maria Cecilia Calani Baranauskas 《Instructional Science》1995,23(1-3):89-109
This paper examines the general issues related to the interaction of novices in a Prolog environment based on tools to support both the operational and the declarative aspects of the language. The tools are based on graphical representations for the Prolog program and for Prolog execution of programs. This research aims to investigate how students come to understand and integrate these different views of Prolog and how the tools affect their understanding of the language.Observations conducted during this study show that the novices had an initial conceptual model of the virtual machine. Such models guided their interpretation of the Prolog program and of the behavior of the machine. Their misunderstandings may be interpreted as having resulted from their current models. These models evolved during their interaction within the environment. The type of feedback created by the tools provided changes in the students perspective related to the knowledge being represented (program) and the interlocutor in the process (virtual machine), which led them to the construction of the conceptual model of the language. 相似文献
4.
Tim Rajan 《Instructional Science》1991,20(2-3):89-110
This paper describes an approach to evaluating the usefulness of an Animated Program Tracer (APT) in communicating run-time information to novice Prolo programmers. The method used in the evaluation consists of a set of programs which have been specially designed to elicit how novices think Prolog programs are executed, and thus to reveal how accurate their model of program execution is. Two experiments are reported. The first determines the misconceptions that novices hold about the runtime actions of the Prolog interpreter, and produces six different categories of misconception. The second experiment investigates the ability of APT to communicate run-time information to novice Prolog programmers. A scoring technique was used to interpret subjects' answers, and shows that there was a significant improvement in the scores of the group who saw programs traced by APT when compared with a control group who saw no trace. 相似文献
5.
Maarten W. Van Someren 《Instructional Science》1990,19(4-5):361-376
One of the mechanisms that a student of Prolog must learn to understand and to use is unification. Initially students have only a partial understanding of unification and therefore they are not able to fully understand the execution of a program. This paper shows that a considerable part of the errors that students make can be explained by an impaired version of the correct algorithm. The changes from the correct algorithm to the false algorithms can be justified by a psychologically plausible mechanism. 相似文献
6.
A clear and consistent execution model of any programming language can lay the foundations not only for a good leaming experience, but also for a smoother design/edit/run/debug cycle. In this paper, we describe our attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming's traditional AND/OR trees. Our extension, called the AORTA diagram, is an And/OR Tree, Augmented to include invocation history status boxes at each node. This augmentation makes it possible to present a graphical view of Prolog execution which is very compact, yet which contains complete details of unification and control history, including multiple (backtracking) invocations and extra-logical features such as the cut. The paper describes our fine-grained view of Prolog execution in detail, and argues that this fine-grained view can readily be integrated into a coarse-grained model such as thatrequired for understanding the execution of very large programs. Indeed, our notation is already in use across a range of media, including textbook diagrams, video animations, and a graphical tracing and debugging facility running on modem graphics workstations. 相似文献
7.
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。 相似文献
8.
Paul Brna Alan Bundy Tony Dodd Marc Eisenstadt Chee Kit Looi Helen Pain Dave Robertson Barbara Smith Maarten van Someren 《Instructional Science》1991,20(2-3):111-133
In this paper we introduce the concept of a Prolog programming technique. This concept is then distinguished both from that of an algorithm and that of a programming cliché. We give examples and show how a knowledge of them can be useful in both programming environments and in teaching programming skills. The extraction of the various techniques is outlined. Finally, we discuss the problem of representing techniques where we conclude that the most promising approach is the development of a suitable meta-language. 相似文献
9.
Maarten W. Van Someren 《Instructional Science》1990,19(4-5):257-282
This paper reviews psychological research on programming and applies it to the problems of learning and teaching Prolog. We present a psychological model that explains how a certain class of errors in programs comes about. The model fits quite well with the results of a small sample of students and problems. The problems that underlie these and other errors seem to be (a) the complexity of the Prolog primitives (unification and backtracking) and (b) the misfit between students' naive solutions to a problem and the constructs that are available in Prolog (e.g. iterative solutions do not map easily to recursive programs). This suggests that learning Prolog could be helped by (1) coherent and detailed instruction about how Prolog works, (2) emphasis on finding recursive solutions that do not rely on primitives such as assignment and (3) instruction in programming techniques that allow students to implement procedural solutions. 相似文献
10.
为了使Prolog推理引擎可以从一定程度的语义上来区分子句,通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其谓词参数和头子目标来建立,而头子目标是指出现在规则体首部并且位于任何谓词调用之前的子目标集合.所提出的方法把一个Prolog程序转换成包含其子句本体的Prolog CG程序.实验表明,通过对Prolog子句建立本体,可以尽早地去除与当前目标明显不匹配的子句,从而使得目标求解树的规模减小.在概念图的描述形式下,子句本体使得Prolog程序的语义更清晰可读,在某些情况下能明显加快程序的求解过程. 相似文献
11.
The argument-based approach to validation has been widely adopted in validation theory. However, this approach aims to validate the intended interpretation and use of a single test or assessment. This article proposes an extension of the argument-based approach for validation of multiple tests. This extension is illustrated with the validation of a competency assessment program (CAP). This CAP was validated in collaboration with a quality manager of an educational program. In this case study, it became apparent that this approach fosters an in-depth evaluation of the assessment program and that the approach appears suitable for validation efforts of competency assessment programs. The approach guides validation research from a more general perspective, but also guides more detailed validation efforts. 相似文献
12.
We describe an editor geared to recursive Prolog procedures. It is similar to the structure editors built for many programming languages, except that instead of just ensuring the correctness of the syntax of the procedures built by the editor, the editor also ensures the correct use of recursion. By correct here we mean that the recursive procedure is guaranteed to terminate and to be well-defined. Within these constraints we have tried to ensure that the range of procedures that can be built is as complete as possible. 相似文献
13.
Teachers in public schools now have more students with more severe disabilities than they did in the past. Unfortunately, efforts to provide them with a quality education have been hampered by a lack of focused instructional planning. This article describes an innovative program developed for deaf multihandicapped students that has created an integrated focus for instruction. The organizing framework for the program incorporates the Functional Skills Screening Inventory, a domain referenced assessment of living and working skills. This structured approach enables teachers to identify current functional levels, develop meaningful short- and long-term objectives, and monitor student progress throughout their educational programs. It also facilitates long-range planning and evaluation of the instructional program on an ongoing basis. 相似文献
14.
This study investigated outcomes of a clinical faculty training program designed to prepare cooperating teachers for supervising pre-service teachers. Drawing on multiple data sources from more than a decade of implementation, researchers investigated initial outcomes of the program for cooperating teachers, student teachers, and new teachers. Findings suggest that the training resulted in a greater sense of efficacy for aspects of the role and may lead to more effective evaluation practices by clinical faculty and to stronger performances by student teachers. The lack of other significant results may have implications for policies related to the evaluation of teacher preparation programs. 相似文献
15.
Frederick Mayer 《College Teaching》2013,61(2):40-42
Decoding disciplinary expertise for novices is increasingly part of the undergraduate curriculum. But how might area studies and other interdisciplinary programs, which require integration of courses from multiple disciplines, decode expertise in a similar fashion? Additionally, as a part of decoding area studies and interdisciplines, how might a sequential experience of library-based research practice support that curriculum? Finally, how might a program introduce students to fellowships and career opportunities in the field early in their studies? Area studies and interdisciplinary departments face particular challenges in this regard because of multiple entry points into the major and the lack of a consistent pattern of student movement through the major (due to students studying abroad or because of the array of different disciplinary courses comprising individual programs of study). A tested course designed to address these issues, and adaptable for other area studies or interdisciplinary programs, is part of the required curriculum for Asian Studies at St. Olaf College in Northfield, MN. 相似文献
16.
Rachel Roegman A. Lin Goodwin Rebecca Reed Randolph M. Scott-McLaughlinII 《Educational Assessment, Evaluation and Accountability》2016,28(2):111-137
This mixed methods study examines one teacher preparation program’s use of Danielson’s 2007 Framework for Professional Practice, with an emphasis on how different stakeholders in the traditional student teaching triad rated student teachers, called residents, and justified their ratings. Data sources include biannual self-assessments of each resident as well as assessments by the residents’ cooperating teachers and university supervisors based on the Framework, including both a numerical score for each of the 22 indicators and a written justification for the highest and lowest scores in each of the four domains. Findings show significant differences in terms of how stakeholders are rating residents’ teaching practice. The variation in scores and rationales raises questions about the reliability and validity of the results of the Framework for use as a tool to evaluate student teachers. Implications for practice include the need to consider multiple and potentially conflicting roles, such as that of providing feedback while also evaluating student teachers. In addition, we consider the costs and benefits of more extensive training around the Framework within teacher preparation, if a lack of expertise with the rubric was the cause for the variation. Finally, we consider implications for student teachers around the different messages they may be receiving about what it means to learn to teach. 相似文献
17.
Rosalind Murray‐Harvey 《The Teacher Educator》2013,48(2):117-132
Abstract Student teacher stress during practicum experiences has generated interest across teacher education programs. However, there is very little research on the sources of support students draw on to help them cope with practicum stresses. This study sought data directly from the students to represent the student perspective. Students ranked their five most important sources of support for coping, and they noted the strategies they used to cope with practicum stresses. Students consistently reported that seeking support from the teacher was their primary coping strategy. This finding suggests that an effective student‐supervising teacher relationship is critical for student practicum success. Differences emerged between the most and least stressed students in terms of their reported use of coping strategies. Implications of the findings for teacher education programs are addressed. 相似文献
18.
Ann Alexander Jana Ulrich Tanya Davis Anne Wade 《Community College Journal of Research & Practice》2013,37(11):849-862
Much has been written about the characteristics of effective college teachers. However, skill sets have not yet been defined with any level of specificity. Also, instructors at community colleges have unique working conditions and challenges that influence how they teach. This paper illustrates the use of three studies conducted to build and validate a framework for defining the competencies of effective community college faculty. The project's culmination was a set of skills used to redesign one university's master's in education (MAEd) program in two-year college teaching. Although participants in all three studies identified subject matter expertise as an important competency, they emphasized several other skill sets as being important for meaningful student learning. Those skills are related to the use of authentic activities and multiple instructional delivery models, multiple ways of assessing student learning, and skills that are necessary outside the classroom in their teaching roles. Participants also emphasized interpersonal and affective components of effective teaching. 相似文献
19.
Porter SG Day J McCarty RE Shearn A Shingles R Fletcher L Murphy S Pearlman R 《CBE life sciences education》2007,6(1):65-73
Researchers in the field of bioinformatics have developed a number of analytical programs and databases that are increasingly important for advancing biological research. Because bioinformatics programs are used to analyze, visualize, and/or compare biological data, it is likely that the use of these programs will have a positive impact on biology education. Over the past years, we have been working to help biology instructors introduce bioinformatics activities into their curricula by providing them with instructional materials that use bioinformatics programs and databases as educational tools. In this study, we measured the impact of a set of these materials on student learning. The activities in these materials asked students to use the molecular structure visualization program Cn3D to locate, identify, or analyze diverse features in DNA structures. Both the experimental groups of college and high school students showed significant increases in learning relative to control groups. Further, learning gains by the college students were correlated with the number of activities assigned. We conclude that working with Cn3D was important for improving student understanding of DNA structure. This study is one example of how a bioinformatics program for visualization can be used to support student learning. 相似文献
20.
Pat Fung Mike Brayshaw Benedict Du Boulay Mark Elsom-Cook 《Instructional Science》1990,19(4-5):311-336
A series of novice programmers' misconceptions of Prolog flow-of-control and variable unification are identified on the basis of existing empirical evidence, and informal observation. This classification is intended to serve as a first pass attempt towards an understanding of these errors and as a basis for future empirical work. 相似文献