DISARM: A social distributed agent reputation model based on defeasible logic

Abstract Agents act in open and thus risky environments with limited or no human intervention. Making the appropriate decision about who to trust in order to interact with is not only necessary but it is also a challenging process. To this end, trust and reputation models, based on interaction trust or witness reputation, have been proposed. Yet, they are often faced with skepticism since they usually presuppose the use of a centralized authority, the trustworthiness and robustness of which may be questioned. Distributed models, on the other hand, are more complex but they are more suitable for personalized estimations based on each agent's interests and preferences. Furthermore, distributed approaches allow the study of a really challenging aspect of multi-agent systems, that of social relations among agents. To this end, this article proposes DISARM, a novel distributed reputation model. DISARM treats Multi-agent Systems as social networks, enabling agents to establish and maintain relationships, limiting the disadvantages of the common distributed approaches. Additionally, it is based on defeasible logic, modeling the way intelligent agents, like humans, draw reasonable conclusions from incomplete and possibly conflicting (thus inconclusive) information. Finally, we provide an evaluation that illustrates the usability of the proposed model.

[1]  Yao-Hua Tan,et al.  Trust and Deception in Virtual Societies , 2001, Springer Netherlands.

[2]  Yolanda Gil,et al.  A survey of trust in computer science and the Semantic Web , 2007, J. Web Semant..

[3]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[4]  Michael J. Maher,et al.  Defeasible Logic versus Logic Programming without Negation as Failure , 2000, J. Log. Program..

[5]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[6]  Nicholas R. Jennings,et al.  An efficient and versatile approach to trust and reputation using hierarchical Bayesian modelling , 2012, Artif. Intell..

[7]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[8]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[9]  Guido Governatori,et al.  Is Defeasible Logic Applicable , 2001 .

[10]  Ioannis P. Vlahavas,et al.  A Defeasible Logic Reasoner for the Semantic Web , 2004, Int. J. Semantic Web Inf. Syst..

[11]  Adrian Paschke,et al.  RuleML 1.0: The Overarching Specification of Web Rules , 2010, RuleML.

[12]  Stephen F. Smith,et al.  Schedule-Driven Coordination for Real-Time Traffic Network Control , 2012, ICAPS.

[13]  Christoph Meinel,et al.  From Reputation Models and Systems to Reputation Ontologies , 2011, IFIPTM.

[14]  Kalliopi Kravari,et al.  EMERALD: A Multi-Agent System for Knowledge-Based Reasoning Interoperability in the Semantic Web , 2010, SETN.

[15]  Giuseppe M. L. Sarnè,et al.  Integrating trust measures in multiagent systems , 2012, Int. J. Intell. Syst..

[16]  Harold Boley,et al.  Integrating Positional and Slotted Knowledge on the Semantic Web , 2010 .

[17]  Ernesto Damiani,et al.  Bottom-Up Extraction and Trust-Based Refinement of Ontology Metadata , 2007, IEEE Transactions on Knowledge and Data Engineering.

[18]  Ioannis Vlahavas,et al.  R-DEVICE: an Object-Oriented Knowledge Base System for RDF Metadata , 2006 .

[19]  James A. Hendler,et al.  A Framework for Web Science , 2006, Found. Trends Web Sci..

[20]  C. Sierra,et al.  REGRET: A reputation model for gregarious societies , 2001 .

[21]  Rob A. Zuidwijk,et al.  Can agents measure up? A comparative study of an agent-based and on-line optimization approach for a drayage problem with uncertainty , 2010 .

[22]  Ioannis P. Vlahavas,et al.  R-DEVICE: An Object-Oriented Knowledge Base for RDF Metadata , 2006, Int. J. Semantic Web Inf. Syst..

[23]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[24]  Frances M. T. Brazier,et al.  Agent-based information infrastructure for disaster management , 2013 .

[25]  Marek Obitko,et al.  Semantic technologies: latest advances in agent-based manufacturing control systems , 2011 .

[26]  Kalliopi Kravari,et al.  HARM: A Hybrid Rule-Based Agent Reputation Model Based on Temporal Defeasible Logic , 2012, RuleML.

[27]  David Billington Propositional Clausal Defeasible Logic , 2008, JELIA.

[28]  Nicholas R. Jennings,et al.  Certified reputation: how an agent can trust a stranger , 2006, AAMAS '06.

[29]  Vana Kalogeraki,et al.  Finding good peers in peer-to-peer networks , 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

[30]  James A. Hendler,et al.  Agents and the Semantic Web , 2001, IEEE Intell. Syst..

[31]  Xin Liu,et al.  A GENERIC TRUST FRAMEWORK FOR LARGE‐SCALE OPEN SYSTEMS USING MACHINE LEARNING , 2011, Comput. Intell..

[32]  Shonali Krishnaswamy,et al.  A fuzzy model for reasoning about reputation in web services , 2006, SAC.

[33]  Vipul Kashyap,et al.  The Semantic Web - Semantics for Data and Services on the Web , 2008, Data-Centric Systems and Applications.

[34]  Grigoris Antoniou,et al.  Defeasible Contextual Reasoning with Arguments in Ambient Intelligence , 2010, IEEE Transactions on Knowledge and Data Engineering.

[35]  Jessika Schulze,et al.  Handbook Of Logic In Artificial Intelligence And Logic Programming , 2016 .

[36]  Diomidis Spinellis,et al.  A survey of peer-to-peer content distribution technologies , 2004, CSUR.

[37]  Jordi Sabater-Mir,et al.  Social ReGreT, a reputation model based on social relations , 2001, SECO.

[38]  Morris Sloman,et al.  A survey of trust in internet applications , 2000, IEEE Communications Surveys & Tutorials.

[39]  David Billington Conflicting Literals and Defeasible Logic , 2007 .

[40]  Gerd Wagner,et al.  Web Rules Need Two Kinds of Negation , 2003, PPSWR.

[41]  Osamu Yoshie,et al.  Web Knowledge Management and Decision Support , 2003, Lecture Notes in Computer Science.

[42]  Kevan Buckley,et al.  Computing Reputation Metric in Multi-Agent E-Commerce Reputation System , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[43]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[44]  Nicholas R. Jennings,et al.  An integrated trust and reputation model for open multi-agent systems , 2006, Autonomous Agents and Multi-Agent Systems.

[45]  Rino Falcone,et al.  Trust Theory: A Socio-Cognitive and Computational Model , 2010 .

[46]  Sarvapali D. Ramchurn,et al.  Trust in multi-agent systems , 2004, The Knowledge Engineering Review.

[47]  Nick Bassiliades,et al.  Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system , 2011, Knowl. Based Syst..

[48]  John L. Pollock,et al.  Perceiving and Reasoning about a Changing World , 1998, Comput. Intell..

[49]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[50]  Thomas R. Gruber,et al.  A Translation Approach to Portable Ontologies , 1993 .

[51]  Jordi Sabater,et al.  Trust and reputation for agent societies , 2003 .

[52]  Jeffrey C. Carver,et al.  Peer impressions in open source organizations: A survey , 2014, J. Syst. Softw..

[53]  Diego Gambetta Trust : making and breaking cooperative relations , 1992 .

[54]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[55]  Chunyan Miao,et al.  A Survey of Multi-Agent Trust Management Systems , 2013, IEEE Access.

[56]  Ernesto Damiani,et al.  Adding a Trust Layer to Semantic Web Metadata , 2006, Soft Computing in Web Information Retrieva.

[57]  Janne Riihijärvi,et al.  A survey on resource discovery mechanisms, peer-to-peer and service discovery frameworks , 2008, Comput. Networks.

[58]  Song Liu,et al.  An Improved Multipoint Relaying Scheme for Message Propagation in Distributed Peer-to-Peer System , 2014, Int. J. Distributed Sens. Networks.

[59]  Guillermo Ricardo Simari,et al.  An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment , 2007, LPNMR.

[60]  Jamal Bentahar,et al.  CRM : An efficient trust and reputation model for agent computing , 2011 .

[61]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[62]  Jordi Sabater-Mir,et al.  Computational trust and reputation models for open multi-agent systems: a review , 2013, Artificial Intelligence Review.

[63]  Khair Eddin Sabri,et al.  A temporal defeasible logic for handling access control policies , 2015, Applied Intelligence.

[64]  Zongming Fei,et al.  A novel approach to improving search efficiency in unstructured peer-to-peer networks , 2009, J. Parallel Distributed Comput..

[65]  Guido Governatori,et al.  DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[66]  Robert Vallée 14th International Conference on Systems Science , 2002 .

[67]  Yi Mu,et al.  Trust-based service provider selection in service- oriented environments , 2011 .

[68]  Paul Resnick,et al.  Reputation systems , 2000, CACM.

[69]  R JenningsNicholas,et al.  An integrated trust and reputation model for open multi-agent systems , 2006 .

[70]  Audun Jøsang,et al.  A survey of trust and reputation systems for online service provision , 2007, Decis. Support Syst..

[71]  Kalliopi Kravari,et al.  Trusted Reasoning Services for Semantic Web Agents , 2010, Informatica.

[72]  Carlos Angel Iglesias,et al.  A real-life application of multi-agent systems for fault diagnosis in the provision of an Internet business service , 2014, J. Netw. Comput. Appl..

[73]  P. Dasgupta Trust as a commodity , 1988 .

[74]  Michael J. Maher Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[75]  Jason J. Jung Trustworthy knowledge diffusion model based on risk discovery on peer-to-peer networks , 2009, Expert Syst. Appl..

[76]  Adis Medic Survey of Computer Trust and Reputation Models – The Literature Overview , 2012 .

[77]  Michael J. Maher,et al.  An inclusion theorem for defeasible logics , 2010, TOCL.

[78]  Kris Bubendorfer,et al.  Reputation systems: A survey and taxonomy , 2015, J. Parallel Distributed Comput..

[79]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[80]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.