{"type":"ScholarlyArticle","title":"Partakable Technology","authors":[{"name":"Nardine Osman","slug":"nardine-osman","given":"Nardine","family":"Osman","affiliation":"Artificial Intelligence Research Institute (IIIA-CSIC)"}],"abstract":"This paper proposes a shift in how technology is currently being developed by giving people, the users, control over their technology. We argue that users should have a say in the behaviour of the technologies that mediate their online interactions and control their private data. We propose 'partakable technologies', technologies where users can come together to discuss and agree on its features and functionalities. To achieve this, we base our proposal on a number of existing technologies in the fields of agreement technologies, natural language processing, normative systems, and formal verification. As an IJCAI early career spotlight paper, the paper provides an overview of the author's expertise in these different areas.","doi":"10.24963/ijcai.2018/815","url":"https://ijcai.org/proceedings/2018/815","pdf":"https://ijcai.org/proceedings/2018/0815.pdf","markdown":"https://ijcai.org/proceedings/2018/815.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/815","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Early Career","track":"Early Career","number":815,"pages":{"first":5714,"last":5718},"keywords":["Agent-based and Multi-agent Systems: Normative systems","Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis","Agent-based and Multi-agent Systems: Trust and Reputation","Multidisciplinary Topics and Applications: Philosophical and Ethical Issues"],"videos":[],"references":[{"position":1,"raw":"[Amgoud et al., 2012a] Leila Amgoud, Roberto Con- falonieri, Dave De Jonge, Mark d'Inverno, Katina Hazelden, Nardine Osman, Henri Prade, Carles Sierra, and Matthew Yee-King. Sharing online cultural ex- periences: An argument-based approach. In Proc. of MDAI'12, pages 282-293. Springer, 2012.","title":"Sharing online cultural experiences: An argument-based approach","authors":"Amgoud","year":"2012","venue":"Proc. of MDAI'12","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Amgoud et al., 2012b] Leila Amgoud, Roberto Con- falonieri, Dave De Jonge, Mark d'Inverno, Katina Hazelden, Nardine Osman, Henri Prade, Carles Sierra, and Matthew Yee-King. Wecurate: Designing for syn- chronised browsing and social negotiation. In Proc. of AT'12, pages 168-179. CEUR-WS.org, 2012.","title":"Wecurate: Designing for synchronised browsing and social negotiation","authors":"Amgoud","year":"2012","venue":"Proc. of AT'12","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Athan et al., 2013] Tara Athan, Harold Boley, Guido Gov- ernatori, Monica Palmirani, Adrian Paschke, and Adam Wyner. OASIS LegalRuleML. In Proc. of ICAIL'13, pages 3-12. ACM, 2013.","title":"OASIS LegalRuleML","authors":"Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner","year":"2013","venue":"Proc. of ICAIL'13","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baarslag et al., 2016] Tim Baarslag, Mark J. C. Hendrikx, Koen V. Hindriks, and Catholijn M. Jonker. Learning about the opponent in automated bilateral negotiation: a comprehensive survey of opponent modeling techniques. Autonomous Agents and Multi-Agent Systems, 30(5):849- 898, 2016.","title":"Learning about the opponent in automated bilateral negotiation: a comprehensive survey of opponent modeling techniques","authors":"Tim Baarslag, J C Mark, Koen V Hendrikx, Catholijn M Hindriks, Jonker","year":"2016","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bench-Capon and Dunne, 2007] Trevor Bench-Capon and Paul Dunne. Argumentation in artificial intelligence. Artif. Intell., 171:619-641, 2007.","title":"Argumentation in artificial intelligence","authors":"Trevor Bench-Capon, Paul Dunne","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bonatti et al., 2014] Piero Bonatti, Eugenio Oliveira, Jordi Sabater-Mir, Carles Sierra, and Francesca Toni. On the in- tegration of trust with negotiation, argumentation and se- mantics. Knowl. Eng. Rev., 29:31-50, 2014.","title":"On the integration of trust with negotiation, argumentation and semantics","authors":"Piero Bonatti, Eugenio Oliveira, Jordi Sabater-Mir, Carles Sierra, Francesca Toni","year":"2014","venue":"Knowl. Eng. Rev","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Bordini et al., 2003] Rafael H Bordini, Michael Fisher, Car- men Pardavila, Willem Visser, and Michael Wooldridge. Model checking multi-agent programs with casp. In Proc. of CAV '03, pages 110-113. Springer, 2003.","title":"Model checking multi-agent programs with casp","authors":"Michael Rafael H Bordini, Carmen Fisher, Willem Pardavila, Michael Visser, Wooldridge","year":"2003","venue":"Proc. of CAV '03","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Brandt et al., 2016] Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, and Ariel D. Procaccia, editors. Handbook of Computational Social Choice. Cambridge University Press, 2016.","title":"Handbook of Computational Social Choice","authors":null,"year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Confalonieri et al., 2015] Roberto Confalonieri, Matthew Yee-King, Katina Hazelden, Mark d'Inverno, Dave De Jonge, Nardine Osman, Carles Sierra, Leila Amgoud, and Henri Prade. Engineering multiuser museum interactives for shared cultural experiences. Eng. Appl. Artif. Intell., 46:180-195, 2015.","title":"Engineering multiuser museum interactives for shared cultural experiences","authors":"Roberto Confalonieri, Matthew Yee-King, Katina Hazelden, Dave De Mark D'inverno, Nardine Jonge, Carles Osman, Leila Sierra, Henri Amgoud, Prade","year":"2015","venue":"Eng. Appl. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[de Jonge and Sierra, 2015] Dave de Jonge and Carles Sierra. SIMPLE: a language for the specification of pro- tocols, similar to natural language. In Proc. of COIN '15, pages 49-64, 2015.","title":"Dave de Jonge and Carles Sierra. SIMPLE: a language for the specification of protocols, similar to natural language","authors":"Jonge De, Sierra","year":"2015","venue":"Proc. of COIN '15","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Dignum et al., 2002] Virginia Dignum, John-Jules Meyer, and Hans Weigand. Towards an organizational model for agent societies using contracts. In Proc. of AAMAS '02, pages 694-695. ACM, 2002.","title":"Towards an organizational model for agent societies using contracts","authors":"Dignum","year":"2002","venue":"Proc. of AAMAS '02","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"['Inverno et al., 2012] Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodriguez-Aguilar, and Carles Sierra. Communicating open systems. Artif. Intell., 186:38-94, 2012.","title":"Communicating open systems","authors":"Inverno","year":"2012","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Endriss, 2014] Ulle Endriss. Social choice theory as a foun- dation for multiagent systems. In Proc. of MATES'14, pages 1-6. Springer, 2014.","title":"Social choice theory as a foundation for multiagent systems","authors":"Ulle Endriss","year":"2014","venue":"Proc. of MATES'14","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Gutierrez et al., 2015] Patricia Gutierrez, Nardine Osman, Carme Roig, and Carles Sierra. Trust-based community assessment. Pattern Recognit. Lett., 67:49-58, 2015.","title":"Trust-based community assessment","authors":"Patricia Gutierrez, Nardine Osman, Carme Roig, Carles Sierra","year":"2015","venue":"Pattern Recognit. Lett","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Gutierrez et al., 2016] Patricia Gutierrez, Nardine Osman, Carme Roig, and Carles Sierra. Personalised automated assessments. In Proc. of AAMAS'16, pages 1115-1123. ACM, 2016.","title":"Personalised automated assessments","authors":"Patricia Gutierrez, Nardine Osman, Carme Roig, Carles Sierra","year":"2016","venue":"Proc. of AAMAS'16","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Horling and Lesser, 2004] Bryan Horling and Victor Lesser. A survey of multi-agent organizational paradigms. Knowl. Eng. Rev., 19:281-316, 2004.","title":"A survey of multi-agent organizational paradigms","authors":"Bryan Horling, Victor Lesser","year":"2004","venue":"Knowl. Eng. Rev","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Jonge and Sierra, 2017] Dave De Jonge and Carles Sierra. D-brane: a diplomacy playing agent for automated negoti- ations research. Appl. Intell., 47(1):158-177, 2017.","title":"D-brane: a diplomacy playing agent for automated negotiations research","authors":"Dave De, Jonge, Carles Sierra","year":"2017","venue":"Appl. Intell","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Leite and Martins, 2011] João Leite and João Martins. So- cial abstract argumentation. In Proc. of IJCAI'11, pages 2287-2292. AAAI Press, 2011.","title":"Social abstract argumentation","authors":"João Leite, João Martins","year":"2011","venue":"Proc. of IJCAI'11","doi":null,"url":null,"internal_url":"/proceedings/2011/381"},{"position":19,"raw":"[Lomuscio et al., 2009] Alessio Lomuscio, Hongyang Qu, and Franco Raimondi. MCMAS: A model checker for the verification of multi-agent systems. In Proc. of CAV '09, pages 682-688. Springer, 2009.","title":"MCMAS: A model checker for the verification of multi-agent systems","authors":"Alessio Lomuscio, Hongyang Qu, Franco Raimondi","year":"2009","venue":"Proc. of CAV '09","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Modgil and Prakken, 2013] Sanjay Modgil and Henry Prakken. A general account of argumentation and preferences. Artif. Intell., 195:361-397, 2013.","title":"A general account of argumentation and preferences","authors":"Prakken Modgil, Sanjay Modgil, Henry Prakken","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Osman and Robertson, 2007] Nardine Osman and David Robertson. Dynamic verification of trust in distributed open systems. In Proc. of IJCAI'07, pages 1440-1445, 2007.","title":"Dynamic verification of trust in distributed open systems","authors":"Robertson Osman, Nardine Osman, David Robertson","year":"2007","venue":"Proc. of IJCAI'07","doi":null,"url":null,"internal_url":"/proceedings/2007/232"},{"position":22,"raw":"[Osman and Sierra, 2016] Nardine Osman and Carles Sierra. Reputation in the academic world. In Proc. of Trust Work- shop @ AAMAS 2016), pages 1-17. CEUR-WS.org, 2016.","title":"Reputation in the academic world","authors":"Sierra ; Osman, Nardine Osman, Carles Sierra","year":"2016","venue":"Proc. of Trust Workshop @ AAMAS 2016)","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Osman and Sierra, 2018] Nardine Osman and Carles Sierra. Agreement computing and self-evolution. In Anchoring Institutions. Democracy and Regulations in a Global and Half-automated World. Springer Verlag, 2018.","title":"Agreement computing and self-evolution","authors":"Nardine Osman, Carles Sierra","year":"2018","venue":"Anchoring Institutions. Democracy and Regulations in a Global and Half-automated World","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Osman et al., 2006a] Nardine Osman, David Robertson, and Christopher Walton. Dynamic model checking for multi-agent systems. In DALT IV, pages 43-60. Springer, 2006.","title":"Dynamic model checking for multi-agent systems","authors":"Osman","year":"2006","venue":"DALT IV","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Osman et al., 2006b] Nardine Osman, David Robertson, and Christopher Walton. Run-time model checking of in- teraction and deontic models for multi-agent systems. In Proc. of AAMAS '06, pages 238-240. ACM, 2006.","title":"Run-time model checking of interaction and deontic models for multi-agent systems","authors":"Osman","year":"2006","venue":"Proc. of AAMAS '06","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Osman et al., 2010] Nardine Osman, Carles Sierra, and Jordi Sabater-Mir. Propagation of opinions in structural graphs. In Proc. of ECAI'10, pages 595-600. IOS Press, 2010.","title":"Propagation of opinions in structural graphs","authors":"Nardine Osman, Carles Sierra, Jordi Sabater-Mir","year":"2010","venue":"Proc. of ECAI'10","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Osman et al., 2013] Nardine Osman, Carles Sierra, Fiona McNeill, Juan Pane, and John K. Debenham. Trust and matching algorithms for selecting suitable agents. ACM Trans. Intell. Syst. Technol., 5(1):16:1-16:39, 2013.","title":"Trust and matching algorithms for selecting suitable agents","authors":"Nardine Osman, Carles Sierra, Fiona Mcneill, Juan Pane, John K Debenham","year":"2013","venue":"ACM Trans. Intell. Syst. Technol","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Osman et al., 2014a] Nardine Osman, Patricia Gutierrez, and Carles Sierra. Trustworthy advice. In Proc. of ECAI'14, pages 1073-1074. IOS Press, 2014.","title":"Trustworthy advice","authors":"Osman","year":"2014","venue":"Proc. of ECAI'14","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Osman et al., 2014b] Nardine Osman, Alessandro Provetti, Valerio Riggi, and Carles Sierra. MORE: merged opinions reputation model. In Proc. of EUMAS'14, pages 67-81. Springer, 2014.","title":"MORE: merged opinions reputation model","authors":"Osman","year":"2014","venue":"Proc. of EUMAS'14","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Osman, 2018] Nardine Osman, editor. Electronic Institu- tions and their Applications. Springer, 2018.","title":"Electronic Institutions and their Applications","authors":null,"year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Pacheco et al., 2017] Natalia C. Pacheco, Carlos Carras- cosa, Nardine Osman, and Vicente J. Inglada. Multi- Agent Systems and Agreement Technologies: 14th Euro- pean Conference, EUMAS 2016, and 4th International Conference, AT 2016. Springer, 2017.","title":"Multi-Agent Systems and Agreement Technologies: 14th European Conference, EUMAS 2016, and 4th International Conference","authors":"Natalia C Pacheco, Carlos Carrascosa, Nardine Osman, Vicente J Inglada","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Robertson, 2004] David Robertson. A lightweight method for coordination of agent oriented web services. In Proc. of AAAI Spring Symposium on Semantic Web Services, 2004.","title":"A lightweight method for coordination of agent oriented web services","authors":"David Robertson","year":"2004","venue":"Proc. of AAAI Spring Symposium on Semantic Web Services","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Shiffman et al., 2010] Richard N. Shiffman, George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel Kaljurand, and Tobias Kuhn. Writing clinical practice guidelines in controlled natural language. In Proc. of CNL'09, pages 265-280. Springer-Verlag, 2010.","title":"Writing clinical practice guidelines in controlled natural language","authors":"Richard N Shiffman, George Michel, Michael Krauthammer, Norbert E Fuchs, Kaarel Kaljurand, Tobias Kuhn","year":"2010","venue":"Proc. of CNL'09","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Shoham and Tennenholtz, 1995] Yoav Shoham and Moshe Tennenholtz. On social laws for artificial agent societies: off-line design. Artif. Intell., 73:231-252, 1995.","title":"On social laws for artificial agent societies: off-line design","authors":"Tennenholtz Shoham, Yoav Shoham, Moshe Tennenholtz","year":"1995","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Walton, 1996] Doug Walton. Argument Schemes for Pre- sumptive Reasoning. Lawrence Erlbaum Assoc., 1996.","title":"Argument Schemes for Presumptive Reasoning","authors":"Doug Walton","year":"1996","venue":null,"doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Wooldridge et al., 2002] Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, and Simon Parsons. Model checking multi-agent systems with MABLE. In Proc. of AAMAS'02, pages 952-959. ACM, 2002.","title":"Model checking multi-agent systems with MABLE","authors":"Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons","year":"2002","venue":"Proc. of AAMAS'02","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Wyner and Governatori, 2013] Adam Wyner and Guido Governatori. A study on translating regulatory rules from natural language to defeasible logic. In RuleML 2013, pages 16.1-16.8, 2013.","title":"A study on translating regulatory rules from natural language to defeasible logic","authors":"Governatori Wyner, Adam Wyner, Guido Governatori","year":"2013","venue":"RuleML 2013","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Wyner and Peters, 2011] Adam Wyner and Wim Peters. On rule extraction from regulations. In Proc. of JURIX'11, pages 113-122. IOS Press, 2011.","title":"On rule extraction from regulations","authors":"Peters Wyner, Adam Wyner, Wim Peters","year":"2011","venue":"Proc. of JURIX'11","doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Wyner et al., 2010] Adam Wyner, Tom van Engers, and Ki- avash Bahreini. From policy-making statements to first- order logic. In Proc. of EGOVIS'10. Springer, 2010.","title":"From policy-making statements to firstorder logic","authors":"Adam Wyner, Tom Van Engers, Kiavash Bahreini","year":"2010","venue":"Proc. of EGOVIS'10","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}