Formalising Abilities and Opportunities of Agents

  title={Formalising Abilities and Opportunities of Agents},
  author={Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  journal={Fundam. Inform.},
We present a formal system to reason about and specify the behavior of multiple intelligent arti cial agents. Essentially, each agent can perform certain actions, and it may possess a variety of information in order to reason about its and other agent's actions. Thus, our KARO-framework tries to deal formallywith the notion ofKnowledge, possessed by the agents, and their possible execution of actions. In particular, each agent may reason about its |or, alternatively, other's| Abilities to… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 63 extracted citations


Publications referenced by this paper.
Showing 1-10 of 46 references

The semantics of Hoare's iteration rule

R. Goldblatt
Studia Logica, 41:141{158 • 1982
View 12 Excerpts
Highly Influenced

Intelligent agents: theory and practice

Knowledge Eng. Review • 1995
View 5 Excerpts
Highly Influenced

Intention is choice with commitment

P. R. Cohen, H. J. Levesque
Arti cial Intelli- gence, 42:213{261 • 1990
View 4 Excerpts
Highly Influenced

Axiomatising the Logic of Computer Programming

Lecture Notes in Computer Science • 1982
View 7 Excerpts
Highly Influenced


A. Kenny
Freedom and Power. Basil Blackwell, Oxford • 1975
View 4 Excerpts
Highly Influenced

Norm and Action

G. H. von Wright
Routledge & Kegan Paul, • 1963
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…