Towards a Logical Foundation for Qualitative Decision Theory

Decision-Theoretic Planning

Volume

Papers from the 1994 AAAI Spring Symposium

Contents

The purpose of this abstract is to motivate and outline a logical theory of preference that, arose from some very concrete and practical considerations. For some time now [6], we have been working on a formal model for representing and processing (such a.s laying out) structured electronic documents. One of the sub-problems in our project was designing a declarative language in which graphic and layout designers could express their preferences, essen~ially design rules, about the layout of document,. Regardless of where one might, stand regarding the what (declarative) vs. how (procedural) debate, it appears to be the case that most graphic designers would rather specify what they would like to be achieved in the result of layout, than tell the system exactly how to achieve it.