Formalising Abilities and Opportunities of Agents

@article{Linder1998FormalisingAA,
  title={Formalising Abilities and Opportunities of Agents},
  author={Bernd van Linder and Wiebe van der Hoek and John-Jules Ch. Meyer},
  journal={Fundam. Inform.},
  year={1998},
  volume={34},
  pages={53-101}
}
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.

Citations

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

References

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

Will

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…