Using the dlv System for Planning and Diagnostic Reasoning

dlv is a state-of-the-art system for disjunctive logic programming, which may be used as an implementation bed for solving declarative knowledge representation problems. In this paper, we review the use of the dlv system for solving diagnostic problems, and contrast this with solving planning problems in dlv. This is possible using a declarative "guess and check" approach: The power of disjunction allows for nondeterministic generation of plans, which are verified in a step by step manner by applying state transition rules. Efficient processing of these phases, in an interleaved mode, will be provided through the algorithms incorporated in the dlv engine. Based on these ideas, we are currently developing a front-end for deductive planning in dlv, which will be included in future releases of dlv