Filters








53 Hits in 9.1 sec

Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems

Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
2004 Journal of automated reasoning  
In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their explanations  ...  Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems.  ...  We thank the entire NLT team for their many contributions in creating and building the Why2-Atlas system.  ... 
doi:10.1023/b:jars.0000044823.50442.cd fatcat:rx3pdhirejhyfiqfcu3t55mnwa

Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems

Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
2004 Journal of automated reasoning  
In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their explanations  ...  Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems.  ...  We thank the entire NLT team for their many contributions in creating and building the Why2-Atlas system.  ... 
doi:10.1007/s10817-004-4857-0 fatcat:dpu73ahpsbc4hf2awzocuvwjmq

A Systematic Literature Review of Intelligent Tutoring Systems with Dialogue in Natural Language

Jose Paladines, Jaime Ramirez
2020 IEEE Access  
CIRCSIM-Tutor generates a dialog based on a student's prediction on seven cardiovascular parameters previously submitted in a table. In Dialog, the students must prove a theorem in set theory.  ...  In [96] , they proposed a new mechanism to analyze the explanations of the students.  ...  His main research interests include ontology engineering and adaptive systems with a special focus on intelligent tutoring systems combined with 3D virtual environments.  ... 
doi:10.1109/access.2020.3021383 fatcat:cw5bz6ytdnegfhyj3v2wcy3a7i

PROBABILITY-BASED INFERENCE IN COGNITIVE DIAGNOSIS

Robert J. Mislevy
1994 ETS Research Report Series  
REPORT DOCUMENTATION PAGE oMB No. 0700188 Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions. sear•,ng  ...  Directorate for Information Operations and Reports. 1215 Jefferson Davis Highway. Suite 1204. Arlington. VA 22202-4302. and to the Office of Management and Budget.  ...  One is the use mentioned in our example, namely, cognitive diagnosis for short term instructional guidance as in an intelligent tutoring system (ITS).  ... 
doi:10.1002/j.2333-8504.1994.tb01576.x fatcat:6bvtltmccrhsbj4zwvdjtzhfpa

Page 56 of Cognitive Science Vol. 31, Issue 1 [page]

Cognitive Science  
Abductive theorem proving for analyzing student explanations and guiding feedback in intelligent tutoring systems. Journal of Automated Reasoning, 32, 187-226. McNamara, D. S. (2001).  ...  Combining competing language understanding approaches in an intelligent tutoring system. In J. C. Lester, R. M. Vicari, & F.  ... 

Orchestrating Semiotic Leaps from Tacit to Cultural Quantitative Reasoning—The Case of Anticipating Experimental Outcomes of a Quasi-Binomial Random Generator

Dor Abrahamson
2009 Cognition and Instruction  
by top-down systemic coherence. 4 Therefore, the design utilized in this study guided students from the phenomenal to the semiotic, and the study focuses on the impediments germane to this learning path  ...  Stevens and Hall (1998) , who focused on the mathematical discipline, used a similar framework to monitor the conceptual development of a student by analyzing the discursive practices of a tutor-tutee  ...  Finally, I thank Michael Monroe for "Simple Life" and "Wintersong," pensive musical art that inspired much of the aforementioned search for coherence.  ... 
doi:10.1080/07370000903014261 fatcat:gddu7o7uyfbyhhu5yzagra4rxy

A 20-Year Community Roadmap for Artificial Intelligence Research in the US [article]

Yolanda Gil, Bart Selman
2019 arXiv   pre-print
The deployment of AI systems has not only created a trillion-dollar industry that is projected to quadruple in three years, but has also exposed the need to make AI systems fair, explainable, trustworthy  ...  Decades of research in artificial intelligence (AI) have produced formidable technologies that are providing immense benefit to industry, government, and society.  ...  to sensory inputs, prove mathematical theorems, play challenging games, synthesize and summarize information, create art and music, and even write histories." 2 This makes human intelligence a natural  ... 
arXiv:1908.02624v1 fatcat:jza6i2tzufgeracsou77qukbu4

Recent research on geometry education: an ICME-13 survey team report

Nathalie Sinclair, Maria G. Bartolini Bussi, Michael de Villiers, Keith Jones, Ulrich Kortenkamp, Allen Leung, Kay Owens
2016 ZDM: Mathematics Education  
They found that it was difficult for students to distinguish within the configurations of a geometric diagram "the visual characteristics... that are relevant from those that are not" (p. 180).  ...  Gal and Linchevski (2010) utilised Duval's notion of figural apprehension in their work on student difficulties in geometry, in particular exemplifying "how processes which are prior to accompanying 'reasoning  ...  In most countries, the proportion of classroom time spent doing geometry in school mathematics comes nowhere near the 90 % that claimed by Dieudonné for mathematics.  ... 
doi:10.1007/s11858-016-0796-6 fatcat:jbalhe5tj5calhfshjcauhzuby

MATHEMATICAL KNOWLEDGE

1976 Philosophical Books  
The main contribution in this thesis is a way to measure the effectiveness of a class of generalized learning strategies.  ...  This thesis will deliver a method for answering questions like the above, using statistical techniques, and the basic components of a "lab" for testing claims about mathematics learning.  ...  Aaron Krowne and Raymond Puzio have been stalwart companions in the PlanetMath project for a decade now.  ... 
doi:10.1111/j.1468-0149.1976.tb01690.x fatcat:cgilk7w3gjgwncz5fcswubr3f4

Theory Building in Geometry Education: Designing and implementing a course for 12-15 year old students [article]

Madhav Kaushish
2021 arXiv   pre-print
students in two schools in Pune, India.  ...  The data used in this description includes video recordings of the sessions, teacher reflections at the end of each session, and student reflections and feedback.  ...  For the Podgon module, the data to be analyzed was not narrowed.  ... 
arXiv:2108.07393v1 fatcat:ecbd6co7tzgvnfm72g7fcevoz4

Culture and cognition in information technology education

Jaana Holvikivi
2007 European Journal of Engineering Education  
In behaviorist instruction, the student is considered an active learner who is guided individually through practice work that gives immediate feedback and reinforcement of learnt skills.  ...  When I gave learning log feedback, all students were shy to look at it, not being accustomed to getting verbal feedback.  ...  In case of a marriage contract, a Paiela groom has to give 20 14 pigs (in the 14-based system) to the bride's parents. How many pigs does that make in the decimal system?  ... 
doi:10.1080/03043790601055642 fatcat:jywwzsavbzbb5moc7a3uzgk2fe

The Role of Intelligent Systems in the National Information Infrastructure

Daniel S. Weld, Joe Marks, Daniel G. Bobrow
1995 The AI Magazine  
Paul Beame, Pat Hayes, Richard Korf, Ed Lazowska, Aaron Sloman, and Lynn Stein gave many thoughtful suggestions for ways to improve this report.  ...  The opinions presented in the report do not represent the views of the National Science Foundation.  ...  Theorem proving and logical inference algorithms (Subsection 3.1) can detect ambiguities, incompleteness, and inconsistency in the specification.  ... 
doi:10.1609/aimag.v16i3.1147 dblp:journals/aim/WeldMB95 fatcat:lseja6ytdredfbnrfy64wbmuwa

Assessing mathematical proficiency

2008 ChoiceReviews  
Acknowledgements Suzanne Wilson found the California exams which Lee Shulman used in his Acknowledgment My sincere thanks to Meghan Shaughnessy for her help with reading drafts, locating references  ...  At the action level, for example, there are mathematical activities such as solving problems and proving theorems.  ...  In practice, these are presented as scoring guides for student responses to assessment tasks.  ... 
doi:10.5860/choice.45-5629 fatcat:wmtmsl3pejgndjvljup34bjsiy

Scientific Discovery Processes in Children, Adults, and Machines [chapter]

2014 Mind Matters  
Artificial Intelligence, 3(1-4), 251-288. Fikes, R. E., & Nilsson, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving.  ...  Heuristic search: To build the proofs, L T created an initial data structure containing the initial axioms and theorem to be proved.  ...  Intelligent control of external software systems (Tech. Rep. No. 5-55-91). Artificial Intelligence in Engineering, 8,3-2l. Pathak, D. K., & Steier, D.  ... 
doi:10.4324/9781315806679-15 fatcat:i7euajo6lnbflgvwfni5cuvqoi

A General Model of Adaptive Tutorial Dialogues for Intelligent Tutoring Systems [article]

A. Weerasinghe, University Of Canterbury
2013
We repeated the experiment using NORMIT in a real-world class room environment with a much smaller group of students (18 in NORMIT study vs 65 in EER-Tutor study) but did not find significant differences  ...  The model consists of three parts: an error hierarchy, tutorial dialogues and rules for adapting them. We incorporated our model into EER-Tutor, a constraint-based tutor that teaches database design.  ...  Such a tutor can provide feedback to student, while still allowing for multiple solutions differing in non-essential elements, such as aesthetical and personal preferences.  ... 
doi:10.26021/1500 fatcat:y6w3hihf2ndczcic5zn4qsflgi
« Previous Showing results 1 — 15 out of 53 results