I need to express some possible actions on a workspac. Let consider two actions openADoor, closeADoor.
Thus, I define the specifications and possible worlds like :
:closeAllDoorsSpecification a hmas:BehaviorSpecification .
:closeAllDoorsSpecification hmas:seesToItThat ex:worldWhereDoorsAreClosed .
:openADoorSpecification a hmas:BehaviorSpecification .
:openADoorSpecification hmas:seesToItThat ex:worldWhereADoorIsOpened .
But now if I want to know what are the behaviors that have been performed in order to detect if some of them have violated a norm. How can I do that ??
I was thinking that doing something like e.g.
:closeAllDoors a hmas:BehaviorExecution .
:closeAllDoors hmas:seesToItThat ex:worldWhereDoorsAreClosed .
It would say that here the behavior has been executed since it the RDF triplets are in our dataset.
But if actually the workspace was possibly described by a possible world ex:worldWhereADoorIsOpened, we cannot say that it is now not the case that this possible world is still possible since we performed a deliberate behavior that change the state of the world and we know it thanks to the specification.
I need to express some possible actions on a workspac. Let consider two actions
openADoor,closeADoor.Thus, I define the specifications and possible worlds like :
But now if I want to know what are the behaviors that have been performed in order to detect if some of them have violated a norm. How can I do that ??
I was thinking that doing something like e.g.
It would say that here the behavior has been executed since it the RDF triplets are in our dataset. But if actually the workspace was possibly described by a possible world
ex:worldWhereADoorIsOpened, we cannot say that it is now not the case that this possible world is still possible since we performed a deliberate behavior that change the state of the world and we know it thanks to the specification.@danaivach : is there any documentation of the work you provided ? Or examples that represent how should I do ? I looked your motivating scenario https://github.com/HyperAgents/ns.hyperagents.org/tree/scenario-manufacturing-discover-behavior-specs/domains/manufacturing-environments/discover-behavior-specifications but it seems it has not been implemented yet.