-
Toward Reasonable Parrots: Why Large Language Models Should Argue with Us by Design
Authors:
Elena Musi,
Nadin Kokciyan,
Khalid Al-Khatib,
Davide Ceolin,
Emmanuelle Dietz,
Klara Gutekunst,
Annette Hautli-Janisz,
Cristian Manuel Santibañez Yañez,
Jodi Schneider,
Jonas Scholz,
Cor Steging,
Jacky Visser,
Henning Wachsmuth
Abstract:
In this position paper, we advocate for the development of conversational technology that is inherently designed to support and facilitate argumentative processes. We argue that, at present, large language models (LLMs) are inadequate for this purpose, and we propose an ideal technology design aimed at enhancing argumentative skills. This involves re-framing LLMs as tools to exercise our critical…
▽ More
In this position paper, we advocate for the development of conversational technology that is inherently designed to support and facilitate argumentative processes. We argue that, at present, large language models (LLMs) are inadequate for this purpose, and we propose an ideal technology design aimed at enhancing argumentative skills. This involves re-framing LLMs as tools to exercise our critical thinking rather than replacing them. We introduce the concept of 'reasonable parrots' that embody the fundamental principles of relevance, responsibility, and freedom, and that interact through argumentative dialogical moves. These principles and moves arise out of millennia of work in argumentation theory and should serve as the starting point for LLM-based technology that incorporates basic principles of argumentation.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Mitigating Sex Bias in Audio Data-driven COPD and COVID-19 Breathing Pattern Detection Models
Authors:
Rachel Pfeifer,
Sudip Vhaduri,
James Eric Dietz
Abstract:
In the healthcare industry, researchers have been developing machine learning models to automate diagnosing patients with respiratory illnesses based on their breathing patterns. However, these models do not consider the demographic biases, particularly sex bias, that often occur when models are trained with a skewed patient dataset. Hence, it is essential in such an important industry to reduce t…
▽ More
In the healthcare industry, researchers have been developing machine learning models to automate diagnosing patients with respiratory illnesses based on their breathing patterns. However, these models do not consider the demographic biases, particularly sex bias, that often occur when models are trained with a skewed patient dataset. Hence, it is essential in such an important industry to reduce this bias so that models can make fair diagnoses. In this work, we examine the bias in models used to detect breathing patterns of two major respiratory diseases, i.e., chronic obstructive pulmonary disease (COPD) and COVID-19. Using decision tree models trained with audio recordings of breathing patterns obtained from two open-source datasets consisting of 29 COPD and 680 COVID-19-positive patients, we analyze the effect of sex bias on the models. With a threshold optimizer and two constraints (demographic parity and equalized odds) to mitigate the bias, we witness 81.43% (demographic parity difference) and 71.81% (equalized odds difference) improvements. These findings are statistically significant.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
A Review of Full-Sized Autonomous Racing Vehicle Sensor Architecture
Authors:
Manuel Mar,
Vishnu Chellapandi,
Liangqi Yuan,
Ziran Wang,
Eric Dietz
Abstract:
In the landscape of technological innovation, autonomous racing is a dynamic and challenging domain that not only pushes the limits of technology, but also plays a crucial role in advancing and fostering a greater acceptance of autonomous systems. This paper thoroughly explores challenges and advances in autonomous racing vehicle design and performance, focusing on Roborace and the Indy Autonomous…
▽ More
In the landscape of technological innovation, autonomous racing is a dynamic and challenging domain that not only pushes the limits of technology, but also plays a crucial role in advancing and fostering a greater acceptance of autonomous systems. This paper thoroughly explores challenges and advances in autonomous racing vehicle design and performance, focusing on Roborace and the Indy Autonomous Challenge (IAC). This review provides a detailed analysis of sensor setups, architectural nuances, and test metrics on these cutting-edge platforms. In Roborace, the evolution from Devbot 1.0 to Robocar and Devbot 2.0 is detailed, revealing insights into sensor configurations and performance outcomes. The examination extends to the IAC, which is dedicated to high-speed self-driving vehicles, emphasizing developmental trajectories and sensor adaptations. By reviewing these platforms, the analysis provides valuable insight into autonomous driving racing, contributing to a broader understanding of sensor architectures and the challenges faced. This review supports future advances in full-scale autonomous racing technology.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
A Logic Programming Approach to Global Logistics in a Co-Design Environment
Authors:
Emmanuelle Dietz,
Tobias Philipp,
Gerrit Schramm,
Andreas Zindel
Abstract:
In a co-design environment changes need to be integrated quickly and in an automated manner. This paper considers the challenge of creating and optimizing a global logistics system for the construction of a passenger aircraft within a co-design approach with respect to key performance indicators (like cost, time or resilience). The product in question is an aircraft, comprised of multiple componen…
▽ More
In a co-design environment changes need to be integrated quickly and in an automated manner. This paper considers the challenge of creating and optimizing a global logistics system for the construction of a passenger aircraft within a co-design approach with respect to key performance indicators (like cost, time or resilience). The product in question is an aircraft, comprised of multiple components, manufactured at multiple sites worldwide. The goal is to find an optimal way to build the aircraft taking into consideration the requirements for its industrial system. The main motivation for approaching this challenge is to develop the industrial system in tandem with the product and making it more resilient against unforeseen events, reducing the risks of bottlenecks in the supply chain. This risk reduction ensures continued efficiency and operational success. To address this challenging and complex task we have chosen Answer Set Programming (ASP) as the modeling language, formalizing the relevant requirements of the investigated industrial system. The approach presented in this paper covers three main aspects: the extraction of the relevant information from a knowledge graph, the translation into logic programs and the computation of existing configurations guided by optimization criteria. Finally we visualize the results for an effortless evaluation of these models. Internal results seem promising and yielded several new research questions for future improvements of the discussed use case.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
In-situ wavelength calibration without a calibration target: use of Fraunhofer lines after landing on planetary surface
Authors:
Shoki Mori,
Ute Boettger,
Maximilian Buder,
Yuichiro Cho,
Enrico Dietz,
Till Hagelschuer,
Heinz-Wilhelm Hübers,
Shingo Kameda,
Emanuel Kopp,
Olga Prieto-Ballesteros,
Fernando Rull,
Conor Ryan,
Susanne Schroeder,
Seiji Sugita,
Haruhisa Tabata,
Tomohiro Usui,
Koki Yumoto
Abstract:
Accurate wavelength calibration is critical for qualitative and quantitative spectroscopic measurements. Many spectrometers for planetary exploration are equipped with onboard calibration sources. However, such calibration sources are not always available because planetary lander missions often have strong limitations in size and mass. In this study, we propose and validate a wavelength calibratio…
▽ More
Accurate wavelength calibration is critical for qualitative and quantitative spectroscopic measurements. Many spectrometers for planetary exploration are equipped with onboard calibration sources. However, such calibration sources are not always available because planetary lander missions often have strong limitations in size and mass. In this study, we propose and validate a wavelength calibration method using solar Fraunhofer lines observed in reflective spectra. As a result, for a visible Raman spectrometer, the accuracy is better than 0.6 cm-1 in 0-4000 cm-1 range, and the magnesium abundance of olivine is estimated more accurately than 2%.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
A Quantitative Symbolic Approach to Individual Human Reasoning
Authors:
Emmanuelle Dietz,
Johannes K. Fichte,
Florim Hamiti
Abstract:
Cognitive theories for reasoning are about understanding how humans come to conclusions from a set of premises. Starting from hypothetical thoughts, we are interested which are the implications behind basic everyday language and how do we reason with them. A widely studied topic is whether cognitive theories can account for typical reasoning tasks and be confirmed by own empirical experiments. Thi…
▽ More
Cognitive theories for reasoning are about understanding how humans come to conclusions from a set of premises. Starting from hypothetical thoughts, we are interested which are the implications behind basic everyday language and how do we reason with them. A widely studied topic is whether cognitive theories can account for typical reasoning tasks and be confirmed by own empirical experiments. This paper takes a different view and we do not propose a theory, but instead take findings from the literature and show how these, formalized as cognitive principles within a logical framework, can establish a quantitative notion of reasoning, which we call plausibility. For this purpose, we employ techniques from non-monotonic reasoning and computer science, namely, a solving paradigm called answer set programming (ASP). Finally, we can fruitfully use plausibility reasoning in ASP to test the effects of an existing experiment and explain different majority responses.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
Computational Argumentation and Cognition
Authors:
Emmanuelle Dietz,
Antonis Kakas,
Loizos Michael
Abstract:
This paper examines the interdisciplinary research question of how to integrate Computational Argumentation, as studied in AI, with Cognition, as can be found in Cognitive Science, Linguistics, and Philosophy. It stems from the work of the 1st Workshop on Computational Argumentation and Cognition (COGNITAR), which was organized as part of the 24th European Conference on Artificial Intelligence (EC…
▽ More
This paper examines the interdisciplinary research question of how to integrate Computational Argumentation, as studied in AI, with Cognition, as can be found in Cognitive Science, Linguistics, and Philosophy. It stems from the work of the 1st Workshop on Computational Argumentation and Cognition (COGNITAR), which was organized as part of the 24th European Conference on Artificial Intelligence (ECAI), and took place virtually on September 8th, 2020. The paper begins with a brief presentation of the scientific motivation for the integration of Computational Argumentation and Cognition, arguing that within the context of Human-Centric AI the use of theory and methods from Computational Argumentation for the study of Cognition can be a promising avenue to pursue. A short summary of each of the workshop presentations is given showing the wide spectrum of problems where the synthesis of the theory and methods of Computational Argumentation with other approaches that study Cognition can be applied. The paper presents the main problems and challenges in the area that would need to be addressed, both at the scientific level but also at the epistemological level, particularly in relation to the synthesis of ideas and approaches from the various disciplines involved.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
Two Populations of Carbon-Enhanced Metal-Poor Stars in the Disk System of the Milky Way
Authors:
Sarah E. Dietz,
Jinmi Yoon,
Timothy C. Beers,
Vinicius Placco,
Young Sun Lee
Abstract:
We present a chemo-dynamical analysis of low-resolution ($R \sim 1300$) spectroscopy of stars from the AAOmega Evolution of Galactic Structure (AEGIS) survey, focusing on two key populations of carbon-enhanced metal-poor (CEMP) stars within the disk system of the Milky Way: a mildly prograde population ($L_z < 1000\,$kpc$\,$km$\,$s$^{-1}$) and a strongly prograde ($L_z > 1000\,$kpc$\,$km$\,$s…
▽ More
We present a chemo-dynamical analysis of low-resolution ($R \sim 1300$) spectroscopy of stars from the AAOmega Evolution of Galactic Structure (AEGIS) survey, focusing on two key populations of carbon-enhanced metal-poor (CEMP) stars within the disk system of the Milky Way: a mildly prograde population ($L_z < 1000\,$kpc$\,$km$\,$s$^{-1}$) and a strongly prograde ($L_z > 1000\,$kpc$\,$km$\,$s$^{-1}$) population. Based on their chemical and kinematic characteristics, and on comparisons with similar populations found in the recent literature, we tentatively associate the former with an ex-situ inner-halo population originating from either the $Gaia$ Sausage or $Gaia$-Enceladus. The latter population is linked to the metal-weak thick-disk (MWTD). We discuss their implications in the context of the formation history of the Milky Way.
△ Less
Submitted 11 December, 2020; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Evaluation of Low-Cost Thermal Laser Stimulation for Data Extraction and Key Readout
Authors:
Thilo Krachenfels,
Heiko Lohrke,
Jean-Pierre Seifert,
Enrico Dietz,
Sven Frohmann,
Heinz-Wilhelm Hübers
Abstract:
Recent attacks using thermal laser stimulation (TLS) have shown that it is possible to extract cryptographic keys from the battery-backed memory on state-of-the-art field-programmable gate arrays (FPGAs). However, the professional failure analysis microscopes usually employed for these attacks cost in the order of 500k to 1M dollars. In this work, we evaluate the use of a cheaper commercial laser…
▽ More
Recent attacks using thermal laser stimulation (TLS) have shown that it is possible to extract cryptographic keys from the battery-backed memory on state-of-the-art field-programmable gate arrays (FPGAs). However, the professional failure analysis microscopes usually employed for these attacks cost in the order of 500k to 1M dollars. In this work, we evaluate the use of a cheaper commercial laser fault injection station retrofitted with a suitable amplifier and light source to enable TLS. We demonstrate that TLS attacks are possible at a hardware cost of around 100k dollars. This constitutes a reduction of the resources required by the attacker by a factor of at least five. We showcase two actual attacks: data extraction from the SRAM memory of a low-power microcontroller and decryption key extraction from a 20-nm technology FPGA device. The strengths and weaknesses of our low-cost approach are then discussed in comparison with the conventional failure analysis equipment approach. In general, this work demonstrates that TLS backside attacks are available at a much lower cost than previously expected.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
The Metallicity Gradient and Complex Formation History of the Outermost Halo of the Milky Way
Authors:
Sarah E. Dietz,
Jinmi Yoon,
Timothy C. Beers,
Vinicius M. Placco
Abstract:
We present an examination of the metallicity distribution function of the outermost stellar halo of the Galaxy based on an analysis of both local (within 4 kpc of the Sun, ~16,500 stars) and non-local (~21,700 stars) samples. These samples were compiled using spectroscopic metallicities from the Sloan Digital Sky Survey and photometric metallicities from the SkyMapper Southern Survey. We detect a…
▽ More
We present an examination of the metallicity distribution function of the outermost stellar halo of the Galaxy based on an analysis of both local (within 4 kpc of the Sun, ~16,500 stars) and non-local (~21,700 stars) samples. These samples were compiled using spectroscopic metallicities from the Sloan Digital Sky Survey and photometric metallicities from the SkyMapper Southern Survey. We detect a negative metallicity gradient in the outermost halo (r > 35 kpc from the Galactic center), and find that the frequency of very metal-poor ([Fe/H] < -2.0) stars in the outer-halo region reaches up to ~60% in our most distant sample, commensurate with previous theoretical predictions. This result provides clear evidence that the outer-halo formed hierarchically. The retrograde stars in the outermost halo exhibit a roughly constant metallicity, which may be linked to the accretion of the Sequoia progenitor. In contrast, prograde stars in the outermost halo exhibit a strong metallicity-distance dependence, indicating that they likely originated from the accretion of galaxies less massive than the Sequoia progenitor galaxy.
△ Less
Submitted 4 March, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
Algae Detection Using Computer Vision and Deep Learning
Authors:
Arabinda Samantaray,
Baijian Yang,
J. Eric Dietz,
Byung-Cheol Min
Abstract:
A disconcerting ramification of water pollution caused by burgeoning populations, rapid industrialization and modernization of agriculture, has been the exponential increase in the incidence of algal growth across the globe. Harmful algal blooms (HABs) have devastated fisheries, contaminated drinking water and killed livestock, resulting in economic losses to the tune of millions of dollars. There…
▽ More
A disconcerting ramification of water pollution caused by burgeoning populations, rapid industrialization and modernization of agriculture, has been the exponential increase in the incidence of algal growth across the globe. Harmful algal blooms (HABs) have devastated fisheries, contaminated drinking water and killed livestock, resulting in economic losses to the tune of millions of dollars. Therefore, it is important to constantly monitor water bodies and identify any algae build-up so that prompt action against its accumulation can be taken and the harmful consequences can be avoided. In this paper, we propose a computer vision system based on deep learning for algae monitoring. The proposed system is fast, accurate and cheap, and it can be installed on any robotic platforms such as USVs and UAVs for autonomous algae monitoring. The experimental results demonstrate that the proposed system can detect algae in distinct environments regardless of the underlying hardware with high accuracy and in real time.
△ Less
Submitted 27 November, 2018;
originally announced November 2018.
-
Contextual Abductive Reasoning with Side-Effects
Authors:
Luís Moniz Pereira,
Emmanuelle-Anna Dietz,
Steffen Hölldobler
Abstract:
The belief bias effect is a phenomenon which occurs when we think that we judge an argument based on our reasoning, but are actually influenced by our beliefs and prior knowledge. Evans, Barston and Pollard carried out a psychological syllogistic reasoning task to prove this effect. Participants were asked whether they would accept or reject a given syllogism. We discuss one specific case which is…
▽ More
The belief bias effect is a phenomenon which occurs when we think that we judge an argument based on our reasoning, but are actually influenced by our beliefs and prior knowledge. Evans, Barston and Pollard carried out a psychological syllogistic reasoning task to prove this effect. Participants were asked whether they would accept or reject a given syllogism. We discuss one specific case which is commonly assumed to be believable but which is actually not logically valid. By introducing abnormalities, abduction and background knowledge, we adequately model this case under the weak completion semantics. Our formalization reveals new questions about possible extensions in abductive reasoning. For instance, observations and their explanations might include some relevant prior abductive contextual information concerning some side-effect or leading to a contestable or refutable side-effect. A weaker notion indicates the support of some relevant consequences by a prior abductive context. Yet another definition describes jointly supported relevant consequences, which captures the idea of two observations containing mutually supportive side-effects. Though motivated with and exemplified by the running psychology application, the various new general abductive context definitions are introduced here and given a declarative semantics for the first time, and have a much wider scope of application. Inspection points, a concept introduced by Pereira and Pinto, allows us to express these definitions syntactically and intertwine them into an operational semantics.
△ Less
Submitted 15 May, 2014; v1 submitted 14 May, 2014;
originally announced May 2014.
