Logic programming with costs

  title={Logic programming with costs},
  author={Victor W. Marek},
We investigate logic programs whose rules are assigned nonnegative real numbers. These numbers are interpreted as the costs of applying rules. There are several ways in which these costs can be interpreted. In the paper, two such interpretations are discussed in detail. They are referred to as no-reusability and reusability interpretations. The former requires that an atom be paid for each time it appears in the body of a rule that fires. In the latter, once an atom is derived (and the cost of… CONTINUE READING

Similar Papers

Loading similar papers…