Cognitive Reasoning and Trust in Human-Robot Interactions View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2017-03-21

AUTHORS

Marta Kwiatkowska

ABSTRACT

We are witnessing accelerating technological advances in autonomous systems, of which driverless cars and home-assistive robots are prominent examples. As mobile autonomy becomes embedded in our society, we increasingly often depend on decisions made by mobile autonomous robots and interact with them socially. Key questions that need to be asked are how to ensure safety and trust in such interactions. How do we know when to trust a robot? How much should we trust? And how much should the robots trust us? This paper will give an overview of a probabilistic logic for expressing trust between human or robotic agents such as “agent A has 99% trust in agent B’s ability or willingness to perform a task” and the role it can play in explaining trust-based decisions and agent’s dependence on one another. The logic is founded on a probabilistic notion of belief, supports cognitive reasoning about goals and intentions, and admits quantitative verification via model checking, which can be used to evaluate trust in human-robot interactions. The paper concludes by summarising future challenges for modelling and verification in this important field. More... »

PAGES

3-11

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-55911-7_1

DOI

http://dx.doi.org/10.1007/978-3-319-55911-7_1

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1085574541


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1702", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Cognitive Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kwiatkowska", 
        "givenName": "Marta", 
        "id": "sg:person.011375012273.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2017-03-21", 
    "datePublishedReg": "2017-03-21", 
    "description": "We are witnessing accelerating technological advances in autonomous systems, of which driverless cars and home-assistive robots are prominent examples. As mobile autonomy becomes embedded in our society, we increasingly often depend on decisions made by mobile autonomous robots and interact with them socially. Key questions that need to be asked are how to ensure safety and trust in such interactions. How do we know when to trust a robot? How much should we trust? And how much should the robots trust us? This paper will give an overview of a probabilistic logic for expressing trust between human or robotic agents such as \u201cagent A has 99% trust in agent B\u2019s ability or willingness to perform a task\u201d and the role it can play in explaining trust-based decisions and agent\u2019s dependence on one another. The logic is founded on a probabilistic notion of belief, supports cognitive reasoning about goals and intentions, and admits quantitative verification via model checking, which can be used to evaluate trust in human-robot interactions. The paper concludes by summarising future challenges for modelling and verification in this important field.", 
    "editor": [
      {
        "familyName": "Gopal", 
        "givenName": "T.V.", 
        "type": "Person"
      }, 
      {
        "familyName": "J\u00e4ger", 
        "givenName": "Gerhard", 
        "type": "Person"
      }, 
      {
        "familyName": "Steila", 
        "givenName": "Silvia", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-55911-7_1", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-319-55910-0", 
        "978-3-319-55911-7"
      ], 
      "name": "Theory and Applications of Models of Computation", 
      "type": "Book"
    }, 
    "keywords": [
      "human-robot interaction", 
      "trust-based decisions", 
      "mobile autonomous robots", 
      "autonomous robots", 
      "robotic agents", 
      "model checking", 
      "mobile autonomy", 
      "cognitive reasoning", 
      "autonomous systems", 
      "driverless cars", 
      "robot", 
      "probabilistic logic", 
      "agent B", 
      "agent A", 
      "probabilistic notions", 
      "quantitative verification", 
      "verification", 
      "important field", 
      "reasoning", 
      "logic", 
      "trust", 
      "agent dependence", 
      "checking", 
      "prominent example", 
      "technological advances", 
      "task", 
      "decisions", 
      "future challenges", 
      "car", 
      "system", 
      "challenges", 
      "goal", 
      "modelling", 
      "example", 
      "overview", 
      "such interactions", 
      "notion", 
      "autonomy", 
      "advances", 
      "beliefs", 
      "intention", 
      "key questions", 
      "interaction", 
      "willingness", 
      "field", 
      "ability", 
      "safety", 
      "questions", 
      "agents", 
      "role", 
      "society", 
      "paper", 
      "dependence", 
      "home-assistive robots"
    ], 
    "name": "Cognitive Reasoning and Trust in Human-Robot Interactions", 
    "pagination": "3-11", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1085574541"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-55911-7_1"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-55911-7_1", 
      "https://app.dimensions.ai/details/publication/pub.1085574541"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:09", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_41.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-55911-7_1"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-55911-7_1'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-55911-7_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-55911-7_1'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-55911-7_1'


 

This table displays all metadata directly associated to this object as RDF triples.

132 TRIPLES      23 PREDICATES      81 URIs      72 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-55911-7_1 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:17
4 anzsrc-for:1702
5 schema:author N9f044e1f7c834a3588a344cce004c103
6 schema:datePublished 2017-03-21
7 schema:datePublishedReg 2017-03-21
8 schema:description We are witnessing accelerating technological advances in autonomous systems, of which driverless cars and home-assistive robots are prominent examples. As mobile autonomy becomes embedded in our society, we increasingly often depend on decisions made by mobile autonomous robots and interact with them socially. Key questions that need to be asked are how to ensure safety and trust in such interactions. How do we know when to trust a robot? How much should we trust? And how much should the robots trust us? This paper will give an overview of a probabilistic logic for expressing trust between human or robotic agents such as “agent A has 99% trust in agent B’s ability or willingness to perform a task” and the role it can play in explaining trust-based decisions and agent’s dependence on one another. The logic is founded on a probabilistic notion of belief, supports cognitive reasoning about goals and intentions, and admits quantitative verification via model checking, which can be used to evaluate trust in human-robot interactions. The paper concludes by summarising future challenges for modelling and verification in this important field.
9 schema:editor N56a7c7ba64f547e7bdcad8fd88a9f31d
10 schema:genre chapter
11 schema:inLanguage en
12 schema:isAccessibleForFree true
13 schema:isPartOf Nf8e1de2576c64ca7b8f614ce5a4c3068
14 schema:keywords ability
15 advances
16 agent A
17 agent B
18 agent dependence
19 agents
20 autonomous robots
21 autonomous systems
22 autonomy
23 beliefs
24 car
25 challenges
26 checking
27 cognitive reasoning
28 decisions
29 dependence
30 driverless cars
31 example
32 field
33 future challenges
34 goal
35 home-assistive robots
36 human-robot interaction
37 important field
38 intention
39 interaction
40 key questions
41 logic
42 mobile autonomous robots
43 mobile autonomy
44 model checking
45 modelling
46 notion
47 overview
48 paper
49 probabilistic logic
50 probabilistic notions
51 prominent example
52 quantitative verification
53 questions
54 reasoning
55 robot
56 robotic agents
57 role
58 safety
59 society
60 such interactions
61 system
62 task
63 technological advances
64 trust
65 trust-based decisions
66 verification
67 willingness
68 schema:name Cognitive Reasoning and Trust in Human-Robot Interactions
69 schema:pagination 3-11
70 schema:productId N19c069cef5d24285a2ee99aa6bb8ad8e
71 Ne7ef931827214e39832eeab530eeea05
72 schema:publisher N6583a2337cb84c479cc69f49182e5590
73 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085574541
74 https://doi.org/10.1007/978-3-319-55911-7_1
75 schema:sdDatePublished 2021-12-01T20:09
76 schema:sdLicense https://scigraph.springernature.com/explorer/license/
77 schema:sdPublisher Ndf3b28c19db7404791f29a5bec192286
78 schema:url https://doi.org/10.1007/978-3-319-55911-7_1
79 sgo:license sg:explorer/license/
80 sgo:sdDataset chapters
81 rdf:type schema:Chapter
82 N0aaef97c081d4706820a0dac82657aba schema:familyName Gopal
83 schema:givenName T.V.
84 rdf:type schema:Person
85 N19c069cef5d24285a2ee99aa6bb8ad8e schema:name dimensions_id
86 schema:value pub.1085574541
87 rdf:type schema:PropertyValue
88 N52a0dfadbb664f2982e34cdf6231496a rdf:first N6c45dd9c41c641018581b52474542e93
89 rdf:rest Nd67a8ac77aed4ea182a1f6fe3edbc4a6
90 N56a7c7ba64f547e7bdcad8fd88a9f31d rdf:first N0aaef97c081d4706820a0dac82657aba
91 rdf:rest N52a0dfadbb664f2982e34cdf6231496a
92 N6583a2337cb84c479cc69f49182e5590 schema:name Springer Nature
93 rdf:type schema:Organisation
94 N6c45dd9c41c641018581b52474542e93 schema:familyName Jäger
95 schema:givenName Gerhard
96 rdf:type schema:Person
97 N9f044e1f7c834a3588a344cce004c103 rdf:first sg:person.011375012273.39
98 rdf:rest rdf:nil
99 Nd67a8ac77aed4ea182a1f6fe3edbc4a6 rdf:first Ne72832b3ff99435088848e490e8a9491
100 rdf:rest rdf:nil
101 Ndf3b28c19db7404791f29a5bec192286 schema:name Springer Nature - SN SciGraph project
102 rdf:type schema:Organization
103 Ne72832b3ff99435088848e490e8a9491 schema:familyName Steila
104 schema:givenName Silvia
105 rdf:type schema:Person
106 Ne7ef931827214e39832eeab530eeea05 schema:name doi
107 schema:value 10.1007/978-3-319-55911-7_1
108 rdf:type schema:PropertyValue
109 Nf8e1de2576c64ca7b8f614ce5a4c3068 schema:isbn 978-3-319-55910-0
110 978-3-319-55911-7
111 schema:name Theory and Applications of Models of Computation
112 rdf:type schema:Book
113 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
114 schema:name Information and Computing Sciences
115 rdf:type schema:DefinedTerm
116 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
117 schema:name Artificial Intelligence and Image Processing
118 rdf:type schema:DefinedTerm
119 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
120 schema:name Psychology and Cognitive Sciences
121 rdf:type schema:DefinedTerm
122 anzsrc-for:1702 schema:inDefinedTermSet anzsrc-for:
123 schema:name Cognitive Sciences
124 rdf:type schema:DefinedTerm
125 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
126 schema:familyName Kwiatkowska
127 schema:givenName Marta
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
129 rdf:type schema:Person
130 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Oxford, UK
131 schema:name Department of Computer Science, University of Oxford, Oxford, UK
132 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...