Ensuring Consistency in the Joint Beliefs of Interacting Agents

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 662-669

  Paurobally, Shamimabi ^a   Cunningham, Jim ^b   Jennings, Nicholas R ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Agent; Belief; Interaction state; Protocol; Synchronisation

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER NETWORKS; CONSTRAINT THEORY; FAILURE ANALYSIS; INTERACTIVE COMPUTER SYSTEMS; NETWORK PROTOCOLS; RELIABILITY; SEMANTICS; SOFTWARE AGENTS; SYNCHRONIZATION;

BELIEF; INTERACTION STATE;

MULTI AGENT SYSTEMS;

EID: 1142268757     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860575.860682     Document Type: Conference Paper

References (12)

1. K. A. Bartlet, R. A. Scantlebury, and P. Wilkinson. A note on reliable full-duplex transmission over half-duplex links. Comms. of the ACM, 12(5), 1969.
2. G. Boolos and R. Jeffrey. Computability and Logic. Cambridge University Press, 1989.
3. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
4. R. Goldblatt. Logics of Time and Computation. CSLI, 1987.
5. J. Halpern and L. Zuck. A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. JACM, 39(3), 1992.
6. D. Harel and M. Politi. Modeling reactive systems with statecharts. McGraw-Hill, 1998.
7. http://www.fipa.org. Foundation for Intelligent Physical Agents, FIPA. Agent Communication Language.
8. J. Meyer and W. Van Der Hoek. Epistemic Logic for AI and Comp. Science. Cambridge Univ. Press, 1995.
9. S. Paurobally. Rational Agents and the Processes and States of Negotiation. PhD thesis, Imperial College, 2002.
10. S. Paurobally and R. Cunningham. Verification of protocols for negotiation between agents. In ECAI-15, pages 43-48, 2002.
11. J. Rosenschein and G. Zlotkin. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. MIT Press, 1994.
12. W. Van der Hoek and M. Wooldridge. Model checking knowledge and time. In 9th Int. Spin Workshop on model checking of software, pages 95-111, 2002.