{"type":"ScholarlyArticle","title":"Boolean Games: Inferring Agents' Goals Using Taxation Queries","authors":[{"name":"Abhijin Adiga","slug":"abhijin-adiga","given":"Abhijin","family":"Adiga","affiliation":"Biocomplexity Institute and Initiative , University of Virginia , Charlottesville , VA , USA"},{"name":"Sarit Kraus","slug":"sarit-kraus","given":"Sarit","family":"Kraus","affiliation":"Department of Computer Science Bar Ilan University , Ramat Gan , Israel"},{"name":"Oleg Maksimov","slug":"oleg-maksimov","given":"Oleg","family":"Maksimov","affiliation":"Department of Computer Science Bar Ilan University , Ramat Gan , Israel"},{"name":"S. S. Ravi","slug":"s-s-ravi","given":"S. S.","family":"Ravi","affiliation":"Biocomplexity Institute and Initiative , University of Virginia , Charlottesville , VA , USA"}],"abstract":"In Boolean games, each agent controls a set of Boolean variables \r\nand has a goal represented by a propositional formula.  We study\r\ninference problems in Boolean games assuming the presence of a\r\nPRINCIPAL who has the ability to control the agents and impose\r\ntaxation schemes.  Previous work used taxation schemes to guide a\r\ngame towards certain equilibria.  We present algorithms that show\r\nhow taxation schemes can also be used to infer agents' goals.  We\r\npresent experimental results to demonstrate the efficacy our\r\nalgorithms.  We also consider goal inference when only limited\r\ninformation is available in response to a query.","doi":"10.24963/ijcai.2020/220","url":"https://ijcai.org/proceedings/2020/220","pdf":"https://ijcai.org/proceedings/2020/0220.pdf","markdown":"https://ijcai.org/proceedings/2020/220.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/220","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":220,"pages":{"first":1585,"last":1591},"keywords":["Knowledge Representation and Reasoning: Knowledge Representation and  Game Theory; Social Choice","Agent-based and Multi-agent Systems: Agent Theories and Models","Agent-based and Multi-agent Systems: Noncooperative Games"],"videos":[],"references":[{"position":1,"raw":"[Abasi et al., 2014] Hasan Abasi, Nader H. Bshouty, and Hanna Mazzawi. On exact learning monotone DNF from membership queries. CoRR, abs/1405.0792:1-16, 2014.","title":"On exact learning monotone DNF from membership queries","authors":"Hasan Abasi, H Nader, Hanna Bshouty, Mazzawi","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Adiga et al., 2018] Abhijin Adiga, Chris J. Kuhlman, Mad- hav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, and Richard E. Stearns. Learning the behavior of a dynamical system via a \"20 questions\" approach. In Thirty second AAAI Conference on Artificial Intelligence, pages 4630- 4637, Palo Alto, CA, 2018. AAAI Press.","title":"Learning the behavior of a dynamical system via a \"20 questions\" approach","authors":"Abhijin Adiga, Chris J Kuhlman, V Madhav, S S Marathe, Daniel J Ravi, Richard E Rosenkrantz, Stearns","year":"2018","venue":"Thirty second AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Adiga et al., 2020] Abhijin Adiga, Sarit Kraus, Oleg Mak- simov, and S. S. Ravi. Boolean Games: Inferring Agents's Goals Using Taxation Queries. Tech Report, Biocomplex- ity Insitute and Initiative, University of Virginia, Char- lottesville, VA, USA, 2020.","title":"Boolean Games: Inferring Agents's Goals Using Taxation Queries","authors":"Adiga","year":"2020","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Ågotnes et al., 2013] Thomas Ågotnes, Paul Harrenstein, Wiebe Van Der Hoek, and Michael Wooldridge. Verifi- able equilibria in Boolean games. In Proc. of AAAI, pages 689-695, 2013.","title":"Verifiable equilibria in Boolean games","authors":"Thomas Ågotnes, Paul Harrenstein, Wiebe Van Der, Michael Hoek, Wooldridge","year":"2013","venue":"Proc. of AAAI","doi":null,"url":null,"internal_url":"/proceedings/2013/109"},{"position":5,"raw":"[Angluin and Slonim, 1994] Dana Angluin and Donna K. Slonim. Randomly fallible teachers: Learning monotone DNF with an incomplete membership oracle. Machine Learning, 14(1):7-26, 1994.","title":"Randomly fallible teachers: Learning monotone DNF with an incomplete membership oracle","authors":"Dana Angluin, Donna K Slonim","year":"1994","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bonzon et al., 2007] Elise Bonzon, Marie-Christine Lagasquie-Schiex, and Jérôme Lang. Dependencies be- tween players in Boolean games. In European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 743-754, Hidelberg, Germany, 2007. Springer. Clercq et al., 2015]","title":"Dependencies between players in Boolean games","authors":"Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang","year":"2007","venue":"European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Sophie De Clercq, Steven Schockaert, Ann Nowé, and Martine De Cock. Multilateral negoti- ation in Boolean games with incomplete information us- ing generalized possibilistic logic. In Twenty-Fourth Inter- national Joint Conference on Artificial Intelligence, pages 2890-2896, Palo Alto, CA, 2015. AAAI Press.","title":"Multilateral negotiation in Boolean games with incomplete information using generalized possibilistic logic","authors":"Sophie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock","year":"2015","venue":"Twenty-Fourth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2015/409"},{"position":8,"raw":"[Crama and Hammer, 2011] Yves Crama and Peter L. Ham- mer. Boolean Functions: Theory, Algorithms, and Ap- plications. Cambridge University Press, New York, NY, 2011.","title":"Boolean Functions: Theory, Algorithms, and Applications","authors":"Hammer Crama, Yves Crama, Peter L Hammer","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Garey and Johnson, 1979] Michael R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-completeness. W. H. Freeman and Co., San Francisco, CA, 1979.","title":"Computers and Intractability: A Guide to the Theory of NP-completeness","authors":"Michael R Garey, David S Johnson","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Grant et al., 2014] John Grant, Sarit Kraus, Michael Wooldridge, and Inon Zuckerman. Manipulating games by sharing information. Studia Logica, 102(2):267-295, 2014.","title":"Manipulating games by sharing information","authors":"John Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman","year":"2014","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Harrenstein et al., 2001] Paul Harrenstein, Wiebe van der Hoek, John-Jules Meyer, and Cees Witteveen. Boolean games. In Proceedings of the 8th conference on Theoreti- cal aspects of rationality and knowledge, pages 287-298, Burlington, MA, 2001.","title":"Boolean games","authors":"Paul Harrenstein, John-Jules Wiebe Van Der Hoek, Cees Meyer, Witteveen","year":"2001","venue":"Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[He et al., 2016] Xinran He, Ke Xu, David Kempe, and Yan Liu. Learning influence functions from incomplete obser- vations. In Advances in Neural Information Processing Systems, pages 2073-2081, San Diego, CA, 2016. Neural Information Systems Processing Foundation.","title":"Learning influence functions from incomplete observations","authors":"Xinran He, Ke Xu, David Kempe, Yan Liu","year":"2016","venue":"Advances in Neural Information Processing Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Kleinberg et al., 2017] Jon Kleinberg, Sendhil Mul- lainathan, and Johan Ugander. Comparison-based choices. In Proceedings of the 2017 ACM Conference on Economics and Computation, pages 127-144, New York, NY, 2017. ACM.","title":"Comparison-based choices","authors":"Kleinberg","year":"2017","venue":"Proceedings of the 2017 ACM Conference on Economics and Computation","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Kohavi, 1970] Zvi Kohavi. Switching and Finite Automata Theory. McGraw-Hill, New York, NY, 1970.","title":"Switching and Finite Automata Theory","authors":"Zvi Kohavi, Kohavi","year":"1970","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Levit et al., 2013a] Vadim Levit, Tal Grinshpoun, and Am- non Meisels. Boolean games for charging electric vehicles. In Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)-Volume 02, pages 86-93. IEEE Computer Society, 2013.","title":"Vadim Levit, Tal Grinshpoun, and Amnon Meisels. Boolean games for charging electric vehicles","authors":"Levit","year":"2013","venue":"Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Levit et al., 2013b] Vadim Levit, Tal Grinshpoun, Amnon Meisels, and Ana LC Bazzan. Taxation search in Boolean games. In Proceedings of the 2013 international con- ference on Autonomous agents and multi-agent systems, pages 183-190, Richland, SC, USA, 2013. International Foundation for Autonomous Agents and Multiagent Sys- tems.","title":"Taxation search in Boolean games","authors":"Levit","year":"2013","venue":"Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Levit et al., 2019] Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Ana LC Bazzan, and Amnon Meisels. Incentive-based search for equilibria in Boolean games. Constraints, 24:288-319, 2019.","title":"Incentive-based search for equilibria in Boolean games","authors":"Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Ana Lc Bazzan, Amnon Meisels","year":"2019","venue":"Constraints","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Narasimhan et al., 2015] Harikrishna Narasimhan, David C. Parkes, and Yoran Singer. Learnability of influence in networks. In Advances in Neural Information Processing Systems, pages 3186-3194, San Diego, CA, 2015. Neural Information Systems Processing Foundation.","title":"Learnability of influence in networks","authors":"Harikrishna Narasimhan, David C Parkes, Yoran Singer","year":"2015","venue":"Advances in Neural Information Processing Systems","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Sauro and Villata, 2013] Luigi Sauro and Serena Villata. Dependency in cooperative Boolean games. Journal of Logic and Computation, 23(2):425-444, 2013.","title":"Dependency in cooperative Boolean games","authors":"Villata Sauro, Luigi Sauro, Serena Villata","year":"2013","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[West, 2003] Douglas West. Introduction to Graph Theory. Prentice-Hall, Inc., Englewood Cliffs, NJ, 2003.","title":"Introduction to Graph Theory","authors":"Douglas West","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Wooldridge et al., 2013] Michael Wooldridge, Ulle Endriss, Sarit Kraus, and Jérôme Lang. Incentive engineering for Boolean games. Artificial Intelligence, 195:418-439, 2013.","title":"Incentive engineering for Boolean games","authors":"Michael Wooldridge, Ulle Endriss, Sarit Kraus, Jérôme Lang","year":"2013","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}