English
Related papers

Related papers: Partial Awareness

200 papers

In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we present a conservative extension of Public Announcement Logic…

Logic in Computer Science · Computer Science 2019-07-23 Malvin Gattinger , Yanjing Wang

Existing approaches for generating human-aware agent behaviors have considered different measures of interpretability in isolation. Further, these measures have been studied under differing assumptions, thus precluding the possibility of…

Artificial Intelligence · Computer Science 2021-04-23 Sarath Sreedharan , Anagha Kulkarni , David E. Smith , Subbarao Kambhampati

Reinforcement Learning (RL) agents typically learn memoryless policies---policies that only consider the last observation when selecting actions. Learning memoryless policies is efficient and optimal in fully observable environments.…

A key feature of human theory-of-mind is the ability to attribute beliefs to other agents as mentalistic explanations for their behavior. But given the wide variety of beliefs that agents may hold about the world and the rich language we…

Computation and Language · Computer Science 2025-05-27 Lance Ying , Almog Hillel , Ryan Truong , Vikash K. Mansinghka , Joshua B. Tenenbaum , Tan Zhi-Xuan

Standard models of multi-agent modal logic do not capture the fact that information is often ambiguous, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different…

Artificial Intelligence · Computer Science 2012-03-06 Joseph Y. Halpern , Willemien Kets

Recent work has shown how predictive modeling can endow agents with rich knowledge of their surroundings, improving their ability to act in complex environments. We propose question-answering as a general paradigm to decode and understand…

We introduce a novel logical notion--partial entailment--to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set \Gamma intuitively means…

Logic in Computer Science · Computer Science 2014-01-17 Yi Zhou , Yan Zhang

This work discusses how to build more rational language and multimodal agents and what criteria define rationality in intelligent systems. Rationality is the quality of being guided by reason, characterized by decision-making that aligns…

Artificial Intelligence · Computer Science 2025-02-18 Bowen Jiang , Yangxinyu Xie , Xiaomeng Wang , Yuan Yuan , Zhuoqun Hao , Xinyi Bai , Weijie J. Su , Camillo J. Taylor , Tanwi Mallick

We consider a principal agent project selection problem with asymmetric information. There are $N$ projects and the principal must select exactly one of them. Each project provides some profit to the principal and some payoff to the agent…

Theoretical Economics · Economics 2025-04-15 Sumit Goel , Wade Hann-Caruthers

A smart space offers entirely new opportunities for end users by adapting services accordingly to make life easy. A number of architectural designs have been proposed to design context awareness systems and adaptation behavior. However, the…

Computers and Society · Computer Science 2016-02-17 Somia Belaidouni , Moeiz Miraoui , Chakib Tadj

During interactions with human consultants, people are used to providing partial and/or inaccurate information, and still be understood and assisted. We attempt to emulate this capability of human consultants; in computer consultation…

Artificial Intelligence · Computer Science 2013-03-26 Bhavani Raskutti , Ingrid Zukerman

Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical…

Artificial Intelligence · Computer Science 2013-03-25 Philippe Chatalic , Christine Froidevaux

Common-sense physical reasoning is an essential ingredient for any intelligent agent operating in the real-world. For example, it can be used to simulate the environment, or to infer the state of parts of the world that are currently…

Machine Learning · Computer Science 2018-03-01 Sjoerd van Steenkiste , Michael Chang , Klaus Greff , Jürgen Schmidhuber

In psychology and neuroscience it is common to describe cognitive systems as input/output devices where perceptual and motor functions are implemented in a purely feedforward, open-loop fashion. On this view, perception and action are often…

Neurons and Cognition · Quantitative Biology 2022-03-10 Manuel Baltieri , Christopher L. Buckley

Fairness is commonly seen as a property of the global outcome of a system and assumes centralisation and complete knowledge. However, in real decentralised applications, agents only have partial observation capabilities. Under limited…

Multiagent Systems · Computer Science 2022-02-24 Alex Raymond , Matthew Malencia , Guilherme Paulino-Passos , Amanda Prorok

Rational decision making in its linguistic description means making logical decisions. In essence, a rational agent optimally processes all relevant information to achieve its goal. Rationality has two elements and these are the use of…

Artificial Intelligence · Computer Science 2019-02-14 Tshilidzi Marwala

This work addresses the problem of sharing partial information within social learning strategies. In traditional social learning, agents solve a distributed multiple hypothesis testing problem by performing two operations at each instant:…

Signal Processing · Electrical Eng. & Systems 2022-12-07 Virginia Bordignon , Vincenzo Matta , Ali H. Sayed

Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an acting entity being deemed able to do something is still…

Multiagent Systems · Computer Science 2024-11-19 Nicolas Troquard

We study the instrumental value of conceptual knowledge when making statistical decisions. Such knowledge tells agents how unknown, payoff-relevant states relate. It is distinct from the statistical knowledge gained from observing signals…

Theoretical Economics · Economics 2026-02-12 Benjamin Davies , Anirudh Sankar

We consider systems under uncertainty whose dynamics are partially unknown. Our aim is to study satisfaction of temporal logic properties by trajectories of such systems. We express these properties as signal temporal logic formulas and…

Systems and Control · Electrical Eng. & Systems 2020-05-12 Ali Salamati , Sadegh Soudjani , Majid Zamani