Experimenting with Stochastic Prolog as a Simulation Language


Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini

23º Convegno Italiano di Logica Computazionale (CILC'08), pages 237-251
10-12 July 2008

While simulation is an established tool for scientific analysis, it is recently gaining more interest also in other contexts, such as software engineering.
Hence, more and more attention is devoted to the development of suitable simulation languages (and tools), and their exploitation in application development and run-time can become increasingly pervasive.
As already experienced in the context of general-purpose programming languages, we envision future developments towards expressiveness, with performance issues becoming less and less relevant.

Along this direction, we propose a preliminary stochastic simulation framework developed on top of a logic programming language, called <em>Stochastic Prolog</em>: this framework allows us to run simulations directly from Prolog-based specifications.
Our objective, in this work, is to put the basis for future research on logic stochastic language used for simulation purpose.
In our approach Prolog clauses can be labelled with rates modelling temporal/probabilistic aspects.
The main advantage of using Prolog is that it is significantly more expressive than other languages typically used in simulation, allowing to more easily encode complex specifications.
In order to evaluate our framework, we compare it with the stochastic language defined by the PRISM tool, by discussing as case study the <em>collective sorting</em> problem, a decentralised sorting strategy for multiagent systems (MAS) inspired by behaviours observed in social insects.

 @inproceedings{stochasticprolog-cilc08,
Address = {Perugia, Italy},
Author = {Oliva, Enrico and Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
Booktitle = {23º Convegno Italiano di Logica Computazionale (CILC'08)},
Month = {10--12~} # jul,
Pages = {237--251},
Title = {Experimenting with Stochastic Prolog as a Simulation Language},
Year = 2008}
 

Publication

— authors

Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini

— status

published

— sort

paper in proceedings

Venue

— volume

23º Convegno Italiano di Logica Computazionale (CILC'08)

— pages

237-251

— publication date

10-12 July 2008

BibTeX

— BibTeX ID
stochasticprolog-cilc08
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY