Associate Professor Virginia Dignum (TU Delft, The Netherlands): Interactions as Social Practices - Towards a Formalization
Abstract:
Multi-agent modelling and simulation are a suitable starting point to model complex social interactions. However, as the complexity of the systems increase, we argue that novel modelling approaches are needed that can deal with inter-dependencies at different levels of society, where many heterogeneous parties are interacting and reacting to each other. We argue that for many intelligent and autonomous systems the BDI (Belief-Desire-Intention) architecture is a solid basis, but does not give enough support to model the autonomous decision processes required for these systems. In this talk, we sketch a fundamentally social formal framework for the agents in these simulations in order to get a grip on the underlying mechanisms at work. We show some scenarios where we applied some of the ideas and sketch the sociological foundation of the agents and an agent architecture that can be used for building agent based simulations for societal challenges.
John Bruntse Larsen & Jørgen Villadsen
http://part.compute.dtu.dk/
Proof Assistants and Related Tools
Supported by DTU Compute's Strategic Foundation