Independent Study: Ethics, Human-AI Interaction, and Automated Reasoning in Scientific Domains

Semester: Fall 2025
Student: Munongedzi Mabhoko
Advisor: Jeanna Mathews
Credit Hours: 3
Format: Readings, technical exercises, short reflections, and two major projects

Course Overview

This independent study explores the ethical dimensions of computer-human interaction and algorithmic decision-making, while integrating a technical lens on automated reasoning and formal methods in AI. The student will investigate how ethical concerns, such as bias, opacity, and manipulation, intersect with algorithmic systems, and explore tools and methods to enhance AI's trustworthiness. Inspired by Fairness, Accountability and Transparency in AI and Automated Systems.

Learning Goals

Outline

Foundational Knowledge

  1. Define key ethical theories (e.g., consequentialism, deontology, virtue ethics) and explain how they apply to the design and deployment of intelligent systems.
  2. Identify core governance frameworks, policies, and standards shaping AI development at national, regional, and global levels.
  3. Describe major ethical challenges in intelligent systems, such as bias, transparency, accountability, privacy, safety, and sustainability.
  4. Compare approaches to AI regulation and governance across jurisdictions (e.g., EU AI Act, U.S. AI executive orders, UNESCO AI Ethics guidelines).

Analytical & Critical Thinking Skills

  1. Critically evaluate case studies of intelligent systems for potential ethical risks, unintended consequences, and governance gaps.
  2. Assess the trade-offs between innovation, social good, and risk mitigation in AI policy and system design.
  3. Analyze stakeholder perspectives (governments, corporations, communities, and marginalized groups) to understand competing values in AI governance.
  4. Apply risk assessment tools and frameworks to identify and mitigate harms in AI lifecycle stages (data, models, deployment).

Practical & Applied Skills

  1. Develop guidelines or audit checklists for ethical evaluation of an AI system in real-world contexts.
  2. Draft governance recommendations that balance ethical principles with technical feasibility and organizational constraints.
  3. Propose participatory approaches for involving diverse stakeholders in the oversight of intelligent systems.
  4. Use fairness, accountability, and transparency (FAccT) metrics to evaluate AI models, where applicable.

Integration & Synthesis

  1. Design a policy brief or position paper articulating an ethical stance on a contemporary AI issue (e.g., facial recognition, autonomous weapons, healthcare AI).
  2. Formulate strategies for embedding ethical reasoning into the development cycle of intelligent systems.
  3. Synthesize ethical theory, governance mechanisms, and technical methods to propose holistic solutions to real-world challenges.
  4. Reflect on the societal and personal responsibilities of computer scientists and engineers working in AI.

Weekly Breakdown

Week Theme Materials Page Count Deliverable
1
(Aug 25-29)
Ethics & Study Goals Personal reflection + syllabus 0 3-5-pg reflection: "The World I Want"
2
(Sep 1-5)
Algorithmic Harm Weapons of Math Destruction, Cathy O'Neil Ch 1,5,6,8 75 Reading notes + Algorithmic Harm
3
(Sep 8-12)
Inequality in Automation Automating Inequality, Virginia Eubanks The Indiana Case The LA Case The Alleghaney County Case 217 (?) Reading notes + Automating Inequality and the Gorvenance of AI in Social Welfare
4
(Sep 15-19)
Search and Representation Algorithms of Oppression Intro, Ch1 &3& conclusion 95 3-5 page reflection Search and Representation
5
(Sep 22-26)
Surveillance Capitalism The Age of Surveillance Capitalism The Fight for a Human Future at the New Frontier of Power, Shoshana Zuboff,intro,Ch1,3,8,12,16 210 ethics of data extractionThe Mirror State
IEEE Ethically Aligned Design 263
6
(Sep 29-Oct 3)
Human Labor in AI Systems Data Driven: Truckers, Technology, and the New Workplace Surveillance, Karen Levy 280 3-5 page reflection Human Labor in AI Systems
Uberland, Alex Rosenblat 296
7
(Oct 6-10)
Biomedical AI & Ethics Intro to biomedical knowledge graphs, BioPortal examples 34 Diagram: biomedical KG components
Midterm project due:Biomedical Report with KG Components
Decision Procedures: An Algorithmic Point of View – Daniel Kroening & Ofer Strichman 321
Artificial Intelligence in Healthcare – Adam Bohr & Kaveh Memarzadeh 12
Link Property Prediction | Open Graph Benchmark 12
Open Graph Benchmark: Datasets for Machine Learning on Graphs 33
Systematic integration of biomedical knowledge prioritizes drugs for repurposing | eLife 22
Dissecting racial bias in an algorithm used to manage the health of populations | Science 4
Dissecting racial bias in an algorithm used to manage the health of populations - PubMed 4
Reporting guidelines for clinical trial reports for interventions involving artificial intelligence: the CONSORT-AI Extension | The BMJ 8
8
(Oct 13-17)
SMT in Biomedicine Read paper on SMT over KGs (e.g., BioKG, PathMe) 15 SMTTechnical review + reflection
SMT Safety Verification of Ontology-Based Processes [2108.12330] 15
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version) 15
Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies | BMC Medical Informatics and Decision Making 15
9
(Oct 20-24)
Reliability in Scientific AI Readings on formal verification and reproducibility 13 Reliability position paper
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks 13
The Marabou Framework for Verification and Analysis of Deep Neural Networks 13
"Everyone wants to do the model work, not the data work": Data Cascades in High-Stakes AI | Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems 13
Model Cards for Model Reporting 6
Datasheets for datasets | Communications of the ACM 7
10
(Oct 27-31)
Case Study: Gender Shades Fairness in ML datasets ?? 7? Fairness audit on toy dataset UTKFace Dataset Audit
FairFace: Face Attribute Dataset for Balanced Race, Gender, and Age 8
Gender Shades: Intersectional Accuracy Disparities in Commercial Gender Classification 8
UTKFace
Watch this: 21 fairness definitions and their politics
11
(Nov 3-7)
Scientific Knowledge Representation Ontologies: SNOMED CT, MeSH 40 Compare: Ethics of human vs formal encoding
12
(Nov 10-14)
Opacity & Bias in AI Data and Society? Annotated timeline: info manipulation
How the machine 'thinks': Understanding opacity in machine learning algorithms 25
"Why Should I Trust You?" Explaining the Predictions of Any Classifier 20
Machine Bias: Risk Assessments in Criminal Sentencing 15
Bias in Criminal Risk Scores Is Mathematically Inevitable, Researchers Say 10
COMPASS Some Details
13
(Nov 17-21)
Transparency & Explainability "Open Data Trojan Horse", AI explainability papers 50 3-5 page reflection
AI Explainability Discussion (???)
[2102.01815] TAD: Trigger Approximation based Black-box Trojan Detection for AI 11
14
(Nov 24-28)
Thesis Paper Outline Platform governance, moderation. Thesis
15
(Dec 1-5)
Thesis Presentation Live or recorded presentation of final project

Major Projects

Midterm Technical-Ethical Analysis

Analyze an existing biomedical or scientific reasoning system. Explore its:

Deliverable: Ethical report

Final Project: Thesis Paper

Deliverables: