This page hosts material for my PhD thesis, entitled "Asynchronous Multi-Agent Reasoning in the Situation Calculus" and submitted in October 2008. A PDF version is available for download: Ryan's Thesis.
The software developed alongside the thesis is available for download below. All three are free software, under the terms of the GNU General Public License.
This is the MIndiGolog implementation described in Chapter 3, which performs online execution planning but is limited to synchronous domains. This software runs on the Mozart platform version 1.3.2 or later. Its key feature is the use of Mozart's parallel search functionality to distribute the execution planning workload.
This is the MIndiGolog implementation described in Chapter 5, which produces joint executions as the output of its planning process, but is limited to only offline planning. It is able to render a graphical representation of joint executions in the Graphviz DOT language, from which the diagrams in Chapter 5 were generated. This version also runs on the Mozart platform version 1.3.2 or later.
This is our preliminary implementation of an epistemic reasoning system using the techniques developed in Chapters 7 and 8. It is implemented using SWI-Prolog to perform symbolic manipulation, calling a modified version of the PDL prover from the Tableaux Workbench suite to handle the resulting modal logic queries.
There is also a preliminary implementation of MIndiGolog written in Prolog rather than Oz. While it is only a centralised execution planner, and was not referred to explicitly in the final thesis,it may be of independent interest: MIndiGolog0.tar.gz