English
Related papers

Related papers: Higher-Order Responsibility

200 papers

Recommender systems can influence human behavior in significant ways, in some cases making people more machine-like. In this sense, recommender systems may be deleterious to notions of human autonomy. Many ethical systems point to respect…

Computers and Society · Computer Science 2020-09-08 Lav R. Varshney

There is a growing need for data-driven research efforts on how the public perceives the ethical, moral, and legal issues of autonomous AI systems. The current debate on the responsibility gap posed by these systems is one such example.…

Computers and Society · Computer Science 2021-01-18 Gabriel Lima , Meeyoung Cha

Although AI has significant potential to transform society, there are serious concerns about its ability to behave and make decisions responsibly. Many ethical regulations, principles, and guidelines for responsible AI have been issued…

Artificial Intelligence · Computer Science 2022-09-21 Qinghua Lu , Liming Zhu , Xiwei Xu , Jon Whittle

In consequential domains, it is often impossible to compel individuals to take treatment, so that optimal policy rules are merely suggestions in the presence of human non-adherence to treatment recommendations. We study personalized…

Machine Learning · Computer Science 2026-04-24 Angela Zhou

As the complexity of software systems rises, methods for explaining their behaviour are becoming ever-more important. When a system fails, it is critical to determine which of its components are responsible for this failure. Within the…

Formal Languages and Automata Theory · Computer Science 2026-02-23 Christel Baier , Rio Klatt , Sascha Klüppelholz , Max Korn , Johannes Lehmann

Context: Responsibility gaps, long-recognized challenges in socio-technical systems where accountability becomes diffuse or ambiguous, have become increasingly pronounced in GenAI-enabled software. The generative and adaptive nature…

Software Engineering · Computer Science 2025-11-18 Zhenyu Mao , Jacky Keung , Yicheng Sun , Yifei Wang , Shuo Liu , Jialong Li

There are multiple notions of coalitional responsibility. The focus of this paper is on the blameworthiness defined through the principle of alternative possibilities: a coalition is blamable for a statement if the statement is true, but…

Artificial Intelligence · Computer Science 2018-11-08 Pavel Naumov , Jia Tao

Complex networks have become the main paradigm for modelling the dynamics of interacting systems. However, networks are intrinsically limited to describing pairwise interactions, whereas real-world systems are often characterized by…

Recent work introduced Generalized First Order Decision Diagrams (GFODD) as a knowledge representation that is useful in mechanizing decision theoretic planning in relational domains. GFODDs generalize function-free first order logic and…

Artificial Intelligence · Computer Science 2015-02-23 Benjamin J. Hescott , Roni Khardon

We consider a model where agents differ in their `types' which determines their voluntary contribution towards a public good. We analyze what the equilibrium composition of groups are under centralized and centralized choice. We show that…

Theoretical Economics · Economics 2020-08-10 Siddhartha Bandyopadhyay , Antonio Cabrales

Everyday decisions often involve many different levels. What connects these higher and lower level decisions hierarchy to one another determines how the cause(s) of failures are interpreted. It is hypothesized that decision confidence…

Neurons and Cognition · Quantitative Biology 2024-11-01 Amir. M Mousavi Harris , Jamal Esmaily , Sajjad Zabbah , Reza Ebrahimpour , Bahador Bahrami

A framework for asynchronous, signature free, fully local and probabilistically converging total order algorithms is developed, that may survive in high entropy, unstructured Peer-to-Peer networks with near optimal communication efficiency.…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-18 Mirco Richter

Hub Covering Problems arise in various practical domains, such as urban planning, cargo delivery systems, airline networks, telecommunication network design, and e-mobility. The task is to select a set of hubs that enable tours between…

Discrete Mathematics · Computer Science 2025-03-05 Niklas Jost

We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.

Logic · Mathematics 2008-08-25 Dov Gabbay , Karl Schlechta

It is widely acknowledged that we need to establish where responsibility lies for the outputs and impacts of AI-enabled systems. This is important to achieve justice and compensation for victims of AI harms, and to inform policy and…

Artificial Intelligence · Computer Science 2025-08-19 Zoe Porter , Philippa Ryan , Phillip Morgan , Joanna Al-Qaddoumi , Bernard Twomey , Paul Noordhof , John McDermid , Ibrahim Habli

The description of the dynamics of complex systems, in particular the capture of the interaction structure and causal relationships between elements of the system, is one of the central questions of interdisciplinary research. While the…

Machine Learning · Statistics 2025-04-30 Jakub Kořenek , Pavel Sanda , Jaroslav Hlinka

We study the role of hierarchical structures in a simple model of collective consensus formation based on the bounded confidence model with continuous individual opinions. For the particular variation of this model considered in this paper,…

Physics and Society · Physics 2012-07-24 Nicolas Perony , René Pfitzner , Ingo Scholtes , Claudio J. Tessone , Frank Schweitzer

We present a first exact study on higher-dimensional packing problems with order constraints. Problems of this type occur naturally in applications such as logistics or computer architecture and can be interpreted as higher-dimensional…

Data Structures and Algorithms · Computer Science 2007-05-23 Sandor P. Fekete , Ekkehard Koehler , Juergen Teich

Given the family $P$ of all nonempty subsets of a set $U$ of alternatives, a choice over $U$ is a function $c \colon \Omega \to P$ such that $\Omega \subseteq P$ and $c(B) \subseteq B$ for all menus $B \in \Omega$. A choice is total if…

Logic in Computer Science · Computer Science 2022-12-05 Domenico Cantone , Alfio Giarlotta , Pietro Maugeri , Stephen Watson

We show that the maximum clique problem (decision version) can be expressed in existential second order (ESO) logic, where the first order part is a Horn formula in second-order quantified predicates. Without ordering, the first order part…

Computational Complexity · Computer Science 2010-10-05 Prabhu Manyem