References & Citations
Computer Science > Logic in Computer Science
Title: Extending rational choice behavior: The decision problem for Boolean set theory with a choice correspondence
(Submitted on 21 Aug 2017 (v1), last revised 2 Dec 2022 (this version, v3))
Abstract: Given the family $P$ of all nonempty subsets of a set $U$ of alternatives, a choice over $U$ is a function $c \colon \Omega \to P$ such that $\Omega \subseteq P$ and $c(B) \subseteq B$ for all menus $B \in \Omega$. A choice is total if $\Omega = P$, and partial otherwise. In economics, an agent is considered rational whenever her choice behavior satisfies suitable axioms of consistency, which are properties quantified over menus. Here we address the following lifting problem: Given a partial choice satisfying one or more axioms of consistency, is it possible to extend it to a total choice satisfying the same axioms? After characterizing the lifting of some choice properties that are well-known in the economics literature, we study the decidability of the connected satisfiability problem for unquantified formulae of an elementary fragment of set theory, which involves a choice function symbol, the Boolean set operators, the singleton, the equality and inclusion predicates, and the propositional connectives. In two cases we prove that the satisfiability problem is NP-complete, whereas in the remaining cases we obtain NP-completeness under the additional assumption that the number of choice terms is constant.
Submission history
From: Domenico Cantone PhD [view email][v1] Mon, 21 Aug 2017 08:44:21 GMT (33kb)
[v2] Tue, 22 Aug 2017 07:05:50 GMT (33kb)
[v3] Fri, 2 Dec 2022 18:51:11 GMT (33kb)
Link back to: arXiv, form interface, contact.