OOASP Object oriented Answer Set Programming
OOASP is a schema for describing object-oriented models with Answer Set Programming.
OOASP has been developed for research purposes to demonstrate how to describe and instantiate object-oriented models in Answer Set Programming. The main application area is product configuration i.e. reasoning about product configuration models.
To run the examples we recommend to use clingo. See [https://potassco.org/clingo/] for installation instructions.
The racks example is a hardware configuration toy example similar to the running example of [http://cp2016.a4cp.org/program/workshops/ws-modref-papers/Taupe.pdf]
./examples/racks/ooasp_racks_kb.lp contains the knowledge base of the racks example
./examples/racks/ooasp_racks_1elementA.lp contains a partial configuration consisting of one elementA
The two main reasoning tasks of OOASP are checking & configuring.
The following is an example for checking a (partial) configuration:
clingo ooasp/ooasp.lp ooasp/ooasp_check.lp examples/racks/ooasp_racks_kb.lp examples/racks/ooasp_racks_1elementA.lp
This checks the configuration consisting of one elementA. The expected output will be something like:
ooasp_cv(i1,lowerbound1(element_modules,1))
ooasp_cv(i1,card_constraint1(element_modules,1))
i.e. indicating that an elementA requires modules.
The following is an example for configuring a partial configuration i.e. finding complete configurations for a given partial configuration.
clingo ooasp/ooasp.lp ooasp/ooasp_check.lp ooasp/ooasp_config.lp examples/racks/ooasp_racks_kb.lp examples/racks/ooasp_racks_1elementA.lp
One possible solution is:
OOASP: Connecting Object-Oriented and Logic Programming (2015): Conference paper | Preprint
Challenges of Developing an API for Interactive Configuration using ASP (2022): Extended Abstract
Solver Requirements for Interactive Configuration (2020): Journal article
OOASP is distributed under the MIT License.
Copyright (c) 2022 Siemens AG Oesterreich