English
Related papers

Related papers: Partial Awareness

200 papers

A framework for consensus modelling is introduced using Kleene's three valued logic as a means to express vagueness in agents' beliefs. Explicitly borderline cases are inherent to propositions involving vague concepts where sentences of a…

Multiagent Systems · Computer Science 2018-01-15 Michael Crosscombe , Jonathan Lawry

We analyze a principal-agent procurement problem in which the principal (she) is unaware some of the marginal cost types of the agent (he). Communication arises naturally as some types of the agent may have an incentive to raise the…

Theoretical Economics · Economics 2025-10-27 Alejandro Francetich , Burkhard C. Schipper

As part of human core knowledge, the representation of objects is the building block of mental representation that supports high-level concepts and symbolic reasoning. While humans develop the ability of perceiving objects situated in 3D…

Computer Vision and Pattern Recognition · Computer Science 2024-03-07 John Day , Tushar Arora , Jirui Liu , Li Erran Li , Ming Bo Cai

Assessing the systemic effects of uncertainty that arises from agents' partial observation of the true states of the world is critical for understanding a wide range of scenarios. Yet, previous modeling work on agent learning and…

Adaptation and Self-Organizing Systems · Physics 2022-04-15 Wolfram Barfuss , Richard P. Mann

Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical framework to express properties of the observable behaviour…

Logic in Computer Science · Computer Science 2018-01-15 Vasileios Koutavas , Maciej Gazda , Matthew Hennessy

This work aims to rigorously define the values of perception, prediction, communication, and common sense in decision making. The defined quantities are decision-theoretic, but have information-theoretic analogues, e.g., they share some…

Information Theory · Computer Science 2026-01-13 Aolin Xu

We construct the belief function that quantifies the agent, beliefs about which event of Q will occurred when he knows that the event is selected by a chance set-up and that the probability function associated to the chance set up is only…

Artificial Intelligence · Computer Science 2013-02-28 Philippe Smets

Legal reasoning requires both precise interpretation of statutory language and consistent application of complex rules, presenting significant challenges for AI systems. This paper introduces a modular multi-agent framework that decomposes…

Artificial Intelligence · Computer Science 2025-11-11 Albert Sadowski , Jarosław A. Chudziak

We consider multi-agent argumentation, where each agent's view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur on this basis. We think of a deliberative process as taking…

Logic in Computer Science · Computer Science 2014-08-08 Truls Pedersen , Sjur Dyrkolbotn

It is asserted that consciousness functionally is a vision. Biologically it is a sensation of work of a brain that converts external and internal signals into visual output. However, as we well know, human consciousness includes meaning…

Neurons and Cognition · Quantitative Biology 2022-10-12 Boris Rusakov

Thirty years ago, Wooldridge and Jennings defined intelligent agents through four properties: autonomy, reactivity, pro-activeness, and social ability. Today, advances in AI can empower everyday objects to become such intelligent agents. We…

Human-Computer Interaction · Computer Science 2026-04-07 Kwon Ko , Hyoungwook Jin

Humans understand language based on the rich background knowledge about how the physical world works, which in turn allows us to reason about the physical world through language. In addition to the properties of objects (e.g., boats require…

Computation and Language · Computer Science 2019-08-09 Maxwell Forbes , Ari Holtzman , Yejin Choi

In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and…

Multiagent Systems · Computer Science 2023-10-27 Francesco Belardinelli , Wojciech Jamroga , Munyque Mittelmann , Aniello Murano

Humans have the ability to report the contents of their subjective experience - we can say to each other, "I am aware of X". The decision processes that support these reports about mental contents remain poorly understood. In this article I…

Neurons and Cognition · Quantitative Biology 2019-12-04 Stephen M. Fleming

Full models of the world require complex knowledge of immense detail. While pre-trained large models have been hypothesized to contain similar knowledge due to extensive pre-training on vast amounts of internet scale data, using them…

The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent…

Logic in Computer Science · Computer Science 2022-09-13 Guido Governatori , Francesco Olivieri , Simone Scannapieco , Antonino Rotolo , Matteo Cristani

An unaddressed challenge in multi-agent coordination is to enable AI agents to exploit the semantic relationships between the features of actions and the features of observations. Humans take advantage of these relationships in highly…

Machine Learning · Computer Science 2023-06-07 Mingwei Ma , Jizhou Liu , Samuel Sokota , Max Kleiman-Weiner , Jakob Foerster

In this paper the theory of semi-bounded rationality is proposed as an extension of the theory of bounded rationality. In particular, it is proposed that a decision making process involves two components and these are the correlation…

Artificial Intelligence · Computer Science 2013-05-28 Tshilidzi Marwala

This paper lays part of the groundwork for a domain theory of negotiation, that is, a way of classifying interactions so that it is clear, given a domain, which negotiation mechanisms and strategies are appropriate. We define State Oriented…

Artificial Intelligence · Computer Science 2014-11-17 G. Zlotkin , J. S. Rosenschein

Situationally-aware artificial agents operating with competence in natural environments face several challenges: spatial awareness, object affordance detection, dynamic changes and unpredictability. A critical challenge is the agent's…

Robotics · Computer Science 2025-07-29 Mihai Pomarlan , Stefano De Giorgis , Rachel Ringe , Maria M. Hedblom , Nikolaos Tsiogkas