1920 search results - page 9 / 384 » An Architecture for Rational Agents |
AAAI
2004
13 years 11 months ago
2004
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible ...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
AI
2008
Springer
13 years 10 months ago
2008
Springer
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
The missing of an appropriate semantics of agent communication languages is one of the most challenging issues of contemporary AI. Although several approaches to this problem exis...
AAAI
2008
14 years 4 days ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...