English
Related papers

Related papers: Rationality is Self-Defeating in Permissionless Sy…

200 papers

Coordination is a desirable feature in many multi-agent systems such as robotic and socioeconomic networks. We consider a task allocation problem as a binary networked coordination game over an undirected regular graph. Each agent in the…

Systems and Control · Electrical Eng. & Systems 2023-10-02 Yifei Zhang , Marcos M. Vasconcelos

Classic mechanism/information design imposes the assumption that agents are fully rational, meaning each of them always selects the action that maximizes her expected utility. Yet many empirical evidence suggests that human decisions may…

Computer Science and Game Theory · Computer Science 2023-11-14 Yiding Feng , Chien-Ju Ho , Wei Tang

Over the last decade, adversarial attack algorithms have revealed instabilities in deep learning tools. These algorithms raise issues regarding safety, reliability and interpretability in artificial intelligence; especially in high risk…

Numerical Analysis · Mathematics 2023-08-30 Desmond J. Higham

Counterfactual reasoning, a cornerstone of human cognition and decision-making, is often seen as the 'holy grail' of causal learning, with applications ranging from interpreting machine learning models to promoting algorithmic fairness.…

Machine Learning · Computer Science 2025-04-11 Yahya Aalaila , Gerrit Großmann , Sumantrak Mukherjee , Jonas Wahl , Sebastian Vollmer

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to…

Blockchain systems benefit from lessons in prior art such as fault tolerance, distributed systems, peer-to-peer systems, and game theory. In this paper we argue that blockchain algorithms should tolerate both rational (self-interested)…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-11-05 Jean-Philippe Martin , Eunjin , Jung

Secure communication is considered with unreliable entanglement assistance, where the adversary may intercept the legitimate receiver's entanglement resource before communication takes place. The communication setting of unreliable…

Quantum Physics · Physics 2024-01-24 Meir Lederman , Uzi Pereg

Autonomous systems with cognitive features are on their way into the market. Within complex environments, they promise to implement complex and goal oriented behavior even in a safety related context. This behavior is based on a certain…

Artificial Intelligence · Computer Science 2020-02-20 Henrik J. Putzer , Ernest Wozniak

Although AI has become increasingly smart, its wisdom has not kept pace. In this article, we examine what is known about human wisdom and sketch a vision of its AI counterpart. We analyze human wisdom as a set of strategies for solving…

Iterated admissibility (IA) can be seen as exhibiting a minimal criterion of rationality in games. In order to make this intuition more precise, the epistemic characterization of this game-theoretic solution has been actively investigated…

Logic · Mathematics 2013-04-19 Fernando Tohmè , Gianluca Caterina , Rocco Gangle

With the increasing connectivity enabled by the Internet of Things (IoT), security becomes a critical concern, and the users should invest to secure their IoT applications. Due to the massive devices in the IoT network, users cannot be…

Computer Science and Game Theory · Computer Science 2019-05-24 Juntao Chen , Quanyan Zhu

We propose a framework for threshold cryptosystems under a permissionless-economic model in which the participants are rational profit-maximizing entities. To date, threshold cryptosystems have been considered under permissioned settings…

Cryptography and Security · Computer Science 2019-01-07 David Yakira , Ido Grayevsky , Avi Asayag

The black-box nature of neural models has motivated a line of research that aims to generate natural language rationales to explain why a model made certain predictions. Such rationale generation models, to date, have been trained on…

Computation and Language · Computer Science 2020-12-16 Faeze Brahman , Vered Shwartz , Rachel Rudinger , Yejin Choi

Rational secure multi-party computation (RSMC) means two or more rational parties to complete a function on private inputs. In the process, the rational parties choose strategies to maximize utility, which will cause players to maliciously…

Cryptography and Security · Computer Science 2022-06-22 Yuling Chen , Juan Ma , Xianmin Wang , Xinyu Zhang , Huiyu Zhou

Interactive constraint systems often suffer from infeasibility (no solution) due to conflicting user constraints. A common approach to recover infeasibility is to eliminate the constraints that cause the conflicts in the system. This…

Artificial Intelligence · Computer Science 2022-04-08 Sharmi Dev Gupta , Begum Genc , Barry O'Sullivan

Selective rationalization has become a common mechanism to ensure that predictive models reveal how they use any available features. The selection may be soft or hard, and identifies a subset of input features relevant for prediction. The…

Computation and Language · Computer Science 2019-12-17 Mo Yu , Shiyu Chang , Yang Zhang , Tommi S. Jaakkola

Determining an individual's strategic reasoning capability based solely on choice data is a complex task. This complexity arises because sophisticated players might have non-equilibrium beliefs about others, leading to non-equilibrium…

General Economics · Economics 2026-02-04 Wei James Chen , Meng-Jhang Fong , Po-Hsuan Lin

The ability to perform causal and counterfactual reasoning are central properties of human intelligence. Decision-making systems that can perform these types of reasoning have the potential to be more generalizable and interpretable.…

Artificial Intelligence · Computer Science 2021-06-28 Daniel McDuff , Yale Song , Jiyoung Lee , Vibhav Vineet , Sai Vemprala , Nicholas Gyde , Hadi Salman , Shuang Ma , Kwanghoon Sohn , Ashish Kapoor

Investigations of causality in operational systems aim at providing human-understandable explanations of why a system behaves as it does. There is, in particular, a demand to explain what went wrong on a given counterexample execution that…

Logic in Computer Science · Computer Science 2023-10-03 Julie Parreaux , Jakob Piribauer , Christel Baier

Investigations of causality in operational systems aim at providing human-understandable explanations of why a system behaves as it does. There is, in particular, a demand to explain what went wrong on a given counterexample execution that…

Logic in Computer Science · Computer Science 2023-08-23 Julie Parreaux , Jakob Piribauer , Christel Baier