DistOS-2011W Observability & Contracts

From Soma-notes

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