Modeling and planning through answer set programming

Fernando Zacarias Flores, Rosalba Cuapa Canto, Marquez Rodriguez Beatriz, Angeles López María José

The line of research on the frame problem start in 1980, when formal non-monotonic reasoning arises. Recently, planning applications are being modeled with answer set programming. This allows us to represent a given computational problem through a logical program. Finally, we can use Smodels or DLV, to find an answer set for this program. Thus, a stack-type parking planning system is modeled using this methodology.

https://dx.doi.org/10.31873/IJEAS.6.11.15