English
Related papers

Related papers: Beyond the Spell: A Dynamic Logic Analysis of Misd…

200 papers

For artificial intelligence to be beneficial to humans the behaviour of AI agents needs to be aligned with what humans want. In this paper we discuss some behavioural issues for language agents, arising from accidental misspecification by…

Artificial Intelligence · Computer Science 2021-03-30 Zachary Kenton , Tom Everitt , Laura Weidinger , Iason Gabriel , Vladimir Mikulik , Geoffrey Irving

Magic is the art of producing in the spectator an illusion of impossibility. Although the scientific study of magic is in its infancy, the advent of recent tracking algorithms based on deep learning allow now to quantify the skills of the…

Neurons and Cognition · Quantitative Biology 2019-08-21 Regina Zaghi-Lara , Miguel Ángel Gea , Jordi Camí , Luis M. Martínez , Alex Gomez-Marin

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of…

Logic in Computer Science · Computer Science 2024-05-20 Daniel Lu

Common Knowledge Logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong statements on the knowledge of the other agents (the so called \emph{common…

Computer Science and Game Theory · Computer Science 2007-12-20 Pierre Lescanne , Jérôme Puisségur

Data visualization is powerful in persuading an audience. However, when it is done poorly or maliciously, a visualization may become misleading or even deceiving. Visualizations give further strength to the dissemination of misinformation…

Human-Computer Interaction · Computer Science 2022-04-21 Leo Yu-Ho Lo , Ayush Gupta , Kento Shigyo , Aoyu Wu , Enrico Bertini , Huamin Qu

Business communication digitisation has reorganised the process of persuasive discourse, which allows not only greater transparency but also advanced deception. This inquiry synthesises classical rhetoric and communication psychology with…

Computation and Language · Computer Science 2025-08-14 Sayem Hossen , Monalisa Moon Joti , Md. Golam Rashed

"Natural languages are programming languages for minds." Can we or should we take this slogan seriously? If so, how? Can answers be found by looking at the various "dynamic" treatments of natural language developed over the last decade or…

cmp-lg · Computer Science 2008-02-03 David Israel

The present paper gives a mathematical, in particular, syntax-independent, formulation of intensionality and dynamics of computation in terms of games and strategies. Specifically, we give a game semantics for a higher-order programming…

Logic in Computer Science · Computer Science 2021-02-10 Norihiro Yamada , Samson Abramsky

We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or "by the throw of dice". This system consists of possible worlds that assign distributions to independent random variables, and agents who…

Logic in Computer Science · Computer Science 2019-01-01 Tim French , Andrew Gozzard , Mark Reynolds

Strategic classification studies the problem where self-interested individuals or agents manipulate their response to obtain favorable decision outcomes made by classifiers, typically turning to dishonest actions when they are less costly…

Machine Learning · Computer Science 2026-05-26 Ziyuan Huang , Lina Alkarmi , Mingyan Liu

Why should computers interpret language incrementally? In recent years psycholinguistic evidence for incremental interpretation has become more and more compelling, suggesting that humans perform semantic interpretation before constituent…

cmp-lg · Computer Science 2016-08-31 David Milward , Robin Cooper

Identifying the direction of emotional influence in a dyadic dialogue is of increasing interest in the psychological sciences with applications in psychotherapy, analysis of political interactions, or interpersonal conflict behavior. Facial…

Computer Vision and Pattern Recognition · Computer Science 2020-12-17 Maha Shadaydeh , Lea Mueller , Dana Schneider , Martin Thuemmel , Thomas Kessler , Joachim Denzler

Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world. DEL games were recently introduced as a way to define classes of games…

Logic in Computer Science · Computer Science 2020-01-22 Bastien Maubert , Aniello Murano , Sophie Pinchinat , François Schwarzentruber , Silvia Stranieri

Text-based games simulate worlds and interact with players using natural language. Recent work has used them as a testbed for autonomous language-understanding agents, with the motivation being that understanding the meanings of words or…

Computation and Language · Computer Science 2021-05-03 Shunyu Yao , Karthik Narasimhan , Matthew Hausknecht

In this paper we address the problem of visual reaction: the task of interacting with dynamic environments where the changes in the environment are not necessarily caused by the agent itself. Visual reaction entails predicting the future…

Computer Vision and Pattern Recognition · Computer Science 2020-04-13 Kuo-Hao Zeng , Roozbeh Mottaghi , Luca Weihs , Ali Farhadi

The intent of control argumentation frameworks is to specifically model strategic scenarios from the perspective of an agent by extending the standard model of argumentation framework in a way that takes unquantified uncertainty regarding…

Artificial Intelligence · Computer Science 2022-10-24 Minal Suresh Patil

This article revisits the widely studied problem of disinformation and related phenomena in online social networks (OSNs) by reframing it as a broader problem of misrepresentation. While disinformation is commonly understood as the…

We introduce a new type of indirect, cross-modal injection attacks against visual language models that enable creation of self-interpreting images. These images contain hidden "meta-instructions" that control how models answer users'…

Cryptography and Security · Computer Science 2025-06-16 Tingwei Zhang , Collin Zhang , John X. Morris , Eugene Bagdasarian , Vitaly Shmatikov

When should we delegate decisions to AI systems? While the value alignment literature has developed techniques for shaping AI values, less attention has been paid to how to determine, under uncertainty, when imperfect alignment is good…

Artificial Intelligence · Computer Science 2025-12-23 Daniel A. Herrmann , Abinav Chari , Isabelle Qian , Sree Sharvesh , B. A. Levinstein

This paper introduces epistemic graphs as a generalization of the epistemic approach to probabilistic argumentation. In these graphs, an argument can be believed or disbelieved up to a given degree, thus providing a more fine--grained…

Artificial Intelligence · Computer Science 2020-01-15 Anthony Hunter , Sylwia Polberg , Matthias Thimm