Dave Mortimer wrote:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In my opinion, it is not sufficient to average the trust values around a member's node in an attempt to estimate the "trust" that the member receives.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
amo crafts answered:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
No it's not, but it is a sufficient way to identify discrepancies.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
What discrepancies? We haven't even tested anything yet!
Dave Mortimer wrote:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
For example, a trust value t1 with a nominal trust value of 0.74 over 3 hops, is better than another trust value t2 with the same nominal trust value of 0.74 over 2 hops. This is because if t2 were to undergo a further hop and become a 3-hop type, it would have to decrease below 0.74 (because we take a fraction of a fraction) (providing of course that this further trust level is not 1, which should not be allowed because perfection implies God status).
The argument in the previous paragraph can be taken as a proof by example, and should serve to explain why we have to type routes by different numbers of hops.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
amo crafts answered:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Certainly up to the individual, though I would have to disagree. At best the two balance each other out, at worst I would rely upon the shorter route. There is certainly no "proof" here. I understand that essentially you are extending the curves but the decision to select this method over selecting the shorter route is a very subjective decision. and introducing such subjective decisions so deeply into a solution will cause problems.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
I have some questions regarding this statement of yours.
Ignoring some nodes for a moment to make this simple, and considering only the nodes A, E and D; if A trusts D by 0.93, and A trusts E by 0.77, and E trusts D by 0.51, (refer to the diagram) and I ask you how much trust A has in D, then I am effectively asking how much trust D receives from A.
How much trust would you say D has from A? (Please show me your method).
How would you calculate the trust that D has from A? (Please show me your working).
amo crafts answered:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
At best the two balance each other out
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
How can two routes of different hop order "balance each other out"? Can you please show me your calculation method for this? (Remember that I did not invent the hop type, it is inherent in the system. I merely identified and named it).
One route has 2 hops and the other has 1 hop. If they both have the same route value of 0.74, then I would have thought it was obvious that being trusted by 0.74 over 2 hops is a better achievement than being trusted by 0.74 over one hop because the preceding member (node) in the 2-hop route would have to place more than 0.74 of trust in the end node (assuming that 0.00 < t < 1.00).
Your intuition alone should make you feel that if you can be trusted by a stranger by a value roughly equal to that of a direct contact, then this trust has more qualitative value. This is a case where your intuition can be simply confirmed.
Here is a simple, general algebraic version of my textual proof above:
Let the 1-hop value be given by:
1 / b = 1 / x
b = x
Let the 2-hop value be given by:
(1 / a)(1 / c) = 1 / x
1 / ac = 1 / x
ac = x
We want to show that:
1 / c > 1 / x
a and c are factors of x so:
If:
a not= 1 and c not= 1
Then:
a < x and c < x
c < x
c / c < x / c
1 < x / c
1 / x < x / cx
1 / x < 1 / c
Therefore:
1 / c > 1 / x
as required.
.
Please can you show me some clear working which shows why you disagree with this?
amo crafts wrote:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
... at worst I would rely upon the shorter route.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Why would you want to rely on only the shorter route? For example, why would you rely only on A's direct trust in D of 0.93 when E only trusts D by 0.51? Would you not want to consider E's opinion of D as well as A's opinion?
What right would D have to boast a trust value of 0.93 when two other members do not trust him anywhere near as much?
If you are talking about chopping some routes at certain lengths in order to artificially endow the system with "fairness", then could you please show me some working and calculations to explain why you think this is a good idea?
The proof I wrote above is for the following lemma:
Dave Mortimer wrote:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Two routes of different hop order with the same nominal trust value are not equal.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This lemma is relevant if you can understand the fact that a member receives different types of trust; 1-hop, 2-hop, 3-hop, etc., and that it does not make sense to directly compare route values of these different types. For example, comparing the route AD with the route AED is nonsensical because in the calculation of AED we took a fraction of a fraction (an opinion of an opinion) whereas in calculating AD we took a fraction (an opinion). Being trusted by, say, 0.74 over two hops is better than being directly trusted by 0.74 over 1 hop because it is obviously a better achievement.
A would have to be foolishly dogmatic to, *generaly*, trust D by 0.93. He must take E's opinion into account (ignore other routes for a moment). However, for a particular transaction, or set of transactions, A has clearly placed 0.93 of trust in D, but this should not be the final evaluation of the trustworthiness of D; it is A's opinion of D only for *some particular set* of transactions with D. Other opinions must be accounted for to arrive at a general system opinion of D.
I have not introduced anything subjective or otherwise into my model. I am making observations of behaviour which is exhibited naturally by Duane's fundamental principle of "diminishing trust". I did not "invent" the different hop-types, they are an obvious property of the system; in fact they are a property of Duane's original idea of a fundamental trust chain.
What we are trying to decide here is whether the original idea can be taken as an *axiom* for further mathematical development. My lemma that a longer chain with the same nominal value as a shorter chain is more valuable is based on this *potential* axiom. If "there is no proof here" as you say, then this axiom does not exist and we should not waste any further time on it. I am not even sure why I am calling it a *potential* axiom. I should probably assume that it *is* an axiom because it is actually fundamental to the reasoning, and is a self-evident truth whether any resulting trust calculating method is viable or not.
You are trying to accuse me of doing something which you yourself are doing. That is, you are tampering with a phenomenon which arises naturally from the fundamental idea. I cannot understand why, at this early stage, you would want to consider only shorter routes when there is trust to be gained or lost via the longer routes. What are your reasons for this apart from trying to force the system to work? What are these ideas based on? Why can we not consider all hop types in theory and for modelling purposes?
Nor can I understand why you want to manufacture unnatural, arbitrary boundaries without any proper testing beforehand. Would it not be better to start with a model from the real world? I think it is reasonable to start with something like the following:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Let us assume that nobody is completely trustworthy and nobody is completely untrustworthy, but we should not presume to know how trustworthy or untrustworthy a person is because trust is a human emotion and is very difficult to define. Therefore we should test the prototype of the system with an upper boundary of just below 1, and a lower boundary of just above 0.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Or maybe we should start with an assumption that some people are completely trustworthy and others are completely untrustworthy, and set the boundaries equal to 1 and 0 and see what happens. When we have made some observations of a working system, then we *may* be able to adjust for anything which seems unreasonable.
What we cannot start with is a full blown working system regulated by what *you think* are properties of real life trust. Arriving at a working system is an iterative development process which is best started from fundamentals.
It seems to me that you are trying to build an atomic bomb without considering Einstien's theory.
Dave