| van Linder, B., van der Hoek, W., Meyer, J.-J. C.: Formalising Abilities and Opportunities of Agents, Fundamenta Informaticae, 34, 1998, 53--101. |
....and possibly other properties. The aspect of willingness considers their mental attitudes towards participating towards the overall goal. Very capable agents that do not want to do the job are of no use. As a reminder, the components of the agent s suitability are represented as follows (cf. [20]) 1. the individual ability of agent b to achieve a goal is denoted by able(b; 2. the resources available to agent b are reflected by the opportunity that agent b has to achieve , denoted by opp(b; 3. the willingness of agent b to participate in team formation is denoted by willing(b; ....
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informaticae 34, 1998, pp. 53-101.
....of this paper) Abilities and opportunities are de ned as follows: able(b; if is in a pre given set of agent b s abilities. opp(b; is true in a world and a state if there is a branch through that state such that at a later point on that branch, agent b has just seen to it that . In [13] more formal de nitions are given for ability and opportunity based on dynamic logic. Similarly, willing(b; stands for agent b believes that at some branch, at some point in future, it intends . Towards a potential of cooperation In the previous subsection we have described what type of ....
B. van Linder, W. van der Hoek, and J.-J. C. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informaticae, 34:53-101, 1998.
....involving resources and possibly other properties. The aspect of willingness considers their mental attitudes towards participating towards the overall goal. Very capable agents that do not want to do the job are of no use. The components of the agent s suitability are represented as follows (cf. [14] where formal definitions are given for ability and opportunity based on dynamic logic) 1. the individual ability of agent b to achieve a goal is denoted by able(b; meaning that is in a pre given set of agent b s abilities. 2. the resources available to agent b are reflected by the ....
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informaticae 34 (1998) pp. 53-101.
....pairs is de ned in the obvious manner inspired by CTL and epistemic logic. able(b; if is in a pre given set of agent b s abilities. opp(b; is true in a world and a state if there is a branch through that state such that at a later point on that branch, agent b has just seen to it that . In [11] more formal de nitions are given for ability and opportunity based on dynamic logic. The spirit of these de nitions is captured in the ones given above except that we use states instead of actions. As to commitments strategies, COMM(a; b; stands for: agent a is socially committed towards ....
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informaticae 34 (1998) pp. 53-101.
No context found.
van Linder, B., van der Hoek, W., Meyer, J.-J. C.: Formalising Abilities and Opportunities of Agents, Fundamenta Informaticae, 34, 1998, 53--101.
No context found.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informaticae 34 (1998) pp. 53-101.
No context found.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informaticae 34 (1998) pp. 53-101.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC