Physical Sciences and Mathematics Commons^™

Understanding And Advancing College Students' Mathematical Reasoning Using Collaborative Argumentation, Rachel Kay Heili

MSU Graduate Theses

This study explored students’ mathematical reasoning skills and offered supports to advance them through a collaborative argumentation framework in a college intermediate algebra class. The goals of this study were to make observations about student reasoning, identify specific actions to address those observations, and document student growth in reasoning as a result of those actions. An iterative analysis, mixed method study was conducted in which the researcher engaged students in responding to questions that required conceptual understandings using a collaborative argumentation framework as a tool to identify and code components of their responses—claim, evidence, and reasoning. After coding and analyzing …

Contextual Path Retrieval: A Contextual Entity Relation Embedding-Based Approach, Pei-Chi Lo, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

Contextual path retrieval (CPR) refers to the task of finding contextual path(s) between a pair of entities in a knowledge graph that explains the connection between them in a given context. For this novel retrieval task, we propose the Embedding-based Contextual Path Retrieval (ECPR) framework. ECPR is based on a three-component structure that includes a context encoder and path encoder that encode query context and path, respectively, and a path ranker that assigns a ranking score to each candidate path to determine the one that should be the contextual path. For context encoding, we propose two novel context encoding methods, …

Extracting Microservice Dependencies Using Log Analysis, Andres O. Rodriguez Ishida

Electronic Thesis and Dissertation Repository

Microservice architecture is an architectural style that supports the design and implementation of very scalable systems by distributing complex functionality to highly granular components. These highly granular components are referred to as microservices and can be dynamically deployed on Docker containers. These microservice architecture systems are very extensible since new microservices can be added or replaced as the system evolves. In such highly granular architectures, a major challenge that arises is how to quickly identify whether any changes in the system’s structure violate any policies or design constraints. Examples of policies and design constraints include whether a microservice can call …

Nonparametric Contextual Reasoning For Question Answering Over Large Knowledge Bases, Rajarshi Das

Doctoral Dissertations

Question answering (QA) over knowledge bases provides a user-friendly way of accessing the massive amount of information stored in them. We have experienced tremendous progress in the performance of QA systems, thanks to the recent advancements in representation learning by deep neural models. However, such deep models function as black boxes with an opaque reasoning process, are brittle, and offer very limited control (e.g. for debugging an erroneous model prediction). It is also unclear how to reliably add or update knowledge stored in their model parameters. This thesis proposes nonparametric models for question answering that disentangle logic from knowledge. For …

Leveraging The Inductive Bias Of Large Language Models For Abstract Textual Reasoning, Christopher Michael Rytting

Theses and Dissertations

Large natural language models (such as GPT-2 or T5) demonstrate impressive abilities across a range of general NLP tasks. Here, we show that the knowledge embedded in such models provides a useful inductive bias, not just on traditional NLP tasks, but also in the nontraditional task of training a symbolic reasoning engine. We observe that these engines learn quickly and generalize in a natural way that reflects human intuition. For example, training such a system to model block-stacking might naturally generalize to stacking other types of objects because of structure in the real world that has been partially captured by …

Assessing Evidence Relevance By Disallowing Assessment, John Licato, Michael Cooper

OSSA Conference Archive

Guidelines for assessing whether potential evidence is relevant to some argument tend to rely on criteria that are subject to well-known biasing effects. We describe a framework for argumentation that does not allow participants to directly decide whether evidence is potentially relevant to an argument---instead, evidence must prove its relevance through demonstration. This framework, called WG-A, is designed to translate into a dialogical game playable by minimally trained participants.

New Methodologies For Examining And Supporting Student Reasoning In Physics, John C. Speirs

Electronic Theses and Dissertations

Learning how to reason productively is an essential goal of an undergraduate education in any STEM-related discipline. Many non-physics STEM majors are required to take introductory physics as part of their undergraduate programs. While certain physics concepts and principles may be of use to these students in their future academic careers and beyond, many will not. Rather, it is often expected that the most valuable and longlasting learning outcomes from a physics course will be a repertoire of problem-solving strategies, a familiarity with mathematizing real-world situations, and the development of a strong set of qualitative inferential reasoning skills.

For more …

Transparency And Algorithmic Governance, Cary Coglianese, David Lehr

All Faculty Scholarship

Machine-learning algorithms are improving and automating important functions in medicine, transportation, and business. Government officials have also started to take notice of the accuracy and speed that such algorithms provide, increasingly relying on them to aid with consequential public-sector functions, including tax administration, regulatory oversight, and benefits administration. Despite machine-learning algorithms’ superior predictive power over conventional analytic tools, algorithmic forecasts are difficult to understand and explain. Machine learning’s “black-box” nature has thus raised concern: Can algorithmic governance be squared with legal principles of governmental transparency? We analyze this question and conclude that machine-learning algorithms’ relative inscrutability does not pose a …

Mixed Logical And Probabilistic Reasoning In The Game Of Clue, Todd W. Neller, Ziqian Luo

Computer Science Faculty Publications

Neller and Ziqian Luo ’18 presented a means of mixed logical and probabilistic reasoning with knowledge in the popular deductive mystery game Clue. Using at-least constraints, we more efficiently represented and reasoned about cardinality constraints on Clue card deal knowledge, and then employed a WalkSAT-based solution sampling algorithm with a tabu search metaheuristic in order to estimate the probabilities of unknown card places.

A Comparative Study Of The Role Of Values In Reasoning About Socio-Hydrological Issues In Undergraduate Students From Developed And Developing Countries, Destini Petitt

School of Natural Resources: Dissertations, Theses, and Student Research

In a world that is becoming increasingly connected and exploited, it is essential to understand how students’ values influence socio-scientific reasoning, particularly when dealing with complex, multifaceted, ever-connected water-related issues. This research strives to better understand stakeholder reasoning to provide teachers and decision-makers with ways to implement those stakeholders’ ideals into choices about complex socio-hydrological issues. Moreover, with 96% of research behavioral research being conducted on peoples from developed countries – who only represent 17% of the world’s population – this study strives to understand how peoples from developing countries – who represent 83% of the world’s population – reason. …

Insight Provenance For Spatiotemporal Visual Analytics: Theory, Review, And Guidelines, Andreas Hall, Paula Ahonen-Rainio, Kirsi Virrantaus

Journal of Spatial Information Science

Research on provenance, which focuses on different ways to describe and record the history of changes and advances made throughout an analysis process, is an integral part of visual analytics. This paper focuses on providing the provenance of insight and rationale through visualizations while emphasizing, first, that this entails a profound understanding of human cognition and reasoning and that, second, the special nature of spatiotemporal data needs to be acknowledged in this process. A recently proposed human reasoning framework for spatiotemporal analysis, and four guidelines for the creation of visualizations that provide the provenance of insight and rationale published in …

Mlcaf: Multi-Level Cross-Domain Semantic Context Fusioning For Behavior Identification, Muhammad Asif Razzaq, Claudia Villalonga, Sungyoung Lee, Usman Akhtar, Maqbool Ali, Eun Soo Kim, Asad Masood Khattak, Hyonwoo Seung, Taeho Hur, Jaehun Bang, Dohyeong Kim, Wajahat Ali Khan

All Works

© 2017 by the authors. Licensee MDPI, Basel, Switzerland. The emerging research on automatic identification of user’s contexts from the cross-domain environment in ubiquitous and pervasive computing systems has proved to be successful. Monitoring the diversified user’s contexts and behaviors can help in controlling lifestyle associated to chronic diseases using context-aware applications. However, availability of cross-domain heterogeneous contexts provides a challenging opportunity for their fusion to obtain abstract information for further analysis. This work demonstrates extension of our previous work from a single domain (i.e., physical activity) to multiple domains (physical activity, nutrition and clinical) for context-awareness. We propose multi-level …

Intuition: Role, Biases, Cognitive Basis, And A Hypothetical Synergistic Explanation Of Intuitive Brain Operations, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper explores the characteristics of the intuitive responses that are generated by our brain continuously in an automatic and effortless manner. However, while intuition is a very powerful mechanism, it is also subject to many biasing influences. The author discusses the role of intuition, examines representative examples of biasing influences, compares cognitive theories of intuition advanced by Simon (2002), Klein (2003 and 1999), and Kahneman (2011), and then advances a hypothetical explanation of the neurological operations underlying intuition based on Hebbian rules (Hebb 1949) of plasticity in combination with synergetic principles.

Examining Student Reasoning In Introductory Physics: Reversing The Chain, William S. Johnson

Honors College

While physics education researchers have investigated student conceptual understanding of specific topics in physics for over thirty years, much less is known about the ability of students to construct qualitative inferential reasoning chains. Such reasoning chains are ubiquitous in scaffolded, research-based instructional materials. As part of a multi-institutional effort to develop instruments to probe student reasoning skills, this thesis describes an investigation into whether the direction of a question can influence the ability of the students to construct correct reasoning chains. Reasoning reversal tasks were administered to introductory calculus-based physics students at the University of Maine. Students were randomly presented …

Students' Reasoning With Haptic Technologies: A Qualitative Study In The Electromagnetism Domain, Sadhana Balachandran

Open Access Theses

With abundant applications in the medical training and entertainment industry, haptic technology is slowly making its way into the realm of science education, particularly in conveying abstract and non-visible concepts. Electric field is one such abstract concept. Past studies have shown that learning concepts such as electric fields in a traditional classroom can be quite challenging since students have a hard time visualizing the phenomena and applying its effects to reason. Furthermore, these concepts are the building blocks for more complex concepts such as matter and molecular interactions. Visuo-haptic devices provide a great platform to enable students to visualize and …

How Accurate Are Physics Students In Evaluating Changes In Their Understanding?, Therese Claire, Tija L. Tippett, Andrew Boudreaux

Physics & Astronomy

An assessment question involving Newton’s 2nd law was administered in a physics course for preservice elementary teachers before and again after instruction. The posttest included a prompt asking students to describe the specific ways their thinking changed. Student reasoning was coded for physics content accuracy; many students exhibited changes from primitive, experientially-based reasoning to more formal reasoning. Students' self-reported reflections were then compared to the differences in the pre- and posttest codes. We find that many students do not identify substantive changes in their reasoning, while other students reflect at only a surface level. We also find that some students …

Reasoning & Proof In The Hs Common Core, Laurie O. Cavey

Laurie O. Cavey

No abstract provided.

Being Reasonable: Using Brainteasers To Develop Reasoning Ability In Humanistic Mathematics Courses, Gary Stogsdill

Journal of Humanistic Mathematics

Developing reasoning ability is often cited as one of the principal justifications of a mathematics requirement for liberal arts undergraduates. Humanistic math courses have become recognized as a paradigm for liberal arts mathematics, but such courses may not provide the opportunity to develop reasoning ability. The author describes his procedure for using brainteasers to promote reasoning in a humanistic math course for liberal arts undergraduates.

Promoting And Assessing Student Metacognition In Physics, Alistair Mcinerny, Andrew Boudreaux, Mila Kryjevskaia, Sara Julin

Physics & Astronomy

A scaffolded metacognition activity was incorporated into the laboratory component of the introductory physics course at Western Washington University (WWU) and Whatcom Community College (WCC). Each week, students wrote reflectively to contrast their initial and current understanding of a specific physics topic, and described the "trigger" events that led them to change their thinking. Goals were to enhance conceptual understanding as well as the depth and quality of student reflection. A coding scheme was developed to evaluate student reflections. We present the scaffolded activity and coding scheme, as well as preliminary findings about changes in student reflection over time and …

A Scalable Backward Chaining-Based Reasoner For A Semantic Web, Hui Shi, Kurt Maly, Steven Zeil

Computer Science Faculty Publications

In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning over a semantic web where the underlying knowledge base covers linked data about science research that are being harvested from the Web and are supplemented and edited by community members. In the semantic web over which we want to reason, frequent changes occur in the underlying knowledge base, and less frequent changes occur in the underlying ontology or the rule set that governs the reasoning. Interposing a backward chaining reasoner between a knowledge base and a query manager yields an architecture that can support …

Curated Reasoning By Formal Modeling Of Provenance, Kevin B. Shaw

University of New Orleans Theses and Dissertations

The core problem addressed in this research is the current lack of an ability to repurpose and curate scientific data among interdisciplinary scientists within a research enterprise environment. Explosive growth in sensor technology as well as the cost of collecting ocean data and airborne measurements has allowed for exponential increases in scientific data collection as well as substantial enterprise resources required for data collection. There is currently no framework for efficiently curating this scientific data for repurposing or intergenerational use.

There are several reasons why this problem has eluded solution to date to include the competitive requirements for funding and …

Measuring Habits Of Mind: Toward A Prompt-Less Instrument For Assessing Quantitative Literacy, Stuart Boersma, Dominic Klyve

Numeracy

In this study, we offer a new “prompt-less” instrument for measuring students’ habits of mind in the field of quantitative literacy. The instrument consists of a series of questions about a newspaper article the students read. The questions do not explicitly solicit quantitative information; students’ habit of mind is assessed by their use of quantitative reasoning even when it is not asked for. Students’ answers were graded according to a modified version of the Quantitative Literacy Assessment Rubric (QLAR) published in this journal (vol. 4, issue 2). We applied the instrument and rubric to assess pre- and post-intervention habits of …

Demonstration: Dynamic Sensor Registration And Semantic Processing For Ad-Hoc Mobile Environments (Semmob), Pramod Anantharam, Gary Alan Smith, Josh Pschorr, Krishnaprasad Thirunarayan, Amit P. Sheth

Kno.e.sis Publications

SemMOB enables dynamic registration of sensors via mobile devices, search, and near real-time inference over sensor observations in ad-hoc mobile environments (e.g., fire fighting). We demonstrate SemMOB in the context of an emergency response use case that requires automatic and dynamic registrations of sensor devices and annotation of sensor observations, decoding of latitude-longitude information in terms of human sensible names, fusion and abstraction of sensor values using background knowledge, and their visualization using mash-up.

A Web-Integrated Environment For Component-Based Software Reasoning, Charles Cook

All Theses

This thesis presents the Web IDE, a web-integrated environment for component-based software reasoning. The Web IDE is specifically tailored to emphasize the relationships among various components in component-based software engineering (CBSE) and to facilitate reasoning. It allows students to use RESOLVE, a component-based, integrated specification and programming language, to build components and systems, providing real-time feedback that can be used to reason about the correctness of their component implementations. Real-time interaction and relationship focused component presentation reinforces CBSE and reasoning principles in a way not possible with traditional programming exercises and file management systems.
The Web IDE has gone through …

Use Of Cognitive Constructs In Linear Algebra, Azucena Zamora

Open Access Theses & Dissertations

Thesis analyzed the presence of two cognitive entities-- modes of thinking and metonymies and metaphors- in the reasoning of three students enrolled in a first year matrix algebra course at a southwest university via the responses given to a set of eight questions asked during one-on-one interviews. The findings of our analysis shed light on the cognitive constructs that students employ to form their understanding of linear algebra concepts. Furthermore, our findings provide clues about the ways in which students move from one mode of thinking to another in the context of varying levels of exposure to graphical, algebraic, and …

Modeling Geographic Awareness Of Road Networks For Consistency Verification, Ari Kassin

Open Access Theses & Dissertations

Problems related to transportation and inspection of valuable or sensitive assets such as commercial products and materials, cultural items and works of art, and hazardous materials share similarities and can be modeled by a core set of abstract entities including a payload, a vehicle, a driver, and an inspector. To make the load handling capabilities of security monitoring and inspection systems more scalable, security can be increased by reducing the variability of transportation routes to a finite set of authorized routes between trip origin and destination locations. Then trip anomalies, which are unexpected trip variations, can be used in inspection …

Students' Reasoning About The Concept Of Limit In The Context Of Reinventing The Formal Definition, Craig Alan Swinyard

Dissertations and Theses

Many researchers (Artigue, 2000; Bezuidenhout, 2001; Cornu, 1991; Dorier, 1995) have noted the vital role limit plays as a foundational concept in analysis. The vast majority of topics encountered in calculus and undergraduate analysis are built upon understanding the concept of limit and being able to work flexibly with its formal definition (Bezuidenhout, 2001). The purpose of this study was to: (1) Develop insight into students' reasoning about limit in relation to their engagement in instruction designed to support their reinventing the formal definition of limit, and; (2) Inform the design of principled instruction that might support students' attempts to …

Enforcing Behavioral Constraints In Evolving Aspect-Oriented Programs, Raffi T. Khatchadourian, Johan Dovland, Neelam Soundarajan

Publications and Research

Reasoning, specification, and verification of Aspect-Oriented (AO) programs presents unique challenges especially as such programs evolve over time. Components, base-code and aspects alike, may be easily added, removed, interchanged, or presently unavailable at unpredictable frequencies. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed. It is well known, however, that modular reasoning about AO programs is difficult. In this paper, we present our ongoing work in constructing a rely-guarantee style reasoning system for the Aspect-Oriented Programming (AOP) paradigm, adopting a trace-based …

A Diagrammatic Reasoning System For The Description Logic Alc, Peter W. Eklund, Frithjof Dau

Faculty of Informatics - Papers (Archive)

Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows well-formed formulas to be derived. This calculus is intended in the analog of logical inference. Description logics (DLs) have become a popular knowledge representation and processing language. DLs correspond to decidable fragments of first order logic; their notation is in the style of symbolic, variable-free formulas. Moreover, DLs are equipped with table au theorem provers that are proven …

Elements Of Human Decision-Making, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The purpose of this paper is to present some understandings of the human problem-solving activity that we have gained in the Collaborative Agent Design Research Center (CADRC) over the past two decades. Since we feel strongly that the human decision-maker should be an integral component of any computer-based decision-support system, it follows that we would have endeavored to incorporate many of the elements that appear to be important to the user in the design of these systems. The complexity of the human cognitive system is evidenced by the large body of literature that describes problem-solving behavior and the relatively fewer …