Conference item icon

Conference item

Reasoning about cognitive trust in stochastic multiagent systems

Abstract:

We consider the setting of stochastic multiagent systems and formulate an automated verification framework for quantifying and reasoning about agents’ trust. To capture human trust, we work with a cognitive notion of trust defined as a subjective evaluation that agent A makes about agent B’s ability to complete a task, which in turn may lead to a decision by A to rely on B. We propose a probabilistic rational temporal logic PRTL*, which extends the logic PCTL* with reasoning about mental atti...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:

Authors


More by this author
Department:
Trinity College
Role:
Author
More by this author
Department:
Oxford, MPLS, Computer Science
Role:
Author
Publisher:
Association for the Advancement of Artificial Intelligence. Publisher's website
Publication date:
2017-02-05
Acceptance date:
2016-12-10
Pubs id:
pubs:664977
URN:
uri:6cb83562-1e26-4375-8da1-ce0a63487895
UUID:
uuid:6cb83562-1e26-4375-8da1-ce0a63487895
Local pid:
pubs:664977

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP