A Monotonicity Theorem for Extended Logic Programs (1993)
Because general and extended logic programs behave nonmonotonically, it is in general di cult to predict how even minor changes to such programs will a ect their meanings. This paper shows that for a restricted class of extended logic programs (those with signings) it is possible to state a fairly general theorem comparing the entailments of programs. To this end, we generalize (to the class of extended logic programs) the de nition of a signing, rst formulated by Kunen for general programs, and establish a the- orem characterizing a restricted monotonicity property for signed extended programs. The theorem is formulated in terms of simple syntactic criteria on pairs of programs. To demonstrate the usefulness of this result, we use it to compare the strengths of two families of extended logic programs for commonsense reasoning about action.
In Proceedings Tenth Int'l Conf. on Logic Programming, pp. 567-585 1993.

Hudson Turner Ph.D. Alumni hudson [at] d umn edu