Project Pitch: Answer Set Programming for Procedural Content Generation

Hello everybody, today I presented my project idea for my innovation module. I’ll use answer set programming paradigm, with the ACTHEX extension, in order to procedural generate game levels. I think that the topic is quite exciting! If you are inteterested as well, here are some links:

ASP introduction


Procedural Content Generation Wiki


If you lived here

If you lived here you would be home now. If you were home now, you would not be here. Therefore, if you lived here you would not be here.

It looks like a contradiction.. What’s strange with this sentence? I have an idea, what do you think?