DistOS-2011W Observability & Contracts: Difference between revisions
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