On Formal Modeling of Agent Computations View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2001-10-26

AUTHORS

Tadashi Araragi , Paul Attie , Idit Keidar , Kiyoshi Kogure , Victor Luchangco , Nancy Lynch , Ken Mano

ABSTRACT

This paper describes a comparative study of three formal methods for modeling and validating agent systems. The study is part of a joint project by researchers in MIT’s Theory of Distributed Systems research group and NTT’s Cooperative Computing research group. Our goal is to establish a mathematical and linguistic foundation for describing and reasoning about agent-style systems. More... »

PAGES

48-62

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-45484-5_4

DOI

http://dx.doi.org/10.1007/3-540-45484-5_4

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Araragi", 
        "givenName": "Tadashi", 
        "id": "sg:person.015133134701.69", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015133134701.69"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "College of Computer Science, Northeastern University, Cullinane Hall, 360 Huntington Avenue, 02115, Boston, Massachusetts", 
          "id": "http://www.grid.ac/institutes/grid.261112.7", 
          "name": [
            "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA", 
            "College of Computer Science, Northeastern University, Cullinane Hall, 360 Huntington Avenue, 02115, Boston, Massachusetts"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Attie", 
        "givenName": "Paul", 
        "id": "sg:person.01266676404.33", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01266676404.33"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA", 
          "id": "http://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Keidar", 
        "givenName": "Idit", 
        "id": "sg:person.07674464077.03", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07674464077.03"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kogure", 
        "givenName": "Kiyoshi", 
        "id": "sg:person.011614216703.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011614216703.63"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA", 
          "id": "http://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Luchangco", 
        "givenName": "Victor", 
        "id": "sg:person.013073716111.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013073716111.17"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA", 
          "id": "http://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lynch", 
        "givenName": "Nancy", 
        "id": "sg:person.016211762423.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016211762423.01"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mano", 
        "givenName": "Ken", 
        "type": "Person"
      }
    ], 
    "datePublished": "2001-10-26", 
    "datePublishedReg": "2001-10-26", 
    "description": "This paper describes a comparative study of three formal methods for modeling and validating agent systems. The study is part of a joint project by researchers in MIT\u2019s Theory of Distributed Systems research group and NTT\u2019s Cooperative Computing research group. Our goal is to establish a mathematical and linguistic foundation for describing and reasoning about agent-style systems.", 
    "editor": [
      {
        "familyName": "Rash", 
        "givenName": "James L.", 
        "type": "Person"
      }, 
      {
        "familyName": "Truszkowski", 
        "givenName": "Walt", 
        "type": "Person"
      }, 
      {
        "familyName": "Hinchey", 
        "givenName": "Michael G.", 
        "type": "Person"
      }, 
      {
        "familyName": "Rouff", 
        "givenName": "Christopher A.", 
        "type": "Person"
      }, 
      {
        "familyName": "Gordon", 
        "givenName": "Diana", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-45484-5_4", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-42716-2", 
        "978-3-540-45484-7"
      ], 
      "name": "Formal Approaches to Agent-Based Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "agent computation", 
      "agent system", 
      "formal methods", 
      "formal modeling", 
      "research groups", 
      "linguistic foundations", 
      "joint project", 
      "computation", 
      "modeling", 
      "system", 
      "project", 
      "researchers", 
      "goal", 
      "foundation", 
      "method", 
      "comparative study", 
      "theory", 
      "part", 
      "study", 
      "group", 
      "paper", 
      "MIT\u2019s Theory", 
      "Distributed Systems research group", 
      "Systems research group", 
      "NTT\u2019s Cooperative Computing research group", 
      "\u2019s Cooperative Computing research group", 
      "Computing research group", 
      "agent-style systems"
    ], 
    "name": "On Formal Modeling of Agent Computations", 
    "pagination": "48-62", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1034929099"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-45484-5_4"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-45484-5_4", 
      "https://app.dimensions.ai/details/publication/pub.1034929099"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:26", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_60.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-45484-5_4"
  }
]
 

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/3-540-45484-5_4'

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/3-540-45484-5_4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45484-5_4'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-45484-5_4'


 

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

160 TRIPLES      23 PREDICATES      54 URIs      46 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-45484-5_4 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:0803
4 schema:author Naeb25e273b3c482c8f64b0e08aba95df
5 schema:datePublished 2001-10-26
6 schema:datePublishedReg 2001-10-26
7 schema:description This paper describes a comparative study of three formal methods for modeling and validating agent systems. The study is part of a joint project by researchers in MIT’s Theory of Distributed Systems research group and NTT’s Cooperative Computing research group. Our goal is to establish a mathematical and linguistic foundation for describing and reasoning about agent-style systems.
8 schema:editor N98397766129045e1850921b0999bcf85
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree false
12 schema:isPartOf N3a939642f3c94d02b15378d72f615b41
13 schema:keywords Computing research group
14 Distributed Systems research group
15 MIT’s Theory
16 NTT’s Cooperative Computing research group
17 Systems research group
18 agent computation
19 agent system
20 agent-style systems
21 comparative study
22 computation
23 formal methods
24 formal modeling
25 foundation
26 goal
27 group
28 joint project
29 linguistic foundations
30 method
31 modeling
32 paper
33 part
34 project
35 research groups
36 researchers
37 study
38 system
39 theory
40 ’s Cooperative Computing research group
41 schema:name On Formal Modeling of Agent Computations
42 schema:pagination 48-62
43 schema:productId N2be845d895744e89b6e5174e2ac5f4b9
44 Nefee06cc19554730b14c441dfb993a82
45 schema:publisher Nb49fd573ab9c44419c77419b7e01c169
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034929099
47 https://doi.org/10.1007/3-540-45484-5_4
48 schema:sdDatePublished 2022-01-01T19:26
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher N2fae236939b944f3bcc5393646f8ae3a
51 schema:url https://doi.org/10.1007/3-540-45484-5_4
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N1033b240c35c4edf9c871343b051f512 schema:familyName Rouff
56 schema:givenName Christopher A.
57 rdf:type schema:Person
58 N16fa82de39f246a8bd9f85f199d97671 rdf:first sg:person.013073716111.17
59 rdf:rest N3a7f4586261344a59c4aefd4049f2e56
60 N2be845d895744e89b6e5174e2ac5f4b9 schema:name doi
61 schema:value 10.1007/3-540-45484-5_4
62 rdf:type schema:PropertyValue
63 N2fae236939b944f3bcc5393646f8ae3a schema:name Springer Nature - SN SciGraph project
64 rdf:type schema:Organization
65 N3a7f4586261344a59c4aefd4049f2e56 rdf:first sg:person.016211762423.01
66 rdf:rest Nb6fac54e4e2c404dacfb56edd9c3462b
67 N3a939642f3c94d02b15378d72f615b41 schema:isbn 978-3-540-42716-2
68 978-3-540-45484-7
69 schema:name Formal Approaches to Agent-Based Systems
70 rdf:type schema:Book
71 N44a12126e65040f7a112f2a07ab35e87 rdf:first N6df41224d9584714b3cef218fe90924d
72 rdf:rest Ne27536c166ba47d9a72d2a6936cc0bb6
73 N4a2590566c364104a836988a0f2e2af9 rdf:first sg:person.011614216703.63
74 rdf:rest N16fa82de39f246a8bd9f85f199d97671
75 N4c10cb2c2a3b472d9ef741d734b30ea2 rdf:first sg:person.01266676404.33
76 rdf:rest Ncb483aa17f1a4ea68a5516f2d00341e9
77 N538af8991c724601925b077e4daf3f10 schema:familyName Gordon
78 schema:givenName Diana
79 rdf:type schema:Person
80 N6b49bd43a8d64a36aa11dbc7f5068a1b schema:familyName Hinchey
81 schema:givenName Michael G.
82 rdf:type schema:Person
83 N6df41224d9584714b3cef218fe90924d schema:familyName Truszkowski
84 schema:givenName Walt
85 rdf:type schema:Person
86 N8d599aaa036e4504a3369673a4769f90 rdf:first N538af8991c724601925b077e4daf3f10
87 rdf:rest rdf:nil
88 N9673435c14c54710aaf44df41dc55726 schema:familyName Rash
89 schema:givenName James L.
90 rdf:type schema:Person
91 N98397766129045e1850921b0999bcf85 rdf:first N9673435c14c54710aaf44df41dc55726
92 rdf:rest N44a12126e65040f7a112f2a07ab35e87
93 Naeb25e273b3c482c8f64b0e08aba95df rdf:first sg:person.015133134701.69
94 rdf:rest N4c10cb2c2a3b472d9ef741d734b30ea2
95 Nb49fd573ab9c44419c77419b7e01c169 schema:name Springer Nature
96 rdf:type schema:Organisation
97 Nb6fac54e4e2c404dacfb56edd9c3462b rdf:first Nbbd3cda0d5a2466cbe659c2687b9ef0e
98 rdf:rest rdf:nil
99 Nbb34f5999d634df8b3a0376170c2c253 rdf:first N1033b240c35c4edf9c871343b051f512
100 rdf:rest N8d599aaa036e4504a3369673a4769f90
101 Nbbd3cda0d5a2466cbe659c2687b9ef0e schema:affiliation grid-institutes:None
102 schema:familyName Mano
103 schema:givenName Ken
104 rdf:type schema:Person
105 Ncb483aa17f1a4ea68a5516f2d00341e9 rdf:first sg:person.07674464077.03
106 rdf:rest N4a2590566c364104a836988a0f2e2af9
107 Ne27536c166ba47d9a72d2a6936cc0bb6 rdf:first N6b49bd43a8d64a36aa11dbc7f5068a1b
108 rdf:rest Nbb34f5999d634df8b3a0376170c2c253
109 Nefee06cc19554730b14c441dfb993a82 schema:name dimensions_id
110 schema:value pub.1034929099
111 rdf:type schema:PropertyValue
112 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
113 schema:name Information and Computing Sciences
114 rdf:type schema:DefinedTerm
115 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
116 schema:name Computation Theory and Mathematics
117 rdf:type schema:DefinedTerm
118 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
119 schema:name Computer Software
120 rdf:type schema:DefinedTerm
121 sg:person.011614216703.63 schema:affiliation grid-institutes:None
122 schema:familyName Kogure
123 schema:givenName Kiyoshi
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011614216703.63
125 rdf:type schema:Person
126 sg:person.01266676404.33 schema:affiliation grid-institutes:grid.261112.7
127 schema:familyName Attie
128 schema:givenName Paul
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01266676404.33
130 rdf:type schema:Person
131 sg:person.013073716111.17 schema:affiliation grid-institutes:grid.116068.8
132 schema:familyName Luchangco
133 schema:givenName Victor
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013073716111.17
135 rdf:type schema:Person
136 sg:person.015133134701.69 schema:affiliation grid-institutes:None
137 schema:familyName Araragi
138 schema:givenName Tadashi
139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015133134701.69
140 rdf:type schema:Person
141 sg:person.016211762423.01 schema:affiliation grid-institutes:grid.116068.8
142 schema:familyName Lynch
143 schema:givenName Nancy
144 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016211762423.01
145 rdf:type schema:Person
146 sg:person.07674464077.03 schema:affiliation grid-institutes:grid.116068.8
147 schema:familyName Keidar
148 schema:givenName Idit
149 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07674464077.03
150 rdf:type schema:Person
151 grid-institutes:None schema:alternateName NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan
152 schema:name NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, 619-0237, Kyoto, Japan
153 rdf:type schema:Organization
154 grid-institutes:grid.116068.8 schema:alternateName MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA
155 schema:name MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA
156 rdf:type schema:Organization
157 grid-institutes:grid.261112.7 schema:alternateName College of Computer Science, Northeastern University, Cullinane Hall, 360 Huntington Avenue, 02115, Boston, Massachusetts
158 schema:name College of Computer Science, Northeastern University, Cullinane Hall, 360 Huntington Avenue, 02115, Boston, Massachusetts
159 MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, MA, USA
160 rdf:type schema:Organization
 




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


...