Article

Formal Analysis of Models for the Dynamics of Trust Based on Experiences

Authors:

MAAMAW '99: Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering

Pages 221 - 231

Published: 30 June 1999 Publication History

Abstract

The aim of this paper is to analyse and formalise the dynamics of trust in the light of experiences. A formal framework is introduced for the analysis and specification of models for trust evolution and trust update. Different properties of these models are formally defined.

References

[1]

Castelfranchi, C, and Falcone, R., Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification. In: Demazeau, Y. (ed.). Proceedings of the Third International Conference on Multi-Agent Systems, IEEE Computer Society, Los Alamitos, 1998, pp. 72-79.

Crossref

Google Scholar

[2]

Castelfranchi, C, and Falcone, R., Social Tmst: Cognitive Anatomy, Social Importance, Quantification, and Dynamics. In: Proceedings of the First International Workshop on Trust, 1998, pp. 35-49.

Crossref

Google Scholar

[3]

Demolombe, R., To tmst information sources: a proposal for a modal logical framework. In: Proceedings of the First International Workshop on Trust, 1998, pp. 9-19.

Google Scholar

[4]

Elofson, G., Developing Tmst with Intelligent Agents: An Exploratory Study, In: Proceedings of the First International Workshop on Tmst, 1998, pp. 125-139.

Google Scholar

[5]

Gambetta, D., Tmst. Basil Blackwell, Oxford, 1990.

Google Scholar

[6]

Lewis, D., and Weigert, A., Social Atomism, Holism, and Tmst. In: Sociological Quarterly, 1985, pp. 455-471.

Google Scholar

[7]

Marsh, S., Tmst and Reliance in Multi-Agent Systems: a Preliminary Report. In: Proc. of the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'92, Rome, 1992.

Google Scholar

[8]

Marsh, S., Formalising Trast as a Computational Concept. Ph.D. Thesis. Department of Mathematics and Computer Science, University of Stirling, 1994

Google Scholar

[9]

Marsh, S., Tmst in Distributed Artificial Intelligence. In: C. Castelfranchi, E. Werner (eds.). Artificial Social Systems. Lecture Notes in AI, vol. 830, Springer Verlag, 1994, pp. 94-112

Crossref

Google Scholar

[10]

Ousterhout, J., Virtual Roundtable. In: Internet Computing on-line Journal, July-August issue, 1997.

Google Scholar

Cited By

View all

Elghomary KBouzidi DDaoudi N(2019)A Comparative Analysis of OSN and SIoT Trust Models for a trust model adapted to MOOCs platformsProceedings of the 2nd International Conference on Networking, Information Systems & Security10.1145/3320326.3320335(1-8)Online publication date: 27-Mar-2019
https://dl.acm.org/doi/10.1145/3320326.3320335
Aldini A(2018)Design and Verification of Trusted Collective Adaptive SystemsACM Transactions on Modeling and Computer Simulation10.1145/315533728:2(1-27)Online publication date: 22-Feb-2018
https://dl.acm.org/doi/10.1145/3155337
Akash KHu WJain NReid T(2018)A Classification Model for Sensing Human Trust in Machines Using EEG and GSRACM Transactions on Interactive Intelligent Systems10.1145/31327438:4(1-20)Online publication date: 16-Nov-2018
https://dl.acm.org/doi/10.1145/3132743
Show More Cited By

Recommendations

Experiences with analysis of formal specifications in Astral
RTCSA '97: Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications

An important issue in the design and implementation of real-time software is the verification of (temporal) properties. Our research of the past few years focused on requirements specification of real-time software and the use of tools in modeling and ...
Synthesizing structured analysis and object-based formal specifications

Structured Analysis (SA) is a widelyýused software development method. SA specifications are based on Data Flow Diagrams (DFD’s), Data Dictionaries (DD’s) and Process Specifications (PýSpecs). As used in practice, SA specifications are not formal. ...
Dynamics of Trust Revision: Using Health Infomediaries

This study explores the process by which trust evolves over time. There have been a number of studies underscoring the importance of trust in the online environment. However, most trust studies have concentrated on the initial trust, and there is little ...

Comments

Information & Contributors

Information

Published In

MAAMAW '99: Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering

June 1999

231 pages

ISBN:3540662812

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 June 1999

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

61
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Elghomary KBouzidi DDaoudi N(2019)A Comparative Analysis of OSN and SIoT Trust Models for a trust model adapted to MOOCs platformsProceedings of the 2nd International Conference on Networking, Information Systems & Security10.1145/3320326.3320335(1-8)Online publication date: 27-Mar-2019
https://dl.acm.org/doi/10.1145/3320326.3320335
Aldini A(2018)Design and Verification of Trusted Collective Adaptive SystemsACM Transactions on Modeling and Computer Simulation10.1145/315533728:2(1-27)Online publication date: 22-Feb-2018
https://dl.acm.org/doi/10.1145/3155337
Akash KHu WJain NReid T(2018)A Classification Model for Sensing Human Trust in Machines Using EEG and GSRACM Transactions on Interactive Intelligent Systems10.1145/31327438:4(1-20)Online publication date: 16-Nov-2018
https://dl.acm.org/doi/10.1145/3132743
Rathore HBadarla VShit S(2016)Consensus-Aware Sociopsychological Trust Model for Wireless Sensor NetworksACM Transactions on Sensor Networks10.1145/290372112:3(1-27)Online publication date: 26-Jul-2016
https://dl.acm.org/doi/10.1145/2903721
Rathore HBadarla VJ G(2016)Sociopsychological trust model for Wireless Sensor NetworksJournal of Network and Computer Applications10.1016/j.jnca.2015.09.00962:C(75-87)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1016/j.jnca.2015.09.009
Anders GSchiendorfer ASiefert FSteghöfer JReif W(2015)Cooperative Resource Allocation in Open Systems of SystemsACM Transactions on Autonomous and Adaptive Systems10.1145/270032310:2(1-44)Online publication date: 9-Jun-2015
https://dl.acm.org/doi/10.1145/2700323
Yu HShen ZMiao CAn BLeung C(2014)Filtering trust opinions through reinforcement learningDecision Support Systems10.1016/j.dss.2014.06.00666:C(102-113)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1016/j.dss.2014.06.006
Jaffry STreur J(2013)Agent-Based and population-based modeling of trust dynamicsTransactions on Computational Collective Intelligence IX10.5555/2554438.2554444(124-151)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554438.2554444
Falcone RPiunti MVenanzi MCastelfranchi C(2013)From manifesta to kryptaACM Transactions on Intelligent Systems and Technology10.1145/2438653.24386624:2(1-24)Online publication date: 3-Apr-2013
https://dl.acm.org/doi/10.1145/2438653.2438662
Urbano JRocha AOliveira E(2011)A situation-aware computational trust model for selecting partnersTransactions on computational collective intelligence V10.5555/2043093.2043098(84-105)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.5555/2043093.2043098
Show More Cited By

Abstract

References

Cited By

Recommendations

Experiences with analysis of formal specifications in Astral

Synthesizing structured analysis and object-based formal specifications

Dynamics of Trust Revision: Using Health Infomediaries

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations