Subscribe to download
IndustryLP 1.0.2

An Industrial Estate Generator Mod that uses Logic Programming (Answer Set Programming).


This mod is included in my final project of my master's degree in computer engineering. The objective is to partially automating the urban planning of industrial parks in a simulation video game by means of automatic reasoning and knowledge representation techniques. For this purpose, a declarative tool governed by rules has been built to generate the framework of the industrial estate and whose output can be used by 'Cities: Skylines®'.


Since we are generating buildings without generating buildable area, it is advisable to install a mod that prevents them from being destroyed in the simulation. My recommendation is to use Ploppable RICO Revisited, as this is the one I have tested the project with.


The main UI has been divided into the sections below:

1. Actions: Define region, modify region and generate.
   
2. Main panel with Distributions, Preferences and Restrictions tabs.
   
3. Main tool
   
4. Tool cursor

For defining a region, you have to hold pressed the primary mouse button in any part of the terrain. If the region has enough size, the selection will have orange color, otherwise the selection will be red and when you released the button, it will be errased.

With a region defined, in modify region you can change the size if you hold pressed the primary mouse button in any vertex of the region. To move it you must to do the same in the middle point, and to rotate the area you have to press the secondary mouse button and move the cursor.



Once the region has been made, you must to select any road distribution to tell the generation how to put the industrial buildings. With a distribution selected, you could add building restrictions in any parcel.

If you add a preference, IndustryLP will understand that you want that building to be generated at that given position. On the other hand, if you add a restriction, the mod will understand that you don't want such buildings to be generated in that region.

For remove a restriction, you have to press the secondary mouse button in the building that you want to erase.

When you want to generate solutions, you must to press the generate action. A dialog window will be shown. In this dialog you can change the maximun number of solutions that the mod will show (0 returns all the possible solutions).



Another editable option is to add new rules in ASP Core 2[www.mat.unical.it] format that they will be used in the generation process. For generate the possible solutions we use clingo[github.com] tool to compute the answer sets of a logic program. All the logic program rules are store in .lp files in %mod folder%/logic_program folder.

Any new .lp file will be loaded in the generation process on the fly, so you can test you rules in the Advanced Edition text area and then pass to a file to save it in future generations.

Once you press Generate button, the main panel will change, adding the following sections:

1. Current solution index / Number of solutions found.
   
2. Buttons to change previous / next solution.
   
3. Build actual solution.

The main solution will be shown in the region selected. When you build a solution, all the roads and buildings will be created in Cities: Skylines.

If by any chance incompatible rules are entered, the logic program controlling the generation will be unsatisfiable, that's to say, no stable model exists. A warning message will be displayed in the interface and you will have to change this in order to generate a valid solution.



NOTE: If you haven't any mod installed that prevents new building from being removed of the simulation if the area is not zoning with these building type, all the buildings generated will be buldoze because this. For preventing it, my recommendation is to use Ploppable RICO Revisited or any similar mod.


GitHub[github.com]

---