Modelling social agents: Communication as action

Dignum, Frank; Linder, Bernd van

doi:10.1007/bfb0013587

Cited by 38 publications

(14 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There exist a number of attempts to formalise the concept of trust in MAS ( [8], [14], [15]). According to some of these approaches, the formal specification of trust models should include, among other things, decisions such as the use and formation of a trust evolution or update function as well as the properties that should hold for that function [15].…”

Section: Current and Future Workmentioning

confidence: 99%

See 1 more Smart Citation

Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents

Witkowski

Artikis

Pitt

2001

Trust in Cyber-Societies

View full text Add to dashboard Cite

Abstract. In this paper we develop a notion of "objective trust" for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experiential objective trust allows Agents to make decisions about how to select other Agents when a choice has to be made. We define a mechanism for such an "objective Trust-Based Agent" (oTB-Agent), and present experimental results in a simulated trading environment based on an Intelligent Networks (IN) scenario. The trust one Agent places in another is dynamic, updated on the basis of each experience. We use this to investigate three questions related to trust in Multi-Agent Systems (MAS), first how trust affects the formation of trading partnerships, second, whether trust developed over a period can equate to "loyalty" and third whether a less than scrupulous Agent can exploit the individual nature of trust to its advantage.

show abstract

Section: Current and Future Workmentioning

confidence: 99%

“…The trust relationship, in its broadest sense, has proved difficult to define [7], [8], [10], [15], [16], [17], [26]. We synthesise the following as a working definition, suited to the purposes of this paper.…”

Section: Introductionmentioning

confidence: 99%

Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents

Witkowski

Artikis

Pitt

2001

Trust in Cyber-Societies

View full text Add to dashboard Cite

show abstract

“…The promise is a (prototypical) element of a commissive, the direct is a directive and the testify is a special kind of assertive. For a more general and complete description one can consult [8,10]. The following axioms hold for speech acts:…”

Section: Definitionmentioning

confidence: 99%

“…These functions are quite complicated and are not explained further in this paper. We refer to [8] This concludes the description of the epistemic dynamic deontic temporal logic that is needed to represent the audit rules and trade procedures. …”

Section: Definitionmentioning

confidence: 99%

A Formal Analysis of Auditing Principles for Electronic Trade Procedures

Bons¹,

Dignum²,

Lee³

et al. 2000

International Journal of Electronic Commerce

Self Cite

View full text Add to dashboard Cite

One of the major issues involved in establishing new trading relationships is the lack of an a priori trust relationship between the parties. Without a solution of this trust problem it is virtually impossible to establish new trade relationships. This is an old and well-known problem in international trade. One way to create the necessary trust is by using trade procedures that involve exchanges of documents between the trading partners to verify that the counter party has fulfilled his part of the agreement. Up till now these documents were paper documents. In electronic commerce these paper documents are replaced by information exchanges. One crucial question, however, is whether these documents provide the same trustworthiness as the paper documents. For example, uniqueness of ownership documents is simple to guarantee in the case of a signed paper document. However, uniqueness of electronic messages is much harder to achieve. Electronic commerce can only become a success in international trade if the trustworthiness of electronic versions of trade procedures can be proven beyond reasonable doubt. We present the formal specification of the design principles for trustworthy trade procedures, building on the work on audit daemons [17,18] and their application in [3] on inter-organisational trade procedures. It appears that the basic principles of internal auditing within a company can be adapted for this auditing method. This auditing method has already been implemented in INTERPROCS, which is a Prolog-based tool for representation and analysis of procedures. In the formal specification given in this paper we give a more abstract specification of the auditing method, which gives a more structured semantics for the key concepts of the auditing method used in INTERPROCS. Our formal specification is based on a combination of deontic, dynamic and illocutionary modal logics.

show abstract

“…However, when one looks beyond the titles, there is little agreement on how the various members of Co-X differ. Formal analyses of teams and social behavior (e.g., [11,12,13,43]) helpfully refine concepts such as common knowledge, joint intentions, commitments, obligations, and social norms. These and related concepts certainly play a role in achieving the behavior that the Co-X vocabulary describes, but the usage of the Co-X terms themselves remains intuitive and sometimes inconsistent.…”

Section: Introductionmentioning

confidence: 99%

A preliminary taxonomy of multi-agent interactions

Parunak

Brueckner

Fleischer

et al. 2003

Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems

View full text Add to dashboard Cite

Discussions of agent interactions frequently characterize behavior as "coherent," "collaborative," "cooperative," "competitive," or "coordinated." We propose a series of formal distinctions among these terms and several others. We argue that all of these are specializations of the more foundational category of "correlation," which can be measured by the joint information of a system. We also propose "congruence" as a category orthogonal to the others, reflecting the degree to which correlation and its specializations satisfy user requirements. Then we explore the degree to which lack of correlation can arise purposefully, and show the need to use formal stochasticity in cases where such lack of correlation is truly necessary (such as in stochastic search).

show abstract

Modelling social agents: Communication as action

Cited by 38 publications

References 10 publications

Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents

Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents

A Formal Analysis of Auditing Principles for Electronic Trade Procedures

A preliminary taxonomy of multi-agent interactions

Contact Info

Product

Resources

About