DistOS-2011W Observability & Contracts: Difference between revisions

From Soma-notes
Slyons (talk | contribs)
No edit summary
Line 11: Line 11:
* How can we ensure that contracts are being upheld?
* How can we ensure that contracts are being upheld?
* What side effects does observance have? For example if everyone can see who buys something online, would that promote or demote using such website?
* What side effects does observance have? For example if everyone can see who buys something online, would that promote or demote using such website?
[[Category:2011-Observability]]
[[Category:2011-Contracts]]


==Members==
==Members==

Revision as of 17:40, 15 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?
  • What side effects does observance have? For example if everyone can see who buys something online, would that promote or demote using such website?

Members

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