Jan M. Broersen

Learn More
In this paper we introduce the so-called Beliefs-Obligations-Intentions-Desires or BOID architecture. It contains feedback loops to consider all effects of actions before committing to them, and mechanisms to resolve conflicts between the outputs of its four components. Agent types such as realistic or social agents correspond to specific types of conflict(More)
A normative system is defined as any set of interacting agents whose behavior can usefully be regarded as norm-directed [9]. Most organizations, and more specifically institutions, fall under this definition. Interactions in these normative systems are regulated by normative templates that describe desired behavior in terms of deontic concepts (obligations,(More)
In this study we examined whether response shift resulting from changes in internal standards occurs in cancer patients undergoing radiotherapy. Ninety-nine newly diagnosed patients undergoing radiotherapy were administered two standardized self-report measures of fatigue prior to receiving radiotherapy. After completion of radiotherapy, patients filled out(More)
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a simple semantics for deadline obligations in terms of branching time models. We show that this notion of deadline obligation can be characterized in the branching time logic CTL. The(More)
In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multiagent system. To this end we use KBDIOCTL, an extension of BDICTL in which obligations and permissions are represented by directed modal operators. We illustrate how the logic can be used by(More)