Reasoning about Rational Agents

Abstract

what is now the mainstream view as to the best way forward in the dream of engineering reliable software systems out of autonomous agents. The way of using formal logics to specify, implement and verify distributed systems of interacting units using a guiding analogy of beliefs, desires and intentions. The implicit message behind the book is this: Distributed Artificial Intelligence (DAI) can be a respectable engineering science. It says: we use sound formal systems; can cite established philosophical foundations; and will be able to build reliable and flexible software systems.

Other Versions

original Edmonds, Bruce (manuscript) "Reasoning about rational agents".

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Dynamics of Control.Jeff Sanders & Matteo Turilli - 2007 - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07):440-449.
Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.

Analytics

Added to PP
2011-02-20

Downloads
88 (#246,173)

6 months
11 (#246,005)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references