A Framework for Programming with Module Consequences

The 18th International Symposium on Space Terahertz Technology

Wolfgang Faber ; Stefan Woltran

Others  :  http://CEUR-WS.org/Vol-546/34-48.pdf
PID  :  3755

来源: CEUR

【 摘 要 】

We present a framework which allows to combine answer-set programs in a way that consequences (rather than answer sets themselves) of programs can be used as input to other programs. Situations in which such a composition of programs is required appear in many practical application problems. So far, to deal with such problems, multiple calls to answer-set solvers were usually indispensable, as a direct ASP encoding is often much less obvious. In addition, we provide a technique for compiling such frameworks into a single ASP program which consequently can be evaluated by a single call to an answer-set solver. Our approach relies on the recently introduced concept of manifold programs which make use of weak constraints to identify consequences of programs.