DTGolog Models of London Ambulance Service

The first set includes programs that have been used to evaluate quantitatively designs mentioned in the paper. The second set includes revised programs that Huy Pham used to run simulations for his master thesis. This second set includes only those programs that are different from the programs in the first set (i.e., some programs were not revised).

Programs related to a paper

Here is a detailed version of the paper.
model.ecl Situation calculus model of an MDP in Prolog: precondition axioms, successor state axioms, initial theory, probabilities of transitions and all modeling parameters.
Golog programs implemented in Prolog. Here is a more modular version of Golog programs mentioned in the paper.
envsim.ecl an interface between primitive actions and the corresponding C procedures
reward1.ecl and reward2.ecl: Two different reward functions to evaluate alternative designs. The first function takes into account the traveling distance only to choose which ambulance to mobilize. The second function takes into account both crew fatigue and travel distance.
init.ecl this file is loaded to compile all other Prolog programs and simcalls.ecl is responsible for making all calls to collect statistics.
simulator: this C file provides the complete simualation of LAS as described in the paper (see also this header sim.h).
Email questions about this simulator to Huy Pham:
huy_n_pham (at) yahoo (dot) com
This file contains statistics (a spreadsheet file) collected using our simulator. Aggregated data are available in this table.
gsl.c an interface to functions from the GSL package (we need it to use Gaussian distributions in Prolog)

Programs related to Huy Pham's master thesis

Huy Pham's master thesis.

New Golog program (the file control.ecl ) implemented in Prolog. This updated file includes a new design that does horizon two decision-theoretic planning.
envsim.ecl an updated interface: it passes an additional parameter crewRecoveryTime(RT) to the simulator (a new value can be assigned in model.ecl ). Previously, this parameter was assigned to a constant in the simulator.
init.ecl (minor update) and a new version of the file simcalls.ecl that calls interpreter 10 times for each request rate. This updated version calls a new Golog program that does horizon 2 planning (see file control.ecl above).
simulator: the updated simulator in C (and the updated header sim.h). You can also download makefile).
Email questions about this simulator to Huy Pham:
huy_n_pham (at) yahoo (dot) com
This file contains new statistics including statistics for a new design. This file contains these new statistics as a spreadsheet file.