The open agent society: retrospective and prospective views

详细信息    查看全文

• 作者：Jeremy Pitt ; Alexander Artikis
• 关键词：Computers and law ; Multi ; agent systems ; Norm ; governed systems ; Self ; organising systems ; Event recognition ; Ethical legal and social implications (ELSI)
• 刊名：Artificial Intelligence and Law
• 出版年：2015
• 出版时间：September 2015
• 年：2015
• 卷：23
• 期：3
• 页码：241-270
• 全文大小：607 KB
• 参考文献：Alchourrón C, G?rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Logic 50(2):510-30MATH CrossRef
  Allen C, Wallach W, Smit I (2006) Why machine ethics. IEEE Intell Syst 21(4):12-7CrossRef
  Artikis A (2012) Dynamic specification of open agent systems. J Logic Comput 22(6):1301-334MATH MathSciNet CrossRef
  Artikis A, Sergot M, Paliouras G (2015) An event calculus for event recognition. IEEE Trans Knowl Data Eng 27(4):895-08CrossRef
  Artikis A, Sergot M (2010) Executable specification of open multi-agent systems. Logic J IGPL 18(1):31-5MATH MathSciNet CrossRef
  Austin J (1962) How to do things with words. Oxford University Press, Oxford, UK
  Boella G, Pigozzi G, van der Torre L (2009) Normative framework for normative system change. In: Proceedings of international conference on autonomous agents and multi-agent systems (AAMAS). ACM Press, pp 169-76
  Bragaglia S, Chesani F, Mello P, Sottara D (2012) A rule-based calculus and processing of complex events. In: Rules on the web: research and applications-th international symposium, RuleML 2012, Montpellier, France, pp 151-66
  Brewka G (2001) Dynamic argument systems: a formal model of argumentation processes based on situation calculus. J Logic Comput 11(2):257-82MATH MathSciNet CrossRef
  Broersen J (2009) Issues in designing logical models for norm change. In: Vouros G, Artikis A, Stathis K, Pitt J (eds) Proceedings of internation workshop in oprganised adaptation on multi-agent systems (OAMAS), vol. LNCS 5368. Springer, pp 1-7
  Bryant V (1985) Metric spaces. Cambridge University Press, Cambridge, UKMATH
  Carr H, Artikis A, Pitt J (2009) Presage-ms: metric spaces in presage. In: ESAW, pp 243-46
  Cavoukian A (2012) Privacy by design [leading edge]. IEEE Technol Soc Mag 31(4):18-9CrossRef
  Chesani F, Mello P, Montali M, Torroni P (2010) A logic-based, reactive calculus of events. Fundam Inform 105(1-):135-61MATH MathSciNet
  Chesani F, Mello P, Montali M, Torroni P (2013) Representing and monitoring social commitments using the event calculus. Auton Agents Multi-agent Syst 27(1):85-30CrossRef
  Daassi M, Favier M (2007) Developing a measure of collective awareness in virtual teams. Int J Bus Inf Syst 2(4):413-25
  Diaconescu A, Pitt J (2015) Holonic institutions for multi-scale polycentric self-governance. In: Ghose A, Oren N, Telang P, Thangarajah J (eds) COIN 2014, LNAI 9372. Springer, pp 1-7
  Dommel HP, Garcia-Luna-Aceves JJ (1995) Design issues for floor control protocols. In: Proceedings of symposium on electronic imaging: multimedia and networking, vol 2417. IS&T/SPIE, pp 305-16
  Forgy C (1982) Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif Intell 19(3597):17-7CrossRef
  Frey S, Diaconescu A, Menga D, Demeure IM (2013) A holonic control architecture for a heterogeneous multi-objective smart micro-grid. In: 7th IEEE international conference on self-adaptive and self-organizing systems, SASO 2013, Philadelphia, PA, USA, pp 21-0
  Giunchiglia E, Lee J, Lifschitz V, McCain N, Turner H (2004) Nonmonotonic causal theories. Artif Intell 153(1-):49-04MATH MathSciNet CrossRef
  Goulev P, Stead L, Mamdani A, Evans C (2004) Computer aided emotional fashion. Comput Graph 28(5):657-66CrossRef
  Governatori G, Padmanabhab V, Rotolo A (2006) Rule-based agents in temporalised defeasible logic. In: Proceedings of Pacific Rim International Conference on Artificial Intelligence (PRICAI), LNCS 4099. Springer, pp 31-0
  Governatori G, Palmirani M, Riveret R, Rotolo A, Sartor G (2005) Norm modifications in defeasible logic. In: Proceedings of conference on legal knowledge and information systems (JURIX). IOS Press, pp 13-2
  Governatori G, Rotolo A (2008) Changing legal systems: abrogation and annulment. Part I: Revision of defeasible theories. In: van der Meyden R, van der Torre L (eds) Proceedings of conference on deontic logic in computer science (DEON), LNCS 5076. Springer, pp 3-8
  Governatori G, Rotolo A (2008) Changing legal systems: Abrogation and annulment. Part II: Temporalised defeasible logic. In: Boella G, Pigozzi G, Singh M, Verhagen H (eds) Proceedings of workshop on normative multiagent systems (NORMAS), pp 112-27
  Governatori G, Rotolo A, Riveret R, Palmirani M, Sartor G (2007) Variants of temporal defeasible logics for modelling norm modifications. In: Proccedings of international conference on artificial intelligence and law (ICAIL). ACM
  Hardin G (1968) The tragedy of the commons. Science 162(3859):1243-248CrossRef
  Hess C, Ostrom E (2006) Understanding knowledge as a commons. MIT Press, Cambridge, MA
  Hewitt C (1986) Offices are open systems. ACM Trans Inf Syst 4(3):271-87CrossRef
  Jones A (2002) On the concept of trust. Decis Support Syst 33(3):225-32CrossRef
  Jones AJ, Artikis A, Pitt J (2013) The design of intelligent socio-technical systems. Artif Intell
• 作者单位：Jeremy Pitt (1)
  Alexander Artikis (2) (3)
  
  1. Department of Electrical and Electronic Engineering, Imperial College London, London, SW7 2BT, UK
  2. University of Piraeus, 18534, Piraeus, Greece
  3. Institute of Informatics & Telecommunications, NCSR Demokritos, 15310, Athens, Greece
  
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Legal Aspects of Computing
  Philosophy of Law
  Computational Linguistics
  Air and Space Law
  
• 出版者：Springer Netherlands
• ISSN：1572-8382

文摘

It is now more than ten years since the EU FET project ALFEBIITE finished, during which its researchers made original and distinctive contributions to (inter alia) formal models of trust, model-checking, and action logics. ALFEBIITE was also a highly inter-disciplinary project, with partners from computer science, philosophy, cognitive science and law. In this paper, we reflect on the interaction between computer scientists and information and IT lawyers on the idea of the ‘open agent society- This inspired a programme of research whose investigation into conceptual challenges has carried it from the logical specification of agent societies and dynamic norm-governed systems to self-organising electronic institutions, while developing several technologies for agent-based modelling and complex event recognition. The outcomes of this inter-disciplinary collaboration have also influenced current research into using the open agent society as a platform for socio-technical systems, and other collective adaptive systems. We present a number of research challenges, including the ideas of computational justice and polycentric governance, and explore a number of ethical, legal and social implications. We contend that, in order to address these issues and challenges, the continued inter-disciplinary collaboration between computer science and IT lawyers is critical. Keywords Computers and law Multi-agent systems Norm-governed systems Self-organising systems Event recognition Ethical legal and social implications (ELSI)