Rename everywhere to User -> Agent -> Session?

[dehann]

Drop name Robot in this case.

• User might server as a shared Organization login?
• Agent is human or robot,
• Session is session.

Environment then involves one Org and many Agents / Sessions?

[GearsAD]

My take:

Orgs are groups of users - one level higher.

We can do an agent renaming, it would be quite invasive because RobotID is used as part of the compound key in a lot of places.

On Thu, Feb 17, 2022 at 10:16 AM Dehann Fourie @.***> wrote:

Drop name Robot in this case.

• User == Org.
• Agent is human or robot,
• Session is session.

Environment then involves one Org and many Agents / Sessions?

— Reply to this email directly, view it on GitHub https://github.com/JuliaRobotics/DistributedFactorGraphs.jl/issues/862, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABUJO22A555YCT4AIB3DPOTU3UNL3ANCNFSM5OVE64UA . You are receiving this because you are subscribed to this thread.Message ID: @.***>

[jim-hill-r]

I agree with sam. Users are individuals in the world (actual humans). Orgs are some entity like a company or school. Those orgs would provide permissions to users somehow. Or users can be added to orgs somehow.