Modeling and planning through answer set programming
Fernando Zacarías Flores, Rosalba Cuapa Canto, Marquez Rodriguez Beatriz, Angeles López María José · International Journal of Engineering and Applied Sciences (IJEAS) · 2019
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.