Abstract
We propose an extension to Definite Horn Clauses by placing partial orders on the bodies of clauses. Such clauses are called relaxable clauses. These partial orders are interpreted as a specification of relaxation criteria in the proof of the consequent of a relaxable clause, i.e., the order in which to relax the conditions of truthhood of the consequent if all the goals in the body cannot be satisfied. We present a modal logic of preference that enables us to characterize these preference orders, both syntactically and semantically. The richer structure of the modal preference models reflects these preference orders; something that is absent in the essentially flat structure of traditional Herbrand models. A variant of SLD-resolution that generates solutions in the preferred order is presented. The notion of control as preference is introduced as a first step towards specifying control information in a logically coherent fashion. Relaxable Horn clauses can be used to succinctly specify constraint problems in formal design. It is worth noting that the development of preference logic was driven by the desire to characterize declaratively, problems in document layout. In [4] we give a completely declarative account of the stable models of a general logic program. The reader is referred to [3],[5]and [14] for a detailed account of nonmonotonicity as preferential reasoning,the soundness and completeness proofs for the logics and applicationsto Artificial Intelligence, such as deontic reasoning.
Preview
Unable to display preview. Download preview PDF.
References
Ackermann, R. Comments on n. reshcer's semantic foundation for the logic of preference. In The Logic of Decision and Action. 1967.
Borning, A., and et. al., M. M. Constraint hierarchies analogic programming. In Sixth International Conference on Logic Programming (June 1989), pp. 149–164.
Brown Jr., A. L., Mantha, S., and Wakayama, T. Preferences as normative knowledge: Towards declarative obligations. In First International Workshop on Deontic Logic in Computer Science (Amsterdam, The Netherlands, 1991), J. J. C. Meyer and R. J. Wieringa, Eds., pp. 142–164.
Brown Jr., A. L., Mantha, S., and Wakayama, T. Preference logics and nonmonotonicity in logic programming. In Logic at Tver, International Conference on Logical Foundations of Computer Science (Tver, Russia, 1992), A. Nerode, Ed., Springer-Verlag.
Brown Jr., A. L., Mantha, S., and Wakayama, T. Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning. In Second International Symposium on Artificial Intelligence and Mathematics (Ft. Lauderdale, Florida, 1992).
Fishburn, P. Intransitive indifference in preference theory: A survey. Operations Research 18 (1970).
Hallden, S. The logic of better. Lund, 1957.
Hansson, B. Fundamental axioms for preference relations. Synthese 18 (1968).
Hansson, S. O. A new semantical approach to the logic of preference. Erkenntnis 31 (1989), 1–42.
Hughes, R. I. G. Rationality and intransitive preferences. Analysis 40.3 (1980).
Jeffrey, R. C.The Logic of Decision. University of Chicago Press, Chicago, 1983.
Lloyd, J.Foundations of Logic Programming. Springer-Verlag, New York, 1984.
Luce, R. D., and Raifa, H. Games and Decisions. 1957.
Mantha, S. First-order preference theories and their applications. Tech. rep., Dept. of Computer Science, University of Utah, 1992.
Von Wright, G. H.The Logic of Preference. University of Edinburgh Press, Edinburgh Scotland, 1963.
Von Wright, G. H. The logic of preference reconsidered. Theory and Decision (1972), 55–67.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brown, A.L., Mantha, S., Wakayama, T. (1993). A logical reconstruction of constraint relaxation hierarchies in logic programming. In: Komorowski, J., RaÅ›, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_34
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive