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

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Trinity College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
Engineering and Physical Sciences Research Council
Grant:
EP/M019918/1
More from this funder
Name:
European Research Council
Grant:
VERIWARE
Publisher:
Association for the Advancement of Artificial Intelligence.
Host title:
31st AAAI Conference on Artificial Intelligence
Journal:
AAAI Conference on Artificial Intelligence More from this journal
Publication date:
2017-02-01
Acceptance date:
2016-12-10
Pubs id:
pubs:664977
UUID:
uuid:6cb83562-1e26-4375-8da1-ce0a63487895
Local pid:
pubs:664977
Source identifiers:
664977
Deposit date:
2016-12-12

Terms of use


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