Modal logic
Reasoning about coalitional games
Artificial Intelligence
Toward a dynamic logic of questions
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Becoming aware of propositional variables
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Open and Closed Questions in Decision-making
Electronic Notes in Theoretical Computer Science (ENTCS)
How questions guide choices: a preliminary logical investigation
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
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.