In a deterministic logical system, assuming that all agents will share the same axioms, "trust" arises from being able to formally prove that the conclusions reached by any subsequently generated agents will be true. The possibility to be able to have this form of trust is influenced by Löbsb's theorem. The inability to form this trust is called the Löbian obstacle.
This leads to the question: How can the original agent trust that these recursively generated agents maintain goals that are similar to the original's objective ?objective?
This leads to the question :question: How can the original agent trust that these recursively generated agents maintain goals that are similar to the original's objective ?
In a deterministic logical system, assuming that all agents will share the same axioms ,axioms, "trust" arises from being able to formally prove that the conclusions reached by any subsequently generated agents will be true. The possibility to be able to have this form of trust is influenced by Löbs theorem. The inability to form this trust is called the Löbian obstacle.
An agent might have the ability to create similar or slightly better versions of itself , theseitself. These new agents can in turn create similar / better versions of themselves, and so on in a repeating pattern. This is referred to as an agent tiling itself.
See Also :Also: Löbian obstacle ,obstacle, Löbs theorem, Vingean Agents ,Agents, Vingean Reflection
In a deterministic logical system ,system, assuming that all agents will share the same axioms , "trust" arises from being able to formally prove that the conclusions reached by any subsequently generated agents will be true. The possibility to be able to have this form of trust is influenced by Löbs theorem. The inability to form this trust is called the Löbian obstacle.
In a deterministic logical system , assuming that all agents will share the same axioms , "trust" arises from being able to formally prove that the conculsionsconclusions reached by any subsequently generated agents will be true. The possibility to be able to have this form of trust is influenced by Löbs theorem. The inability to form this trust is called the Löbian obstacle.
This leads to the question: How can the original agent trust that these recursively generated agents maintain goals that are similar to the
original'original agent's objective?