Difference between revisions of "DistOS-2011W Observability & Contracts"

From Soma-notes
Jump to navigation Jump to search
Line 1: Line 1:
==Problem Outline==
Please note that the majority of our efforts are contained on the "Discussion" page.
Please note that the majority of our efforts are contained on the "Discussion" page.


===Observability & Contracts===
==Problem Outline==


* How do I observe the acts of other agents, particularly "public" acts?
* How do we define 'public' action? How do we monitor 'public' action without monitoring every action?
* How can make contracts between computers (promises to exchange actions in present for actions in the future)?
* How can you make sure your agent is acting according to your instructions?
* How can we ensure that information we receive through a third-party is legitimate?
* How do I observe the acts of other agents, particularly public acts?
* What '''CAN''' be observed?
* How can contracts be made between computers/agents?
* How can we ensure that contracts are being upheld?


==Members==
==Members==

Revision as of 22:39, 11 March 2011

Please note that the majority of our efforts are contained on the "Discussion" page.

Problem Outline

  • How do we define 'public' action? How do we monitor 'public' action without monitoring every action?
  • How can you make sure your agent is acting according to your instructions?
  • How can we ensure that information we receive through a third-party is legitimate?
  • How do I observe the acts of other agents, particularly public acts?
  • What CAN be observed?
  • How can contracts be made between computers/agents?
  • How can we ensure that contracts are being upheld?

Members

  • Seyyed Hadi Sajjadpour
  • Tarjit Komal
  • Scott Lyons
  • Andrew Luczak