A Formal Semantics for the Cognitive Architecture ACT-R View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

Daniel Gall , Thom Frühwirth

ABSTRACT

The cognitive architecture ACT-R is very popular in cognitive sciences. It merges well-investigated results of psychology to a unified model of cognition. This enables researchers to implement and execute domain-specific cognitive models. ACT-R is implemented as a production rule system. Although its underlying psychological theory has been investigated in many psychological experiments, ACT-R lacks a formal definition from a mathematical-computational point of view. In this paper, we present a formalization of ACT-R’s fundamental concepts including an operational semantics of the core features of its production rule system. The semantics abstracts from technical artifacts of the implementation. Due to its abstract formulation, the semantics is eligible for analysis. To the best of our knowledge, this operational semantics is the first of its kind. Furthermore, we show a formal translation of ACT-R production rules to Constraint Handling Rules (CHR) and prove soundness and completeness of the translation mechanism according to our operational semantics. More... »

PAGES

74-91

References to SciGraph publications

  • 1999-06-11. On Completion of Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP98
  • 2007. Observable Confluence for Constraint Handling Rules in LOGIC PROGRAMMING
  • 2003. Essentials of Constraint Programming in NONE
  • Book

    TITLE

    Logic-Based Program Synthesis and Transformation

    ISBN

    978-3-319-17821-9
    978-3-319-17822-6

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_5

    DOI

    http://dx.doi.org/10.1007/978-3-319-17822-6_5

    DIMENSIONS

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


    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/1701", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Psychology", 
            "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"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Ulm", 
              "id": "https://www.grid.ac/institutes/grid.6582.9", 
              "name": [
                "Institute of Software Engineering and Compiler Construction, University of Ulm, 89069\u00a0Ulm, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gall", 
            "givenName": "Daniel", 
            "id": "sg:person.07626501547.47", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07626501547.47"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Ulm", 
              "id": "https://www.grid.ac/institutes/grid.6582.9", 
              "name": [
                "Institute of Software Engineering and Compiler Construction, University of Ulm, 89069\u00a0Ulm, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fr\u00fchwirth", 
            "givenName": "Thom", 
            "id": "sg:person.013750414271.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/508791.508793", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000215360"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1037/0033-295x.111.4.1036", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002290840"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1023426236", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-05138-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023426236", 
              "https://doi.org/10.1007/978-3-662-05138-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-05138-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023426236", 
              "https://doi.org/10.1007/978-3-662-05138-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74610-2_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034537363", 
              "https://doi.org/10.1007/978-3-540-74610-2_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74610-2_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034537363", 
              "https://doi.org/10.1007/978-3-540-74610-2_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-49481-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053677545", 
              "https://doi.org/10.1007/3-540-49481-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-49481-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053677545", 
              "https://doi.org/10.1007/3-540-49481-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s1471068414000180", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053975634"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/acprof:oso/9780195324259.001.0001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098726432"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "The cognitive architecture ACT-R is very popular in cognitive sciences. It merges well-investigated results of psychology to a unified model of cognition. This enables researchers to implement and execute domain-specific cognitive models. ACT-R is implemented as a production rule system. Although its underlying psychological theory has been investigated in many psychological experiments, ACT-R lacks a formal definition from a mathematical-computational point of view. In this paper, we present a formalization of ACT-R\u2019s fundamental concepts including an operational semantics of the core features of its production rule system. The semantics abstracts from technical artifacts of the implementation. Due to its abstract formulation, the semantics is eligible for analysis. To the best of our knowledge, this operational semantics is the first of its kind. Furthermore, we show a formal translation of ACT-R production rules to Constraint Handling Rules (CHR) and prove soundness and completeness of the translation mechanism according to our operational semantics.", 
        "editor": [
          {
            "familyName": "Proietti", 
            "givenName": "Maurizio", 
            "type": "Person"
          }, 
          {
            "familyName": "Seki", 
            "givenName": "Hirohisa", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-17822-6_5", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-17821-9", 
            "978-3-319-17822-6"
          ], 
          "name": "Logic-Based Program Synthesis and Transformation", 
          "type": "Book"
        }, 
        "name": "A Formal Semantics for the Cognitive Architecture ACT-R", 
        "pagination": "74-91", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-17822-6_5"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "af605aaef0affa848a39ca950e96f6ca62608a9255f63ca3258fc1b8c3037f57"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1036815692"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-17822-6_5", 
          "https://app.dimensions.ai/details/publication/pub.1036815692"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T22:57", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8695_00000266.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-17822-6_5"
      }
    ]
     

    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-17822-6_5'

    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-17822-6_5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_5'

    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-17822-6_5'


     

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

    103 TRIPLES      23 PREDICATES      35 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-17822-6_5 schema:about anzsrc-for:17
    2 anzsrc-for:1701
    3 schema:author N705fe5a0f2e343e69d02088b9daf788b
    4 schema:citation sg:pub.10.1007/3-540-49481-2_4
    5 sg:pub.10.1007/978-3-540-74610-2_16
    6 sg:pub.10.1007/978-3-662-05138-2
    7 https://app.dimensions.ai/details/publication/pub.1023426236
    8 https://doi.org/10.1017/s1471068414000180
    9 https://doi.org/10.1037/0033-295x.111.4.1036
    10 https://doi.org/10.1093/acprof:oso/9780195324259.001.0001
    11 https://doi.org/10.1145/508791.508793
    12 schema:datePublished 2015
    13 schema:datePublishedReg 2015-01-01
    14 schema:description The cognitive architecture ACT-R is very popular in cognitive sciences. It merges well-investigated results of psychology to a unified model of cognition. This enables researchers to implement and execute domain-specific cognitive models. ACT-R is implemented as a production rule system. Although its underlying psychological theory has been investigated in many psychological experiments, ACT-R lacks a formal definition from a mathematical-computational point of view. In this paper, we present a formalization of ACT-R’s fundamental concepts including an operational semantics of the core features of its production rule system. The semantics abstracts from technical artifacts of the implementation. Due to its abstract formulation, the semantics is eligible for analysis. To the best of our knowledge, this operational semantics is the first of its kind. Furthermore, we show a formal translation of ACT-R production rules to Constraint Handling Rules (CHR) and prove soundness and completeness of the translation mechanism according to our operational semantics.
    15 schema:editor Nc3f29cc21d234852a0109ac122838c3f
    16 schema:genre chapter
    17 schema:inLanguage en
    18 schema:isAccessibleForFree false
    19 schema:isPartOf Nc5106c97269a4236bbc7a4093f9a9a9f
    20 schema:name A Formal Semantics for the Cognitive Architecture ACT-R
    21 schema:pagination 74-91
    22 schema:productId N6b2e3b5a958a43e89a5d73cb4074ee81
    23 Nd64c8918e3b345fa8123484c47bccb9b
    24 Ne9128e2b2c1e48d58602f1abd1ccb035
    25 schema:publisher N21ba7b54b6714bec8ba079ae81799165
    26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036815692
    27 https://doi.org/10.1007/978-3-319-17822-6_5
    28 schema:sdDatePublished 2019-04-15T22:57
    29 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    30 schema:sdPublisher Nfb453ad48185461eb9394937df436900
    31 schema:url http://link.springer.com/10.1007/978-3-319-17822-6_5
    32 sgo:license sg:explorer/license/
    33 sgo:sdDataset chapters
    34 rdf:type schema:Chapter
    35 N21ba7b54b6714bec8ba079ae81799165 schema:location Cham
    36 schema:name Springer International Publishing
    37 rdf:type schema:Organisation
    38 N4a6c426e3ba74805bada693a2c13258f schema:familyName Proietti
    39 schema:givenName Maurizio
    40 rdf:type schema:Person
    41 N5e302df700404a1e92da9066ad73cc5b rdf:first sg:person.013750414271.15
    42 rdf:rest rdf:nil
    43 N6b2e3b5a958a43e89a5d73cb4074ee81 schema:name dimensions_id
    44 schema:value pub.1036815692
    45 rdf:type schema:PropertyValue
    46 N705fe5a0f2e343e69d02088b9daf788b rdf:first sg:person.07626501547.47
    47 rdf:rest N5e302df700404a1e92da9066ad73cc5b
    48 N9a55a54881ea4e3a8f07c83be4f4d188 rdf:first N9e0f621ca89549d4b66cc5294e086a4d
    49 rdf:rest rdf:nil
    50 N9e0f621ca89549d4b66cc5294e086a4d schema:familyName Seki
    51 schema:givenName Hirohisa
    52 rdf:type schema:Person
    53 Nc3f29cc21d234852a0109ac122838c3f rdf:first N4a6c426e3ba74805bada693a2c13258f
    54 rdf:rest N9a55a54881ea4e3a8f07c83be4f4d188
    55 Nc5106c97269a4236bbc7a4093f9a9a9f schema:isbn 978-3-319-17821-9
    56 978-3-319-17822-6
    57 schema:name Logic-Based Program Synthesis and Transformation
    58 rdf:type schema:Book
    59 Nd64c8918e3b345fa8123484c47bccb9b schema:name readcube_id
    60 schema:value af605aaef0affa848a39ca950e96f6ca62608a9255f63ca3258fc1b8c3037f57
    61 rdf:type schema:PropertyValue
    62 Ne9128e2b2c1e48d58602f1abd1ccb035 schema:name doi
    63 schema:value 10.1007/978-3-319-17822-6_5
    64 rdf:type schema:PropertyValue
    65 Nfb453ad48185461eb9394937df436900 schema:name Springer Nature - SN SciGraph project
    66 rdf:type schema:Organization
    67 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
    68 schema:name Psychology and Cognitive Sciences
    69 rdf:type schema:DefinedTerm
    70 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
    71 schema:name Psychology
    72 rdf:type schema:DefinedTerm
    73 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
    74 schema:familyName Frühwirth
    75 schema:givenName Thom
    76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
    77 rdf:type schema:Person
    78 sg:person.07626501547.47 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
    79 schema:familyName Gall
    80 schema:givenName Daniel
    81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07626501547.47
    82 rdf:type schema:Person
    83 sg:pub.10.1007/3-540-49481-2_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053677545
    84 https://doi.org/10.1007/3-540-49481-2_4
    85 rdf:type schema:CreativeWork
    86 sg:pub.10.1007/978-3-540-74610-2_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034537363
    87 https://doi.org/10.1007/978-3-540-74610-2_16
    88 rdf:type schema:CreativeWork
    89 sg:pub.10.1007/978-3-662-05138-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023426236
    90 https://doi.org/10.1007/978-3-662-05138-2
    91 rdf:type schema:CreativeWork
    92 https://app.dimensions.ai/details/publication/pub.1023426236 schema:CreativeWork
    93 https://doi.org/10.1017/s1471068414000180 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053975634
    94 rdf:type schema:CreativeWork
    95 https://doi.org/10.1037/0033-295x.111.4.1036 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002290840
    96 rdf:type schema:CreativeWork
    97 https://doi.org/10.1093/acprof:oso/9780195324259.001.0001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098726432
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1145/508791.508793 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000215360
    100 rdf:type schema:CreativeWork
    101 https://www.grid.ac/institutes/grid.6582.9 schema:alternateName University of Ulm
    102 schema:name Institute of Software Engineering and Compiler Construction, University of Ulm, 89069 Ulm, Germany
    103 rdf:type schema:Organization
     




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


    ...