Using argumentation to reason about trust and belief

Using argumentation to reason about trust and belief
复制标题

DOI:
10.1093/logcom/exr038
复制
发表时间:
2012-10
期刊:
J. Log. Comput.
影响因子:
--
通讯作者:
Y. Tang;Kai Cai;P. McBurney;E. Sklar;S. Parsons
Y. Tang;Kai Cai;P. McBurney;E. Sklar;S. Parsons
中科院分区:
其他
文献类型:
--
作者:
Y. Tang;Kai Cai;P. McBurney;E. Sklar;S. Parsons

文献摘要

被引文献

相似文献

信任是一种管理自治实体及其存储信息的不确定性的机制,因此可以在任何分散系统中发挥重要作用。因此,信任在多智能体系统和语义网等相关领域得到了广泛的研究。在这里,我们介绍了一个正式的论证系统,可用于使用有关信任的信息进行推理。该系统被描述为一组图,这使得有可能联合收割机结合我们的方法与传统的个人之间的信任表示,其中个人之间的关系是以图形的形式给出。由此产生的系统可以很容易地将一个论点的理由与提供信息的代理人联系起来,并且可以用作计算考虑信任的邓氏可接受性概念的基础。我们探讨这些论证图的一些属性,检查计算的信任和信念的图,并说明了系统的能力,从信任文献的一个例子。
Trust is a mechanism for managing the uncertainty about autonomous entities and the information they store, and so can play an important role in any decentralized system. As a result, trust has been widely studied in multi-agent systems and related fields such as the semantic web. Here, we introduce a formal system of argumentation that can be used to reason using information about trust. This system is described as a set of graphs, which makes it possible to combine our approach with conventional representations of trust between individuals where the relationships between individuals are given in the form of a graph. The resulting system can easily relate the grounds of an argument to the agent that supplied the information, and can be used as the basis to compute Dungian notions of acceptability that take trust into account. We explore some of the properties of these argumentation graphs, examine the computation of trust and belief in the graphs and illustrate the capabilities of the system on an example from the trust literature.