You are viewing a single comment's thread from:

RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]

in #smt-oracles7 years ago (edited)

The more I think about this idea and it's dynamics the more I like it. Some questions though. Won't we need some manual mechanism to determine the entity performed the action in some cases?

For example if the action is relatively simple such as the entity created a website then based on evidence (and perhaps some of this evidence collection can be automated), this can be verified as true.

So one obvious example I can think of to use something like this is with photography. The real world action could be to take a photograph of an event for example. Photography would be very obvious and easy to verify. Something like coding on the other hand is a bit more difficult.

Sort:  

How can we be sure that the photography is of the actual event, and that it is original? This sounds like a semi-automated mturk job - there will have to be manual aspects to the oracles.

I am most interested in world improving efforts like planting trees and following up with them. Having oracles verify good deeds sounds like a really fun job that has the potential to change the world.

Well for example suppose you want a photograph of something which hasn't happened yet?

Oh fantastic. I am already seeing the revolution in news journalism with your example!

The 'job' must be declared, with certain specifications, as well as maximum entries I suspect. The oracles can process metadata for gps locations and a bit more information, can use certain image algorithms to sort faces, perhaps other text in photos, but will still need to manually review the filtered entries at some point.

There will be work involved or the oracles would be terminat....I mean friendly androids!