TroposPL: Tropos for Prolog Implementations

21
TroposPL: Tropos for Prolog Implementations

description

TroposPL: Tropos for Prolog Implementations. TroposPL: Tropos for Prolog Implementations. MOTIVATION 1. To test our learning about Tropos. To put in practice an Agent-Oriented software developed initiative. To participate in the 1rst Computational Logic for Multi-Agent System Contest (2005). - PowerPoint PPT Presentation

Transcript of TroposPL: Tropos for Prolog Implementations

Page 1: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 2: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

MOTIVATION 1

To test our learning about Tropos

To put in practice an Agent-Oriented software developed initiative

To participate in the 1rst Computational Logic for Multi-Agent System Contest (2005)

Page 3: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

MOTIVATION 2

To test our approach in a virtual environment

To put in practice some knowledge reuse at RE

To participate in the 2nd Computational Logic for Multi-Agent System Contest (2006)

Page 4: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

The CLIMA 2005 Contest problem

To tackle the gap among AOSE methodologies and implementations

Goal

Means

The Contest

A agent community collaborating for collecting (artificial) food

The Problem

Page 5: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 6: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 7: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 8: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 9: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 10: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Transforming the DD to Prolog Code

Page 11: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Transforming the DD to Prolog Code

Page 12: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Transforming the DD to Prolog Code

Page 13: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 14: TroposPL: Tropos for Prolog Implementations
Page 15: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

The CLIMA 2006 Contest problem

To do a test about different Engineering-Implementation approaches

Goal

Means

The 2nd Contest

A set of games where TWO agent teams are competing for (artificial) gold nuggets collection.

The Problem

Page 16: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 17: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 18: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Page 19: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

The Contest Results:

CLIMA 2005

Page 20: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

The Contest Results:

CLIMA 2006

Page 21: TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

CONCLUSIONS

The approach seems to work !