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/