UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
A Monotonicity Theorem for Extended Logic Programs (1993)
Hudson Turner
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.
View:
PDF
Citation:
In
Proceedings Tenth Int'l Conf. on Logic Programming
, pp. 567-585 1993.
Bibtex:
@InProceedings{tur93, title={A Monotonicity Theorem for Extended Logic Programs}, author={Hudson Turner}, booktitle={Proceedings Tenth Int'l Conf. on Logic Programming}, pages={567-585}, url="http://www.cs.utexas.edu/users/ai-lab?tur93", year={1993} }
People
Hudson Turner
Ph.D. Alumni
hudson [at] d umn edu
Areas of Interest
Inductive Logic Programming