Human and automated tutors attempt to choose pedagogical activities that will maximize student learning, informed by their estimates of the student's current knowledge. There has been substantial research on tracking and modeling student learning, but significantly less attention on how to plan teaching actions and how the assumed student model impacts the resulting plans. We frame the problem of optimally selecting teaching actions using a decision-theoretic approach and show how to formulate teaching as a partially observable (...) Markov decision process planning problem. This framework makes it possible to explore how different assumptions about student learning and behavior should affect the selection of teaching actions. We consider how to apply this framework to concept learning problems, and we present approximate methods for finding optimal teaching actions, given the large state and action spaces that arise in teaching. Through simulations and behavioral experiments, we explore the consequences of choosing teacher actions under different assumed student models. In two concept-learning tasks, we show that this technique can accelerate learning relative to baseline performance. (shrink)

Computer multistage adaptive test combines the advantages of paper and pencil-based test and computer-adaptive test. As CAT, MST is adaptive based on modules; as P&P, MST can meet the need of test developers to manage test forms and keep test forms parallel. Cognitive diagnosis can accurately measure students’ knowledge states and provide diagnostic information, which is conducive to student’s self-learning and teacher’s targeted teaching. Although MST and CD have a lot of advantages, many factors prevent MST from applying to (...) CD. In this study, we first attempt to employ automated test assembly to achieve the objectives of MST in the application of CD via heuristic algorithms. The mean correct response probability of all KSs for each item is used to describe the item difficulty of CD. The attribute reliability in CD is defined as the test quantitative target. A simulation study with the G-DINA model was carried out to investigate the proposed CD-MST, and the results showed that the assembled panels of CD-MST satisfied the statistical and the non-statistical constraints. (shrink)

This essay describes trends in the organization of work that have laid the groundwork for the adoption of interactive AI-driven instruction tools, and the technological innovations that will make intelligent tutoring systems truly competitive with human teachers. Since the origin of occupational specialization, the collection and transmission of knowledge have been tied to individual careers and job roles, specifically doctors, teachers, clergy, and lawyers, the paradigmatic knowledge professionals. But these roles have also been tied to texts and organizations that can (...) disseminate knowledge independently from professionals. Professionals and organizations turn knowledge into texts and tools that enable lay people to access knowledge without the intermediation of professionals or organizations. In the 21st century, one emerging tool for transmitting knowledge is the intelligent tutoring system. This paper examines how technological, epistemic, and economic trends in education are supporting the routinization, proletarianization, and automation of the occupation of teaching, leading to the increasing substitution of intelligent tutoring systems for human instruction. Some trends, such as standardized curricula and testing, both restrict teachers’ professional autonomy and facilitate the creation of pedagogical tools. Other trends reduce teachers’ ability to resist automation. The growth of adjunct teaching and paraprofessional roles in higher education allows organizations to take over and rationalize parts of the traditional teacher role. Faculty evaluations and learning outcomes assessment weaken professional claims to be the sole arbiters of instructional quality and student learning. The widespread use of intelligent tutoring systems also depends on the sophistication of software capable of performing the social-emotional and cognitive roles that educators perform. Eventually, pedagogical software will be able to interactively individualize curricula to the needs and interests of every learner, more cheaply, quickly, and accurately than any human teacher. Assessment of learning will be continuous, and certification of learning will be for specific skills instead of broad area competencies. Intelligent tutoring systems will help transition education from its medieval and industrial-era model to more accessible and flexible continuing education for employment and life enrichment. (shrink)

I come from a medical family. My father and uncle were physicians, and my father also chaired a department at a West Coast medical school for over 30 years. I am sure I got my interest in teaching from him. My brother is a physician and is currently the safety and quality officer of a Canadian province. My mother operated the last non-automated medical laboratory in my state. I have always understood what sacrifices are made by health care (...) professionals, and I think I have managed to learn a bit about their motivations as well.I was in private practice for ten years with litigation firms, and the last five years of that time I worked for a firm that specialized in professional liability defense and health law. (shrink)

I come from a medical family. My father and uncle were physicians, and my father also chaired a department at a West Coast medical school for over 30 years. I am sure I got my interest in teaching from him. My brother is a physician and is currently the safety and quality officer of a Canadian province. My mother operated the last non-automated medical laboratory in my state. I have always understood what sacrifices are made by health care (...) professionals, and I think I have managed to learn a bit about their motivations as well.I was in private practice for ten years with litigation firms, and the last five years of that time I worked for a firm that specialized in professional liability defense and health law. (shrink)

The change in the organization of science education over the past fifty years is quickly recalled. Being its cultural bound the lack of a conception of the foundation of science, the multiple innovations have resulted as temporary improvements without a clear direction, apart from the technocratic goal of an automation of learning processes. The discovery of two dichotomies as the foundations of science suggests a pluralist conception of science, and hence the need to entirely renew science education, in particular by (...) introducing the notions of incommensurability and radical variations in meaning of the basic notions. This change was already anticipated by several proposals within each subject-matter. (shrink)

Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the (...) presentation of hints and solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)

How do we teach medical students to protect patients? My initial reaction to the question posed by Taylor and Goodwin was like first glimpsing ‘Jaws’: we’re going to need a bigger boat. The authors’ answer makes two important claims: first, that safety should be ethically sourced by better integration between teaching of safety and ethics; second, that teaching should encourage students to think about organisational failure rather than focusing on individual blame and personal responsibility to whistleblow.1 On the (...) first, they highlight how ethics teaching often sits apart from that on safety. For the second, they use the concept normalisation of deviance, with its contained idea of structural secrecy, to depict organisational failure that is argued as largely immune to whistleblowing. Why wouldn’t these challenges warrant a bigger boat? On their first claim: it is not just for safety, but throughout the curriculum that ethics teaching needs to be integral. Given coming challenges, it should become the cake rather than the icing. Consider, for example, that artificial intelligence stands to transform many knowledge-based professions, medicine among them. Tomorrow’s doctors will have a surfeit of data and automated decision aids at their fingertips. So, as far as they remain necessary, doctors will …. (shrink)

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

In computer science, an algorithm is an unambiguous specification of how to solve a class of problems. Algorithms can perform calculation, data processing and automated reasoning tasks. As an effective method, an algorithm can be expressed within a finite amount of space and time and in a well-defined formal language for calculating a function. Starting from an initial state and initial input (perhaps empty), the instructions describe a computation that, when executed, proceeds through a finite number of well-defined successive (...) states, eventually producing "output" and terminating at a final ending state. The transition from one state to the next is not necessarily deterministic; some algorithms, known as randomized algorithms, incorporate random input. This book introduces a set of concepts in solving problems computationally such as Growth of Functions; Backtracking; Divide and Conquer; Greedy Algorithms; Dynamic Programming; Elementary Graph Algorithms; Minimal Spanning Tree; Single-Source Shortest Paths; All Pairs Shortest Paths; Flow Networks; Polynomial Multiplication, to ways of solving NP-Complete Problems, supported with comprehensive, and detailed problems and solutions, making it an ideal resource to those studying computer science, computer engineering and information technology. (shrink)

Challenging Formalization in Education and Beyond addresses the effects of today's attempts to organize knowledge, processes, and performance in education, particularly in its ever-growing digital environments. As on-site, blended, and fully online learning become deeply interdependent, secondary and higher education managers and instructors who seek to integrate, apply, and teach within these formats using standardized rules, assessments, algorithms, and accountability structures may be doing unintended harm to their students. Focusing on students' performance, health, cognition, behavior, and learning outcomes, this book (...) analyses how current trends, methods, and policies in formalization can be challenged and corrected to ensure high-quality education. Scholars, educators, administrators, and designers of traditional, asynchronous, precision, automated and micro-learning formats will come away with new insights and pragmatic solutions for engaging students in more active, participatory, and creative activities. (shrink)

It is argued that “human-centredness” will be an important characteristic of systems that learn tasks from human users, as the difficulties in inductive inference rule out learning without human assistance. The aim of “programming by example” is to create systems that learn how to perform tasks from their human users by being shown examples of what is to be done. Just as the user creates a learning environment for the system, so the system provides a teaching opportunity for the (...) user, and emphasis is placed as much on facilitating successful teaching as on incorporating techniques of machine learning. If systems can “learn” repetitive tasks, their users will have the power to decide for themselves which parts of their jobs should be automated, and teach the system how to do them — reducing their dependence on intermediaries such as system designers and programmers.This paper presents principles for programming by example derived from experience in creating four prototype learners: for technical drawing, text editing, office tasks, and robot assembly. A teaching metaphor (a) enables the user to demonstrate a task by performing it manually, (b) helps to explain the learner's limited capabilities in terms of a persona, and (c) allows users to attribute intentionality. Tasks are represented procedurally, and augmented with constraints. Suitable mechanisms for attention focusing are necessary in order to control inductive search. Hidden features of a task should be made explicit so that the learner need not embark on the huge search entailed by hypothesizing missing steps. (shrink)

Recent work on interpretability in machine learning and AI has focused on the building of simplified models that approximate the true criteria used to make decisions. These models are a useful pedagogical device for teaching trained professionals how to predict what decisions will be made by the complex system, and most importantly how the system might break. However, when considering any such model it’s important to remember Box’s maxim that "All models are wrong but some are useful." We focus (...) on the distinction between these models and explanations in philosophy and sociology. These models can be understood as a "do it yourself kit" for explanations, allowing a practitioner to directly answer "what if questions" or generate contrastive explanations without external assistance. Although a valuable ability, giving these models as explanations appears more difficult than necessary, and other forms of explanation may not have the same trade-offs. We contrast the different schools of thought on what makes an explanation, and suggest that machine learning might benefit from viewing the problem more broadly. (shrink)

The burden of research ethics review falls not just on researchers, but on those who serve on research ethics committees (RECs). With the advent of automated text analysis and generative artificial intelligence, it has recently become possible to teach models to support human judgment, for example by highlighting relevant parts of a text and suggesting actionable precedents and explanations. It is time to consider how such tools might be used to support ethics review and oversight. This commentary argues that (...) with a suitable strategy of engagement, artificial intelligence can be used in a variety of ways that can genuinely support RECs and manage their workload and improve the quality of review. It would be wiser to take an active role in the development of AI tools for ethics review, rather than to adopt ad hoc tools after the fact. (shrink)

Autonomous vehicles have the potential to save tens of thousands of lives, but legal and social barriers may delay or even deter manufacturers from offering fully automated vehicles and thereby cost lives that otherwise could be saved. Moral philosophers use “thought experiments” to teach us about what ethics might say about the ethical behavior of AVs. If a manufacturer designing an AV decided to make what it believes is an ethical choice to save a large group of lives by (...) steering away from the large group towards a single individual, could the manufacturer be liable to that single individual? I believe the answer is yes. This article discusses famous “trolley problem” thought experiments in moral philosophy, which news articles have recently applied to AVs. After establishing a hypothetical case, applying product liability law to AV behavior may show a way, in some jurisdictions, that will permit a manufacturer to implement an ethical choice without triggering liability, but liability risk remains. I then turn to possible traditional defenses to see if they prevent liability for a manufacturer making what it believes is an ethical design choice—necessity, defense of self, and the sudden emergency doctrine. None of them provides an effective defense. Under current law, maximizing collision avoidance appears to minimize legal risk. I conclude that the only way to provide effective protection to a manufacturer seeking to implement ethical choices about AV behavior is through special legislation or regulation. (shrink)

Performance Generating Systems (PGS) are rule- and task-based approaches to improvisation on stage in theatre, dance, and music. These systems require performers to draw on predefined source materials (texts, scores, memories) while working on complex tasks within limiting rules. An interdisciplinary research team at a large Western Canadian university hypothesized that learning to sustain this praxis over the duration of a performance places high demands on executive functions; demands that may improve the performers’ executive abilities. These performers need to continuously (...) shift attention while remaining responsive to embodied and environmental stimuli in the present, they are required to inhibit automated responses and impulses using the rules of the system, and they strive towards addressing multitasking challenges with fluidity and flexibility. This study set out to test the mentioned hypothesis deductively and identify mediating processes inductively, using mixed empirical methods. In a small sample experiment with a control group (28 participants; 15 in intervention group, 13 in control group), standardized quantitative tests of executive functions (D-KEFS) were administered before and after an eight-week intervention. Participant-reported qualitative observations from the praxis were also collected throughout the intervention for grounded analysis. Within the limitations of small sample data, we found both statistically significant and trending effects on inhibition, problem-solving initiation, fluidity, and cognitive flexibility. Examining the mediating process, we found that participants experienced significant challenges sustaining the practice halfway through the intervention. The participant-reported solutions to these challenges, which emerged as the strongest behavioural patterns when coding the qualitative data to saturation, were strategies of problem-solving and of re-directing attention. These strategies support and advance our understanding of the effects measured in the standardized tests. In terms of application, our results identify characteristics of PGS that could potentially maintain and strengthen executive functions over and above less demanding performing arts interventions. The results also deliver new insight into how PGS works, which may contribute to the development and teaching of this artistic practice. (shrink)

Education at all levels is increasingly augmented and enhanced by data mining and analytics, catalysed by the growing prevalence of automated distance learning. With an unprecedented capacity to scale both horizontally and vertically, data mining and analytics are set to be a transformative part of the future of education. We reflect on the assumptions behind data mining and the potential consequences of learning analytics, with reference to an issue brief prepared for the U.S. Department of Education entitled Enhancing (...) class='Hi'>Teaching and Learning Through Educational Data Mining and Learning Analytics. We argue that the associated gains conceal subtle, but important risks. Data-ism, an underpinning paradigm, assigns unjustified veracity to data-driven science and the application of personalised analytics may compromise individual privacy, agency and inventiveness. This holds serious ethical implications, particularly when considering the impact on minors, rendering wholesale adoption premature. (shrink)

Academic misconduct in all its various forms is a challenge for degree-granting institutions. Whilst text-based plagiarism can be detected using tools such as Turnitin™, Plagscan™ and Urkund™, contract cheating and collusion can be more difficult to detect, and even harder to prove, often falling to no more than a ‘balance of probabilities’ rather than fact. To further complicate the matter, some students will make deliberate attempts to obfuscate cheating behaviours by submitting work in Portable Document Format, in image form, or (...) by inserting hidden glyphs or using alternative character sets which text matching software does not always accurately detect.Educators do not tend to think of academic misconduct in terms of criminality per se, but the tools and techniques used by digital forensics experts in law enforcement can teach us much about how to investigate allegations of academic misconduct. The National Institute of Standards and Technology’s Glossary describes digital forensics as ‘the application of computer science and investigative procedures involving the examination of digital evidence - following proper search authority, chain of custody, validation with mathematics, use of validated tools, repeatability, reporting, and possibly expert testimony.’. These techniques are used in criminal investigations as a means to identify the perpetrator of, or accomplices to, a crime and their associated actions. They are sometimes used in cases relating to intellectual property to establish the legitimate ownership of a variety of objects, both written and graphical, as well as in fraud and forgery. Whilst there have been some research articles and case studies that demonstrate the use of digital forensics techniques to detect academic misconduct as proof of concept, there is no evidence of their actual deployment in an academic setting.This paper will examine some of the tools and techniques that are used in law enforcement and the digital forensics field with a view to determining whether they could be repurposed for use in an academic setting. These include methods widely used to determine if a file has been tampered with that could be repurposed to identify if an image is plagiarised; file extraction techniques for examining meta data, used in criminal cases to determine authorship of documents, and tools such as FTK™ and Autopsy™ which are used to forensically examine single files as well as entire hard drives. The paper will also present a prototype of a bespoke software tool that attempts to repurpose some of these techniques into an automated process for detecting plagiarism and / or contract cheating in Word documents.Finally, this article will discuss whether these tools have a place in an academic setting and whether their use in determining if a student’s work is truly their own is ethical. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Logic Pamphlets of Charles Lutwidge Dodgson and Related PiecesIrving H. AnellisFrancine F. Abeles, editor. The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. The Pamphlets of Lewis Carroll, 4. New York-Charlottesville-London: Lewis Carroll Society of North America-University Press of Virginia, 2010. Pp. xx + 271. Cloth, $75.00.Until William Bartley’s rediscovery and reconstruction of Dodgson’s lost Part II of Symbolic Logic, Lewis Carroll’s reputation in logic, when (...) taken seriously, rested upon his few published articles on logical paradoxes and puzzles, while his published books, The Game of Logic and Symbolic Logic, were regarded as suitable perhaps as pedagogical tools, but dismissed otherwise as amusements, on a par with the Alice works. Richard Braithwaite asserted (“Lewis Carroll as Logician”) that “Carroll regarded formal and symbolic logic not as a corpus of systematic knowledge about valid thought nor yet as an art for teaching a person to think correctly.” He suggested that Dodgson used his pseudonym for his popular and whimsical writings, reserving his legal name only for his serious mathematical products. Philosophers practicing linguistic analysis in their assault on nonsense deriving from misuse of language meanwhile developed an interest in Carroll (e.g. George Pitcher, “Wittgenstein, Nonsense, and Lewis Carroll”). Abeles, on the contrary, stresses the seriousness of Dodgson’s pedagogical and popularizing mission (195–99).Bartley’s discovery opened the door for reevaluating Dodgson as a serious logician, and Abeles has been in the forefront of that reevaluation. Her general introduction and introductions to the main divisions of this collection of Carroll’s publications (and additional material from his Nachlass and a handful of publications of others, composed in response to Carroll’s published articles) place his serious logical work and its significance in historical perspective, providing a deeper, more sophisticated view than found in Bartley’s “Editor’s Introduction” to Lewis Carroll’s Symbolic Logic. Abeles also offers brief introductions to the individual entries, which describe their physical characteristics and circumstances of composition.Dodgson aligned with the majority of those British logicians of his day, starting with George Boole, who understood formal logic to be Aristotelian syllogistic, and symbolic logic to be syllogistic logic expressed algebraically. His notational innovation was employing indices to terms so that, independently of the arrangement of terms, propositions could easily be read; thus, “xy0” can be read as “no x are y” or “no y are x” and “x1y0” as “all x are not y” or “no x are y”. In dealing with the classical elimination problem in the class calculus—to determine the maximum information, without duplications, obtainable from a given set of premises—Dodgson in his later work and unpublished letters anticipated several concepts of automated theorem proving.Central to both geometry and to formal logic are the rules of logical inference that establish the validity of arguments and guarantee that conclusions inferred from true [End Page 506] premises are true. The modern analytic tableaux, or tree method, is a fundamental tool in this regard, both for deriving theorems and for determining the validity or invalidity of the proofs for propositional calculus and first-order predicate calculus.Introducing his reconstruction of Part II of Symbolic Logic, Bartley noted that, along with the logic diagrams that Carroll devised, he also devised a tableau method that strongly resembled Beth’s semantic tableaux. Abeles went more deeply and convincingly into that resemblance in her earlier research. Beth’s tableaux, together with Hintikka’s model sets, were the direct ancestors of Smullyan’s analytic tableaux, which in turn are the theoretical basis for the Robinson resolution method that continues to be central to much work in programming logic.Abeles has also shown that the work in Studies in Logic by Charles Peirce and his logic students at Johns Hopkins University served as a source of inspiration for Dodgson. More critically, she demonstrated that Dodgson devised and employed the tree method for carrying out proofs of syllogisms and chains of syllogisms, or soriteses, in Part II of Symbolic Logic (see her “Lewis Carroll’s Method of Trees: Its Origins in Studies in Logic,” Modern Logic 1 [1990]: 25–34). The tree... (shrink)

The article deals with the problems of inconsistency of Ukrainian translation education with the trends of the postmodern state of society and the advisability of introducing the achievements of the American system of training translators is substantiated. The article describes the organization of training masters in technical translation in the United States on the basis of a systematic analysis, in particular, the structure and content, forms and methods of teaching and learning masters in technical translation. Postmodern tendencies and peculiarities (...) of master's education in the USA are revealed and substantiated. The principles of permanent improvement of translation competence, profile and general cultural orientation are described; ensuring the full formation of the readiness of graduates of master's programs in technical translation for highly qualified, productive and creative professional activities; learning in a multicultural environment; application of the latest means of automated translation during training; certification of technical translators. For the reform of translation education in Ukraine, these trends are identified as key. The results of the study were obtained by applying a comparative typological and systems analysis, the method of extrapolating educational trends in the United States and Ukraine in relation to the postmodern context of society and its practical requirements for translation education. The practical significance of the article lies in borrowing the American experience of postmodern aspects of translation education, which can be useful to the countries of the former socialist camp and post-Soviet society. (shrink)

The evolution in the quality of teaching for preschool education is worth studying. In this article, we solved the qualitative problems in the comprehensive quality evaluation by suggesting a method of quantitative combination and establishing a set of indicators suitable for the comprehensive quality evaluation of students in the kindergarten. According to the experience summed up by previous scholars, the weight of each index is obtained by an analytic hierarchy process. This study analyzed the defects and causes of fuzzy (...) comprehensive evaluation and the neural network model in the construction of early childhood and preschool education's comprehensive quality evaluation model and propose a Feedforward Neural Network model. FNN combined with neural network and fuzzy logic characteristics introduces fuzzy concepts and fuzzy inference rules into neural networks of neurons, the connection power, and network learning. It improves the learning ability of NN and fuzzy evaluation of the power of expression and effectively exerts the advantages of fuzzy logic and neural network to make up for their shortcomings. However, the convergence speed is very slow. To solve this problem, the similarity measure was used to improve the number of hidden layer nodes of the network. The effectiveness and feasibility of the FNN improved hidden layer nodes are verified by an example so as to realize the automation of comprehensive quality evaluation. (shrink)

Summary In this work we elaborate on the idea of a formal theory for a limited but important part of structural chemistry, that described by Lewis’ methods and VSEPR (Valence Shell Electron Pair Repulsion). For this purpose, recursive functions and propositional functions are defined, that apply to formal expressions of the structure, based on a finite set of symbols. This approach allows for the expression of numerous questions of chemical interest. The formalization of basic structural chemistry based on Lewis/VSEPR method (...) is potentially useful for the automation of the related procedures, but possibly also of some use as complementary material in teaching and as a heuristic tool in structural chemistry. (shrink)

Modern information technology allows academics many new ways to enhance their research activities. This article suggests that one of the most important changes in recent years has been the overwhelming proliferation of academic research. It proposes that many new developments in online publishing have been, and will continue to be, in response to this proliferation of research. It also offers some general principles based on six years' working for a series of innovative online journals, including examples of where new technologies (...) have been used successfully to enrich a journal's content without adding substantively to the workloads of authors and editors. (shrink)

In 1943 Dr J.C.B. Grant, of the University of Toronto, published the first anatomical atlas ever fully produced in North America, An Atlas of Anatomy. Within the history of biomedical teaching, the publication of this textbook is remarkable for at least two reasons, both connected to the themes of animation and automation. The visual narrative of the anatomical body found in Grant’s Atlas encapsulated a paradigmatic shift in gross anatomy from a systemic approach (dividing the body into its systems) (...) to a regional anatomy (dividing the body into areas containing interlocking systems). The contextually contingent reasons for this shift in medical training are represented in the production of this textbook. What is crucial is that anatomy is thus conceived as directly applicable to surgical practice, which intervenes on the bodies of the living, rather than the dead. The second important dimension of Grant’s Atlas was his rigorous, yet invisible, incorporation of photography into the practice of medical illustration. Grant’s Atlas systematically deployed hand-drawn tracings of photographic images in the production of his bestselling textbook to affirm an indexical connection to a ‘real body’. At the same time, this use of photography is erased within the visuals, which rely instead on hand-drawn illustrations (line-drawings and carbon-dusting) to produce this particular pedagogy of the anatomical body. The production of ‘textbook anatomy’ is thus articulated to changes in technical modes of representation (photography) and to the new techniques in print-technologies from the late 19th until the mid 20th century. (shrink)

This book gathers the latest advances in the field of history of science and technology, as presented by leading international researchers at the 8th International Symposium on History of Machines and Mechanisms (HMM), held in Ankara, Turkey on April 18-20, 2024. The Symposium, which was promoted by the permanent commission for the History of Machine and Mechanism Science (MMS) of IFToMM, provided an international forum to present and discuss historical developments in the field of MMS. The contents cover all aspects (...) of the development of MMS from antiquity until the present era and its historiography: modern reviews of past works, engineers in history and their works, the development of theories, history of the design of machines and mechanisms, historical developments of mechanical design and automation, historical developments of teaching, the history of schools of engineering, the education of engineers. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations. (shrink)

Automating Humanity is the shocking and eye-opening new manifesto from international award-winning designer Joe Toscano that unravels and lays bare the power agendas of the world's greatest tech titans in plain language, and delivers a fair warning to policymakers, civilians, and industry professionals alike: we need a strategy for the future, and we need it now. Automating Humanity is an insider's perspective on everything Big Tech doesn't want the public to know--or think about--from the addictions installed on a global scale (...) to the profits being driven by fake news and disinformation, to the way they're manipulating the world for profit and using our data to train systems that will automate jobs at an explosive, unprecedented scale. Toscano provides a critique of modern regulation, including parts of the new European Union's General Data Proctection Regulation (GDPR) suggesting how we can create proactive, adaptable regulation that satisfies both the needs of consumer safety and commercial success in the international economy. The content touches on everything from technology, economics, and public policy to psychology, history, and ethics, and is written in a way that is accessible to everyone from the average reader to the technical expert. (shrink)

Rapid advances in AI-based automation have led to a number of existential and economic concerns. In particular, as automating technologies develop enhanced competency they seem to threaten the values associated with meaningful work. In this article, we focus on one such value: the value of achievement. We argue that achievement is a key part of what makes work meaningful and that advances in AI and automation give rise to a number achievement gaps in the workplace. This could limit people’s ability (...) to participate in meaningful forms of work. Achievement gaps are interesting, in part, because they are the inverse of the (negative) responsibility gaps already widely discussed in the literature on AI ethics. Having described and explained the problem of achievement gaps, the article concludes by identifying four possible policy responses to the problem. (shrink)

In this paper, we discuss the ethics of automated driving. More specifically, we discuss responsible human-robot coordination within mixed traffic: i.e. traffic involving both automated cars and conventional human-driven cars. We do three main things. First, we explain key differences in robotic and human agency and expectation-forming mechanisms that are likely to give rise to compatibility-problems in mixed traffic, which may lead to crashes and accidents. Second, we identify three possible solution-strategies for achieving better human-robot coordination within mixed (...) traffic. Third, we identify important ethical challenges raised by each of these three possible strategies for achieving optimized human-robot cordination in this domain. Among other things, we argue that we should not just explore ways of making robotic driving more like human driving. Rather, we ought also to take seriously potential ways of making human driving more like robotic driving. Nor should we assume that complete automation is always the ideal to aim for; in some traffic-situations, the best results may be achieved through human-robot collaboration. Ultimately, our main aim in this paper is to argue that the new field of the ethics of automated driving needs take seriously the ethics of mixed traffic and responsible human-robot coordination. (shrink)

Artificial intelligence-based (AI) technologies such as machine learning (ML) systems are playing an increasingly relevant role in medicine and healthcare, bringing about novel ethical and epistemological issues that need to be timely addressed. Even though ethical questions connected to epistemic concerns have been at the center of the debate, it is going unnoticed how epistemic forms of injustice can be ML-induced, specifically in healthcare. I analyze the shortcomings of an ML system currently deployed in the USA to predict patients’ likelihood (...) of opioid addiction and misuse (PDMP algorithmic platforms). Drawing on this analysis, I aim to show that the wrong inflicted on epistemic agents involved in and affected by these systems’ decision-making processes can be captured through the lenses of Miranda Fricker’s account of hermeneutical injustice. I further argue that ML-induced hermeneutical injustice is particularly harmful due to what I define as an automated hermeneutical appropriation from the side of the ML system. The latter occurs if the ML system establishes meanings and shared hermeneutical resources without allowing for human oversight, impairing understanding and communication practices among stakeholders involved in medical decision-making. Furthermore and very much crucially, an automated hermeneutical appropriation can be recognized if physicians are strongly limited in their possibilities to safeguard patients from ML-induced hermeneutical injustice. Overall, my paper should expand the analysis of ethical issues raised by ML systems that are to be considered epistemic in nature, thus contributing to bridging the gap between these two dimensions in the ongoing debate. (shrink)

Human obsolescence is imminent. We are living through an era in which our activity is becoming less and less relevant to our well-being and to the fate of our planet. This trend toward increased obsolescence is likely to continue in the future, and we must do our best to prepare ourselves and our societies for this reality. Far from being a cause for despair, this is in fact an opportunity for optimism. Harnessed in the right way, the technology that hastens (...) our obsolescence can open us up to new utopian possibilities and enable heightened forms of human flourishing. (shrink)

How should automated vehicles react in emergency circumstances? Most research projects and scientific literature deal with this question from a moral perspective. In particular, it is customary to treat emergencies involving AVs as instances of moral dilemmas and to use the trolley problem as a framework to address such alleged dilemmas. Some critics have pointed out some shortcomings of this strategy and have urged to focus on mundane traffic situations instead of trolley cases involving AVs. Besides, these authors rightly (...) point out the political nature of the most interesting debates involving AVs. However, in our view, they do not offer an adequate account of the distinction between ethics and politics and still see their proposals as contributions to the ethics of AVs. We argue that many of the interesting questions about how AVs should behave, both in emergency and other situations, are of political, and not moral, nature. This view is based on a conception of politics and political normativity that we have developed elsewhere and that we call “political minimalism.” Additionally, we show that this proposed perspective has significant consequences for the design, management, and regulation of transport systems. (shrink)

Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general (...) diagrams are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, (...) we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

The article explores the problem of preferable technological changes in the context of work. To this end, it addresses the ‘why’ (motives and values) and the ‘how’ (organizational forms) of automation from a normative perspective. Concerning the ‘why,’ automation processes are currently mostly driven by values of economic efficiency. Yet, since automation processes are part of the basic structure of society, as is the division of labor, considerations of justice apply to them. As for the ‘how,’ the article suggests ‘fair (...) hybrid cooperation’ as an alternative ideal to guide automation priorities. It is achieved when the division of labor between humans and machines does not hinder, and preferably enables, workers’ experience of certain primary qualities in their work activity. By analogy with Rawls’ primary goods, these are qualities that it is necessary for every worker to experience in order to pursue their life plans: security, self-direction, self-development, dignity, and recognition. According to this criterion, the tasks to automate first are those hindering these contributive primary qualities. This provides us with a normative vocabulary and a standard to orient automation decisions but also to assess existing organizational forms and envisage alternative cooperative imaginaries. To illustrate how the ideal may play out in the real world, the article concludes with a ‘fair hybrid cooperation test’ and a nurse bots case for meaningful work. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of (...) automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Despite numerous ethical examinations of automated vehicles, philosophers have neglected to address how these technologies will affect vulnerable people. To account for this lacuna, researchers must analyze how driverless cars could hinder or help social justice. In addition to thinking through these aspects, scholars must also pay attention to the extensive moral dimensions of automated vehicles, including how they will affect the public, nonhumans, future generations, and culturally significant artifacts. If planners and engineers undertake this task, then they (...) will have to prioritize their efforts to avoid additional harm. The author shows how employing an approach called a “complex moral assessment” can help professionals implement these technologies into existing mobility systems in a just and moral fashion. (shrink)

Automation can bring the risk of technological unemployment, as employees are replaced by machines that can carry out the same or similar work at a fraction of the cost. Some believe that the appropriate response is to tax automation. In this paper, I explore the justifiability of view, maintaining that we can embrace automation so long as we compensate those employees whose livelihoods are destroyed by this process by creating new opportunities for employment. My contribution in this paper is important (...) not only because I develop a theoretical framework that we can use to resolve this urgent policy dispute—a dispute that has been discussed extensively by labour economists, tax lawyers, and policymakers, but largely neglected by political philosophers—but also because my analysis sheds lights on a wider range of controversies relating to the moral and political importance of unemployment. (shrink)

Many ethicists writing about automated systems attribute agency to these systems. Not only that; they seemingly attribute an autonomous or independent form of agency to these machines. This leads some ethicists to worry about responsibility-gaps and retribution-gaps in cases where automated systems harm or kill human beings. In this paper, I consider what sorts of agency it makes sense to attribute to most current forms of automated systems, in particular automated cars and military robots. I argue (...) that whereas it indeed makes sense to attribute different forms of fairly sophisticated agency to these machines, we ought not to regard them as acting on their own, independently of any human beings. Rather, the right way to understand the agency exercised by these machines is in terms of human–robot collaborations, where the humans involved initiate, supervise, and manage the agency of their robotic collaborators. This means, I argue, that there is much less room for justified worries about responsibility-gaps and retribution-gaps than many ethicists think. (shrink)

In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate (...) how the theoretical framework proposed can be mechanized to get an automated procedure of query-answering on an example of legal text. (shrink)

In their proof-of-concept, Meier and colleagues describe the purpose and programming decisions underpinning Medical Ethics Advisor, an automated decision support system used t...

Robots are widely expected—and pushed—to transform open-field agriculture, but these visions remain wedded to optimizing monocultural farming systems. Meanwhile there is little pull for automation from ecology-based, diversified farming realms. Noting this gap, we here explore the potential for robots to foster an agroecological approach to crop production. The research was situated in The Netherlands within the case of _pixel cropping_, a nascent farming method in which multiple food and service crops are planted together in diverse assemblages employing agroecological practices (...) such as intercropping and biological pest control. Around this case we engaged with a variety of specialists in discussion groups, workshops, and design challenges to explore the potential of field robots to meet the multifaceted demands of highly diverse agroecological cropping systems. This generated a spectrum of imaginations for how automated tools might—or might not—be appropriately used, ranging from fully automated visions, to collaborative scenarios, to fully analogue prototypes. We found that automating agroecological cropping systems requires finding ways to imbue the ethos of agroecology into designed tools, thereby seeking to overcome tensions between production aims and other forms of social and ecological care. We conclude that a rethinking of automation is necessary for agroecological contexts: not as a blueprint for replacing humans, but making room for analogue and hybrid forms of agricultural work. These findings highlight a need for design processes which include a diversity of actors, involve iterative design cycles, and incorporate feedback between designers, practitioners, tools, and cropping systems. (shrink)

Automated influence, delivered by digital targeting technologies such as targeted advertising, digital nudges, and recommender systems, has attracted significant interest from both empirical researchers, on one hand, and critical scholars and policymakers on the other. In this paper, we argue for closer integration of these efforts. Critical scholars and policymakers, who focus primarily on the social, ethical, and political effects of these technologies, need empirical evidence to substantiate and motivate their concerns. However, existing empirical research investigating the effectiveness of (...) these technologies (or lack thereof), neglects other morally relevant effects—which can be felt regardless of whether or not the technologies "work" in the sense of fulfilling the promises of their designers. Drawing from the ethics and policy literature, we enumerate a range of questions begging for empirical analysis—the outline of a research agenda bridging these fields—and issue a call to action for more empirical research that takes these urgent ethics and policy questions as their starting point. (shrink)

What is argumentation? -- Building a classroom culture of argumentation -- Structuring classroom discussions to focus on argumentation -- Infusing all instruction with argumentation -- Argumentation for all students -- Argumentation and the mathematical practices -- Technology in teaching and learning argumentation -- Assessing argumentation and proof -- Conclusion.

Artificial intelligence is poised to eliminate millions of jobs, from finance to truck driving. But artisanal products are valued precisely because of their human origins, and thus have some inherent “immunity” from AI job loss. At the same time, artisanal labor, combined with technology, could potentially help to democratize the economy, allowing independent, small-scale businesses to flourish. Could AI, robotics and related automation technologies enhance the economic viability and environmental sustainability of these beloved crafting professions, perhaps even expanding their niche (...) to replace some job loss in other sectors? In this paper, we compare the problems created by the current mass production economy and potential solutions from an artisanal economy. In doing so, the paper details the possibilities of utilizing AI to support hybrid forms of human–machine production at the microscale; localized and sustainable value chains at the mesoscale; and networks of these localized and sustainable producers at the macroscale. In short, a wide range of automation technologies are potentially available for facilitating and empowering an artisanal economy. Ultimately, it is our hope that this paper will facilitate a discussion on a future vision for more “generative” economic forms in which labor value, ecological value and social value can circulate without extraction or alienation. (shrink)