Logic and Organization-Oriented Programming (LOOP)

J�rgen Villadsen

Research Project

A multi-agent system is a distributed system with intelligent agents capable of sensing and acting and it can be used to solve problems which are difficult or even impossible to handle with traditional approaches. Recent computer science research suggests a formal specification of the organizations that the agents are part of. This enables software developers to define the structure of the multi-agent system (groups, roles and missions) and the social constraints (obligations and permissions) without dealing with issues of the implementation. The project explores dynamic, epistemic and deontic logic in order to create more effective and efficient software and builds on existing tools such as Jason, a Java-based interpreter for an extended version of the agent-oriented logic programming language AgentSpeak, and Moise, an advanced organization model for multi-agent systems. Recently the agent programming language GOAL has been considered too.

See also Multi-Agent Systems - Research & Teaching - Laboratory and Mathematics, Informatics, Linguistics and Logic (MILL)

Project Course 02295 Advanced Topics in Computer Science (1 Student 2014, 3 Students 2012 & 3 Students 2011)

Students

Andreas Schmidt Jensen (PhD Project 2015)
Organization-Oriented Programming in Multi-Agent Systems

Kenneth Balsiger Andersen & Andreas Fr�sig (MSc Project 2015)
Organizing Heterogeneous Agents

�yvind Gr�nland Woller (MSc Special Course 2014)
Multi-Agent Programming, Logical Systems and Logic Programming

Andreas Viktor Hess (MSc Special Course 2014)
Multi-Agent Programming, Logical Systems and Functional Programming

S�ren Jacobsen, Andreas Slott Jensenius, Jannick Boese Johnsen & Philip Bratt �rum (MSc Special Course 2014)
Agent-Oriented Programming

Christian Kays�-R�rdam (MSc Project 2014)
Implementing Intelligent Agents in Games

Bastian Buch & Rasmus Jensen (BSc Project 2014)
Multi-Agent Programming in Jason

Niels Bager Beuschau & Pawel Grzegorz Drozdowsk (BSc Project 2014)
Multi-Agent Programming in Jason

Salvador Jacobi (BSc Project 2014)
Planning in Multi-Agent Systems

Thomas Kj�rgaard Malowanczyk (BSc Project 2014)
Interaction in Multi-Agent Systems

Salvador Jacobi & Thomas Kj�rgaard Malowanczyk (BSc Special Course 2014)
Agent-Oriented Programming in GOAL

Nicolai Christian Christensen, S�ren Jacobsen, Andreas Slott Jensenius, Jannick Boese Johnsen & Philip Bratt �rum (MSc Special Course 2014)
Decentralized Multi-Agent System Using F#

Nicolai Christian Christensen, Jannick Boese Johnsen & Philip Bratt �rum (MSc Special Course 2013)
Implementation of a Multi-Agent System

Andreas Viktor Hess & �yvind Gr�nland Woller (BSc Project 2013)
Multi-Agent Systems and Agent-Oriented Programming

S�ren Jacobsen & Jannick Boese Johnsen (BSc Project 2013)
Multi-Agent Systems in GOAL

Nicolai Christian Christensen & Philip Bratt �rum (BSc Project 2013)
Multi-Agent Programming in GOAL

Johannes Svante Spurkeland (MSc Project 2013)
Interaction in Organization-Oriented Multi-Agent Systems

Thor Helms, John Bruntse Larsen & Jens Peter Tr�ff (MSc Special Course 2012)
Intelligent Surveillance with Autonomous Underwater Vehicles

Kenneth Balsiger Andersen & Andreas Fr�sig (BSc Project 2012)
Programming of Heterogeneous Agents

Kasper Hjorth Holdum, Christian Kays�-R�rdam & Christopher �stergaard de Haas (BSc Special Course 2012)
Google AI Challenge

Mikko Berggren Ettienne & Steen Vester (MSc Special Course 2011)
Implementation of a Multi-Agent System

John Bruntse Larsen (BSc Project 2011)
Inconsistency Handling in Multi-Agent Systems

Thor Helms (BSc Project 2011)
Functional Programming and Multi-Agent Systems

Niklas Christoffer Petersen (MSc Special Course 2011)
Programming Multi-Agent Systems

Project Start 2010-10-10


J�rgen Villadsen 2014-07-28 www2.compute.dtu.dk/~jovi/LOOP/