Translation of Cognitive Models from ACT-R to Constraint Handling Rules View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016

AUTHORS

Daniel Gall , Thom Frühwirth

ABSTRACT

Cognitive architectures are used to abstract and simplify the process of computational cognitive modeling. The popular cognitive architecture ACT-R has a well-defined psychological theory, but lacks a formalization of its computational system. This inhibits computational analysis of cognitive models, e.g. confluence or complexity analysis. In this paper we present a source to source transformation of ACT-R models to Constraint Handling Rules (CHR) programs enabling the use of analysis tools for CHR to analyze computational cognitive models. This translation is the first that matches the current abstract operational semantics of ACT-R. More... »

PAGES

223-237

References to SciGraph publications

  • 2015. A Formal Semantics for the Cognitive Architecture ACT-R in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1996. On confluence of Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP96
  • 2012-07. Intractability and the use of heuristics in psychological explanations in SYNTHESE
  • 2015. Constraint Handling Rules - What Else? in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS
  • 1999. Operational Equivalence of CHR Programs and Constraints in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING – CP’99
  • 2007. Observable Confluence for Constraint Handling Rules in LOGIC PROGRAMMING
  • Book

    TITLE

    Rule Technologies. Research, Tools, and Applications

    ISBN

    978-3-319-42018-9
    978-3-319-42019-6

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-42019-6_15

    DOI

    http://dx.doi.org/10.1007/978-3-319-42019-6_15

    DIMENSIONS

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


    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, Ulm University"
              ], 
              "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, Ulm University"
              ], 
              "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.1037/0033-295x.111.4.1036", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002290840"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-21542-6_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010556081", 
              "https://doi.org/10.1007/978-3-319-21542-6_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511816772.003", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010827552"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.cogsys.2007.06.006", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020905976"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61551-2_62", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024772408", 
              "https://doi.org/10.1007/3-540-61551-2_62"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s11229-010-9847-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029263273", 
              "https://doi.org/10.1007/s11229-010-9847-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s11229-010-9847-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029263273", 
              "https://doi.org/10.1007/s11229-010-9847-7"
            ], 
            "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/978-3-319-17822-6_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036815692", 
              "https://doi.org/10.1007/978-3-319-17822-6_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-48085-3_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050960545", 
              "https://doi.org/10.1007/978-3-540-48085-3_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-48085-3_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050960545", 
              "https://doi.org/10.1007/978-3-540-48085-3_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2790449.2790517", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051887888"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s147106841000030x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053814519"
            ], 
            "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.1017/s1471068410000438", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1054066499"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511609886", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098740870"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2016", 
        "datePublishedReg": "2016-01-01", 
        "description": "Cognitive architectures are used to abstract and simplify the process of computational cognitive modeling. The popular cognitive architecture ACT-R has a well-defined psychological theory, but lacks a formalization of its computational system. This inhibits computational analysis of cognitive models, e.g. confluence or complexity analysis. In this paper we present a source to source transformation of ACT-R models to Constraint Handling Rules (CHR) programs enabling the use of analysis tools for CHR to analyze computational cognitive models. This translation is the first that matches the current abstract operational semantics of ACT-R.", 
        "editor": [
          {
            "familyName": "Alferes", 
            "givenName": "Jose Julio", 
            "type": "Person"
          }, 
          {
            "familyName": "Bertossi", 
            "givenName": "Leopoldo", 
            "type": "Person"
          }, 
          {
            "familyName": "Governatori", 
            "givenName": "Guido", 
            "type": "Person"
          }, 
          {
            "familyName": "Fodor", 
            "givenName": "Paul", 
            "type": "Person"
          }, 
          {
            "familyName": "Roman", 
            "givenName": "Dumitru", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-42019-6_15", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-42018-9", 
            "978-3-319-42019-6"
          ], 
          "name": "Rule Technologies. Research, Tools, and Applications", 
          "type": "Book"
        }, 
        "name": "Translation of Cognitive Models from ACT-R to Constraint Handling Rules", 
        "pagination": "223-237", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-42019-6_15"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "ad82444696943744265c5467a4bd2d5abca9895fd5c14ee5494ce4ed92b01ec5"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1036423525"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-42019-6_15", 
          "https://app.dimensions.ai/details/publication/pub.1036423525"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T13:29", 
        "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_8664_00000265.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-42019-6_15"
      }
    ]
     

    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-42019-6_15'

    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-42019-6_15'

    Turtle is a human-readable linked data format.

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

    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-42019-6_15'


     

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

    140 TRIPLES      23 PREDICATES      41 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-42019-6_15 schema:about anzsrc-for:17
    2 anzsrc-for:1701
    3 schema:author Nc19568a5fd4b40ef95642a5f49f3d957
    4 schema:citation sg:pub.10.1007/3-540-61551-2_62
    5 sg:pub.10.1007/978-3-319-17822-6_5
    6 sg:pub.10.1007/978-3-319-21542-6_2
    7 sg:pub.10.1007/978-3-540-48085-3_4
    8 sg:pub.10.1007/978-3-540-74610-2_16
    9 sg:pub.10.1007/s11229-010-9847-7
    10 https://doi.org/10.1016/j.cogsys.2007.06.006
    11 https://doi.org/10.1017/cbo9780511609886
    12 https://doi.org/10.1017/cbo9780511816772.003
    13 https://doi.org/10.1017/s147106841000030x
    14 https://doi.org/10.1017/s1471068410000438
    15 https://doi.org/10.1017/s1471068414000180
    16 https://doi.org/10.1037/0033-295x.111.4.1036
    17 https://doi.org/10.1145/2790449.2790517
    18 schema:datePublished 2016
    19 schema:datePublishedReg 2016-01-01
    20 schema:description Cognitive architectures are used to abstract and simplify the process of computational cognitive modeling. The popular cognitive architecture ACT-R has a well-defined psychological theory, but lacks a formalization of its computational system. This inhibits computational analysis of cognitive models, e.g. confluence or complexity analysis. In this paper we present a source to source transformation of ACT-R models to Constraint Handling Rules (CHR) programs enabling the use of analysis tools for CHR to analyze computational cognitive models. This translation is the first that matches the current abstract operational semantics of ACT-R.
    21 schema:editor Na7fd1283478f4156aaf57cee82158abe
    22 schema:genre chapter
    23 schema:inLanguage en
    24 schema:isAccessibleForFree false
    25 schema:isPartOf N2acdff5add1f4653bd403f1f0c3b840a
    26 schema:name Translation of Cognitive Models from ACT-R to Constraint Handling Rules
    27 schema:pagination 223-237
    28 schema:productId N18a006f208004057a876dc9dc3a8d5af
    29 N497a38dec4d94fd08cb9f915ecbb2764
    30 Nf40fa6c56a254e81829af048548c25b4
    31 schema:publisher Nce3e0fd0b35840d38dc0abb674f4f816
    32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036423525
    33 https://doi.org/10.1007/978-3-319-42019-6_15
    34 schema:sdDatePublished 2019-04-15T13:29
    35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    36 schema:sdPublisher N79e21b17a03345ae8f33c0496d0219ce
    37 schema:url http://link.springer.com/10.1007/978-3-319-42019-6_15
    38 sgo:license sg:explorer/license/
    39 sgo:sdDataset chapters
    40 rdf:type schema:Chapter
    41 N18a006f208004057a876dc9dc3a8d5af schema:name dimensions_id
    42 schema:value pub.1036423525
    43 rdf:type schema:PropertyValue
    44 N2acdff5add1f4653bd403f1f0c3b840a schema:isbn 978-3-319-42018-9
    45 978-3-319-42019-6
    46 schema:name Rule Technologies. Research, Tools, and Applications
    47 rdf:type schema:Book
    48 N3805f21709fa4511a43f65625f7fac34 rdf:first N42c92e4e3031414ba71d9688afcaf426
    49 rdf:rest Nd8ba251498a54fd98d20fe0586544872
    50 N42c92e4e3031414ba71d9688afcaf426 schema:familyName Fodor
    51 schema:givenName Paul
    52 rdf:type schema:Person
    53 N497a38dec4d94fd08cb9f915ecbb2764 schema:name readcube_id
    54 schema:value ad82444696943744265c5467a4bd2d5abca9895fd5c14ee5494ce4ed92b01ec5
    55 rdf:type schema:PropertyValue
    56 N49a8eced3b984a7d86454a55db9830a7 rdf:first N842be579c640438cbeba05620e9c6561
    57 rdf:rest N880fcf51604c40a384743ff066430897
    58 N5b9b02a7a6504d4584ae353da40c82f9 schema:familyName Alferes
    59 schema:givenName Jose Julio
    60 rdf:type schema:Person
    61 N79e21b17a03345ae8f33c0496d0219ce schema:name Springer Nature - SN SciGraph project
    62 rdf:type schema:Organization
    63 N842be579c640438cbeba05620e9c6561 schema:familyName Bertossi
    64 schema:givenName Leopoldo
    65 rdf:type schema:Person
    66 N880fcf51604c40a384743ff066430897 rdf:first Nb1cb6dccd0434c8cb71ffd132b62898c
    67 rdf:rest N3805f21709fa4511a43f65625f7fac34
    68 Na7fd1283478f4156aaf57cee82158abe rdf:first N5b9b02a7a6504d4584ae353da40c82f9
    69 rdf:rest N49a8eced3b984a7d86454a55db9830a7
    70 Nadba801468f04465917fcc917ccd369e rdf:first sg:person.013750414271.15
    71 rdf:rest rdf:nil
    72 Nb1cb6dccd0434c8cb71ffd132b62898c schema:familyName Governatori
    73 schema:givenName Guido
    74 rdf:type schema:Person
    75 Nc19568a5fd4b40ef95642a5f49f3d957 rdf:first sg:person.07626501547.47
    76 rdf:rest Nadba801468f04465917fcc917ccd369e
    77 Nc71dcd511c67405f8e536dbaeb563976 schema:familyName Roman
    78 schema:givenName Dumitru
    79 rdf:type schema:Person
    80 Nce3e0fd0b35840d38dc0abb674f4f816 schema:location Cham
    81 schema:name Springer International Publishing
    82 rdf:type schema:Organisation
    83 Nd8ba251498a54fd98d20fe0586544872 rdf:first Nc71dcd511c67405f8e536dbaeb563976
    84 rdf:rest rdf:nil
    85 Nf40fa6c56a254e81829af048548c25b4 schema:name doi
    86 schema:value 10.1007/978-3-319-42019-6_15
    87 rdf:type schema:PropertyValue
    88 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
    89 schema:name Psychology and Cognitive Sciences
    90 rdf:type schema:DefinedTerm
    91 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
    92 schema:name Psychology
    93 rdf:type schema:DefinedTerm
    94 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
    95 schema:familyName Frühwirth
    96 schema:givenName Thom
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
    98 rdf:type schema:Person
    99 sg:person.07626501547.47 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
    100 schema:familyName Gall
    101 schema:givenName Daniel
    102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07626501547.47
    103 rdf:type schema:Person
    104 sg:pub.10.1007/3-540-61551-2_62 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024772408
    105 https://doi.org/10.1007/3-540-61551-2_62
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-3-319-17822-6_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036815692
    108 https://doi.org/10.1007/978-3-319-17822-6_5
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-319-21542-6_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010556081
    111 https://doi.org/10.1007/978-3-319-21542-6_2
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/978-3-540-48085-3_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050960545
    114 https://doi.org/10.1007/978-3-540-48085-3_4
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/978-3-540-74610-2_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034537363
    117 https://doi.org/10.1007/978-3-540-74610-2_16
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/s11229-010-9847-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029263273
    120 https://doi.org/10.1007/s11229-010-9847-7
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1016/j.cogsys.2007.06.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020905976
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1017/cbo9780511609886 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098740870
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1017/cbo9780511816772.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010827552
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1017/s147106841000030x schema:sameAs https://app.dimensions.ai/details/publication/pub.1053814519
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1017/s1471068410000438 schema:sameAs https://app.dimensions.ai/details/publication/pub.1054066499
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1017/s1471068414000180 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053975634
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1037/0033-295x.111.4.1036 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002290840
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1145/2790449.2790517 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051887888
    137 rdf:type schema:CreativeWork
    138 https://www.grid.ac/institutes/grid.6582.9 schema:alternateName University of Ulm
    139 schema:name Institute of Software Engineering and Compiler Construction, Ulm University
    140 rdf:type schema:Organization
     




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


    ...