The agent gives an assessment by making statements about gambles f : Accepting (⊕) implies a commitment: (i) outcome ω ∈Ω is determined, (ii) he receives the payoff f (ω). Rejecting (⊖) implies that he considers accepting f unreasonable; this is relevant when combining assessments. An assessment is a pair A ∶= ⟨A⪰;A≺⟩ in A ∶= 2 × 2 of sets of acceptable respectively dispreferred gambles. Unreso...

The human-agent team, which is a problem in humans and autonomous agents collaborate to achieve one task, typical human-AI collaboration. For effective collaboration, want have an plan, but realistic situations, they might difficulty calculating the best plan due cognitive limitations. In this case, guidance from agent that has many computational resources may be useful. However, if guides huma...

This paper introduces asymmetric awareness into the classical principal-agent model and discusses the optimal contract between a fully aware principal and an unaware agent. The principal enlarges the agent’s awareness strategically when proposing the contract. He faces a trade off between participation and incentives. Leaving the agent unaware allows him to exploit the agent’s incomplete unders...

1.1. Problem formulation. To understand the flavor of questions in contract theory, we start with an one-period model in this section. Consider an agent whose utility is modelled by an exponential utility with the risk aversion γA, i.e., UA(c) = − 1 γA e −γAc. If hired at time 0, this agent manages a project, which produces an output at time 1. The output is random, and it is modelled by a norm...

Proof. Proof of claim 1: Suppose all agents acquire full information. In this case Π(bi) = 0 and each agent has to pay c. Deviating from the equilibrium means that the agent receives an uninformative signal, i.e. bi → ∞, but does not have to pay c. From the definition we can easily see that as bi → ∞, τv → 0. In the full information equilibrium, the agent knows that ā = s and thus Var [ā|Ii] = ...

From the standpoint of multi-agent systems, soccer (association football), which is just one of usual team sports, make a good example of problems in the real world which is moderately abstracted. We have chosen soccer as one of standard problems for the study on multi-agent systems, and we are now developing a soccer server, which provides a common test-bench to various multi-agent systems. We...

This paper develops the formal aspects of a new apporach to reasoning about the knowledge of other agents. It is based on the principles of introspection, by which an agent is aware of the inferences he makes, and projection, by which an agent assumes that other agents have the same inference abilities as himself. The paper develops a logic that incorporates these principles and proves the soun...

The helium extracted from gas wells consists predominantly of He but it also contains traces (a few parts in 10) of the other stable isotope, He. For many purposes, the presence of the He may be neglected. Commercial He, widely used for a variety of cryogenic and other technological applications, usually consists of the two isotopes in their natural relative abundances. There are certain other ...