## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

No credit card required

### 7.5 The Inverse Method

The inverse method was proposed by Maslov [1964]. Its basic inference rules are formulated in terms of a given set of (generalized) disjunctions of conjunctions of formulas. In our description of the method we follow Lifschitz [1989], where the method is formulated for disjunctions G 1 ∨ … ∨ G k of conjunctions G i =L i,1∧…∧L i,m i of literals L i,j . The disjunctions have been called “super-clauses”, and the conjunctions G i , “super-literals” in [Lifschitz 1989]. The negation ¬G i of a super-literal, which is equivalent to a standard clause, is denoted by $G ¯ i$ . Given a set of input super-clauses, ...

## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

No credit card required