Learn More
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coali-tional ability. However, coalitional ability can be affected by the availability of resources, and there is no straightforward way of reasoning about(More)
Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in(More)
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal(More)
In this paper we describe an adaptive, optimistic synchronisation mechanism for the parallel discrete event simulation of agent-based systems. The mechanism uses the Sphere of Influence (SoI) of an event (the region of the shared simulation state read or written to by the event) to define an adaptive metric which can be used with a throttling mechanism such(More)
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The semantics of TRL is grounded in the agentýs computation, allowing an unambiguous ascription of the set of formulas which the agent actually knows at time t. We show that TRL can(More)