Constructing arguments is essential in science subjects like chemistry. For example, students in organic chemistry should learn to argue about the plausibility of competing chemical reactions by including various sources of evidence and justifying the derived information with reasoning. While doing so, students face significant challenges in…

Generative Artificial Intelligence (GenAI) models have grown increasingly popular among pre-service teachers (PSTs) and have become their constant companions, primarily assisting them in scientific writing. This article presents a study that investigates the differences and benefits of GenAI in the scientific writing process. Essays generated by…

With the rapid advancement of generative artificial intelligence (GAI), its application in educational settings has increasingly become a focal point, particularly in enhancing students' analytical capabilities. This study examines the effectiveness of the ChatGPT prompt framework in improving text analysis skills among students, specifically…

EFL learners generally have the problem of logical fallacies in EFL argumentative writings. Logical fallacies are errors in reasoning that can undermine EFL argumentative writing quality. Explicit training on logical fallacies may help learners deal with the problem and enhance their self-efficacy and proficiency in EFL argumentative writing,…

As soon as a new technology emerges, the education community explores its affordances and the possibilities to apply it in education. In this article, we analyze sessions with ChatGPT around topics in basic linear algebra. We reflect on the affordances and changes between two versions of ChatGPT since its worldwide publication in our area of…

Teaching axiomatic representation of mathematical objects in all grades can and should be done. The paper analyzes students' understanding and how they perceive theorems using problem posing. We looked at how English-language learners create questions about four geometric theorems from a 9th-grade math textbook. The analysis looks at the…

With the rapid development of science and technology in recent years, the application areas of fuzzy logic have also gained speed. Fuzzy logic is a frequently preferred approach in the educational process, and it can be said that scientific publications on this topic have recently gained momentum in the literature. In this context, the present…

"Natural language understanding" (NLU) of text is a fundamental challenge in AI, and it has received significant attention throughout the history of NLP research. This primary goal has been studied under different tasks, such as Question Answering (QA) and Textual Entailment (TE). In this thesis, we investigate the NLU problem through…

Logic as a knowledge representation and reasoning language is a fundamental topic of an Artificial Intelligence (AI) course and includes a number of sub-topics. One of them, which brings difficulties to students to deal with, is converting natural language (NL) sentences into first-order logic (FOL) formulas. To assist students to overcome those…

We have assembled a large corpus of student submissions to an automatic grading system, where the subject matter involves the translation of natural language sentences into propositional logic. Of the 2.3 million translation instances in the corpus, 286,000 (approximately 12%) are categorized as being in error. We want to understand the nature of…

Citizens need the capability to conduct their own inquiry projects so that they can make sense of claims about new energy policies, health remedies, or financial opportunities. To develop the lifelong capability to grapple with these dilemmas, we report on ways to design precollege units that engage students in realistic, personally relevant…

AutoTutor is a natural language tutoring system that has produced learning gains across multiple domains (e.g., computer literacy, physics, critical thinking). In this paper, we review the development, key research findings, and systems that have evolved from AutoTutor. First, the rationale for developing AutoTutor is outlined and the advantages…

AutoTutor is a natural language tutoring system that has produced learning gains across multiple domains (e.g., computer literacy, physics, critical thinking). In this paper, we review the development, key research findings, and systems that have evolved from AutoTutor. First, the rationale for developing AutoTutor is outlined and the advantages…

In this dissertation, I defend "semantic singularism", which is the view that syntactically plural terms, such as "they" or "Russell and Whitehead", are semantically singular. A semantically singular term is a term that denotes a single entity. Semantic singularism is to be distinguished from "syntactic singularism", according to which…

The natural-language tutorial dialogue system that the authors are developing will allow them to focus on the nature of interactivity during tutoring as a malleable factor. Specifically, it will serve as a research platform for studies that manipulate the frequency and types of verbal alignment processes that take place during tutoring, such as…