Contents | 194 of 197

Page 194

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Mantha, Suryanarayana M.
Title First-order preference theories and their applications
Date 1992-12
Description This dissertation begins with a logical analysis of the notion of preference. Earlier approaches to logical analysis of preference are surveyed and their shortcomings pointed out. Next, a family of modal logics of preference is presented with soundness and completeness results for both the propositional and first order cases. These logics of preference turn out to be remarkably expressive. In the rest of the thesis, the formal tools developed in the first part are used to give a computational account of nonmonotoncity in deductive reasoning as symbolic optimization. A few results on complexity are given. In the domain of logic programming, preference logics give a totally declarative account of negation as failure. Further, we propose a syntactic extension to Horn clauses that embodies the notion of constraint relazation. The relaxation regimes are accorded their due status in the model theory, and they also give guidelines for devising a fair computation rule for the SLD-interpreter. The strong similarities between preferences and obligations, in particular, their normative nature, allows the construction of a preference based deontic logic that is free of the paradoxes of standard deontic logic. Finally, a brief outline of the larger context (and the problem that motivated this research) in which this research was performed, i.e., a declarative account of document structures, is given.
Type Text
Publisher University of Utah
Language eng
Format Medium application/pdf
Format Extent 4,747,915 bytes
File Name Mantha-First_Order_Preference.pdf
ARK ark:/87278/s6gb458g
Setname ir_computersa
ID 108717
Reference URL https://collections.lib.utah.edu/ark:/87278/s6gb458g

Page Metadata

Title Page 194
Setname ir_computersa
ID 108713
Reference URL https://collections.lib.utah.edu/ark:/87278/s6gb458g/108713