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.
An agent might have the ability to create similar or slightly better versions of itself , 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.
This leads to the question : How can the original agent trust that these recursively generated agents maintain goals that are similar to the originaloriginal's objective ?
In a deterministic logical system , assuming that all agents will share the same axioms , "trust" arises from being able to formally prove that the conculsions reached by any subsequently generated agents will be true. The possibility to be able to have this form of trust is addressedinfluenced by Löbs theorem. The inability to form this trust is called the Löbian obstacle.
An agent might have the ability to buildsimilar or slightly better versions of itself , thisthese new improved agentagents can in turn similar / better versionversions of itself,themselves, and so on.on in a repeating pattern. This is refferredreferred to as an agent tiling itself.
This leads to the question : How can the original agent trust that these recursively generated agents maintain goals that are similar to the original objective ?
In a deterministic logical system , assuming that all agents will share the same axioms , "trust" arises from being able to formally prove that the conculsions reached by any subsequently generated agents will be true. The possibility to be able to have this form of trust is addressed 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's
objective ?objective?