Download - TroposPL: Tropos for Prolog Implementations
![Page 1: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/1.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 2: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/2.jpg)
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](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/3.jpg)
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](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/4.jpg)
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](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/5.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 6: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/6.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 7: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/7.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 8: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/8.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 9: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/9.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 10: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/10.jpg)
TroposPL: Tropos for Prolog Implementations
Transforming the DD to Prolog Code
![Page 11: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/11.jpg)
TroposPL: Tropos for Prolog Implementations
Transforming the DD to Prolog Code
![Page 12: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/12.jpg)
TroposPL: Tropos for Prolog Implementations
Transforming the DD to Prolog Code
![Page 13: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/13.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 14: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/14.jpg)
![Page 15: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/15.jpg)
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](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/16.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 17: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/17.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 18: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/18.jpg)
TroposPL: Tropos for Prolog Implementations
![Page 19: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/19.jpg)
TroposPL: Tropos for Prolog Implementations
The Contest Results:
CLIMA 2005
![Page 20: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/20.jpg)
TroposPL: Tropos for Prolog Implementations
The Contest Results:
CLIMA 2006
![Page 21: TroposPL: Tropos for Prolog Implementations](https://reader036.vdocuments.net/reader036/viewer/2022062315/568152fb550346895dc11a5a/html5/thumbnails/21.jpg)
TroposPL: Tropos for Prolog Implementations
CONCLUSIONS
The approach seems to work !