Preference Logic of Focus Change: A Semantic Approach

Yì Wáng,Thomas Ågotnes

DOI: https://doi.org/10.1007/978-3-642-39860-5_17

2013-01-01

Abstract:In recent work Xiong and Seligman [1,2] introduced a logic for reasoning about preferences and decision making in a setting where the agent focuses on a subset of all alternatives (such as possible workshops to submit her paper to), and where new alternatives can come into focus as the result of questions of the type “have you considered IJCAI workshops?” being asked. An axiomatization of the logic is presented and proved complete. The purpose of the current paper is twofold. First, we present an alternative semantics for the key language constructs proposed in [2], basically differing in representing the alternatives under consideration semantically rather than syntactically. We argue that in some cases this semantics captures the intended meaning better. Second, we present a “direct” sound and complete axiomatization of a preference logic based on this semantics, without using hybrid logic techniques.