Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
    Socially intelligent systems exhibit, understand, and reason about social behavior, in order to support people in their daily lives. We claim that a fundamental new approach based on social concepts is needed to build these socially... more
    Socially intelligent systems exhibit, understand, and reason about social behavior, in order to support people in their daily lives. We claim that a fundamental new approach based on social concepts is needed to build these socially intelligent systems. In this paper, we explore how the concepts of social practices and social identities can be used to structure deliberations about actions. We then show the consequences for the architecture and reasoning capabilities of these systems.
    Research Interests:
    Abstract. Prominent agent-oriented software engineering methodologies such as Tropos support the engineer throughout most of the development process. Though in this method attention is paid to system stakeholders by explicitly modeling... more
    Abstract. Prominent agent-oriented software engineering methodologies such as Tropos support the engineer throughout most of the development process. Though in this method attention is paid to system stakeholders by explicitly modeling them, potential harms and benefits of ...
    Proceedings of the Second International ISCRAM Conference (Eds. B. Carle and B. Van de Walle),Brussels, Belgium, April 2005 ... Formal Modelling and Comparing of Disaster Plans ... Mark Hoogendoorn1, Catholijn M. Jonker1,2, Viara Popova1,... more
    Proceedings of the Second International ISCRAM Conference (Eds. B. Carle and B. Van de Walle),Brussels, Belgium, April 2005 ... Formal Modelling and Comparing of Disaster Plans ... Mark Hoogendoorn1, Catholijn M. Jonker1,2, Viara Popova1, Alexei Sharpanskykh1, and ...
    This article presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted... more
    This article presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative notions like integer and real. Dynamic processes can be modelled in LEADSTO by specifying the direct temporal dependencies between state properties in successive states. Based on the LEADSTO language, a software environment was developed that performs simulations of LEADSTO specifications, generates data-files containing traces of simulation for further analysis, and constructs visual representations of traces. The approach proved its worth in a number of research projects in different domains.
    There is a common belief that making systems more autonomous will improve the system and is therefore a desirable goal. Though small scale simple tasks can often benefit from automation, this does not necessarily generalize to more... more
    There is a common belief that making systems more autonomous will improve the system and is therefore a desirable goal. Though small scale simple tasks can often benefit from automation, this does not necessarily generalize to more complex joint activity. When designing today’s more sophisticated systems to work closely with humans, it is important not only to consider the machine’s
    Abstract: The project CIM, started in 2003, addresses the problem of automated support for incident management. In this paper some intermediate results are shown, especially on automated support of analysis of errors in traces of incident... more
    Abstract: The project CIM, started in 2003, addresses the problem of automated support for incident management. In this paper some intermediate results are shown, especially on automated support of analysis of errors in traces of incident management. For such traces it can be checked automatically which dynamic properties hold or fail. The potential of the approach is shown in the formal analysis of a given empirical trace. The approach can also be applied in conjunction with simulation experiments.
    DSpace, ...
    A negotiation team is a set of agents with common and possibly also conflicting preferences that forms one of the parties of a negotiation. A negotiation team is involved in two decision making processes simultaneously, a negotiation with... more
    A negotiation team is a set of agents with common and possibly also conflicting preferences that forms one of the parties of a negotiation. A negotiation team is involved in two decision making processes simultaneously, a negotiation with the opponents, and an intra-team process to decide on the moves to make in the negotiation. This article focuses on negotiation team  decision making for circumstances that require unanimity of team decisions. Existing agent-based approaches only guarantee unanimity in teams negotiating in domains exclusively composed of predictable and compatible issues. This article presents a model for negotiation teams that guarantees unanimous team decisions in domains consisting of predictable and compatible, and also unpredictable issues. Moreover, the article explores the influence of using opponent, and team member models in the proposing strategies that team members use. Experimental results show that the team benefits if team members employ Bayesian learning to model their teammates' preferences.
    Negotiation support systems (NSS) can enhance humans' performance in negotiations. Much research in this area focuses on finding optimal bids. However, there is little research on human factors in technological negotiation support.... more
    Negotiation support systems (NSS) can enhance humans' performance in negotiations. Much research in this area focuses on finding optimal bids. However, there is little research on human factors in technological negotiation support. We believe an in-depth analysis of the task involving experts and users is needed to build a new generation of NSS focusing on man-machine collaboration. We describe a scenario-based approach to gathering requirements for such a system. We wrote five scenarios containing part of the ...

    And 18 more