Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300647023> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4300647023 abstract "Computational psychology has the aim to explain human cognition by computational models of cognitive processes. The cognitive architecture ACT-R is popular to develop such models. Although ACT-R has a well-defined psychological theory and has been used to explain many cognitive processes, there are two problems that make it hard to reason formally about its cognitive models: First, ACT-R lacks a formalization of its underlying production rule system and secondly, there are many different implementations and extensions of ACT-R with technical artifacts complicating formal reasoning even more. This paper describes a formal operational semantics - the very abstract semantics - that abstracts from as many technical details as possible keeping it open to extensions and different implementations of the ACT-R theory. In a second step, this semantics is refined to define some of its abstract features that are found in many implementations of ACT-R - the abstract semantics. It concentrates on the procedural core of ACT-R and is suitable for analysis of the transition system since it still abstracts from details like timing, the sub-symbolic layer or conflict resolution. Furthermore, a translation of ACT-R models to the programming language Constraint Handling Rules (CHR) is defined. This makes the abstract semantics an executable specification of ACT-R. CHR has been used successfully to embed other rule-based formalisms like graph transformation systems or functional programming. There are many results and tools that support formal reasoning about and analysis of CHR programs. The translation of ACT-R models to CHR is proven sound and complete w.r.t. the abstract operational semantics of ACT-R. This paves the way to analysis of ACT-R models through CHR. Therefore, to the best of our knowledge, our abstract semantics is the first formulation of ACT-R suitable for both analysis and execution." @default.
- W4300647023 created "2022-10-03" @default.
- W4300647023 creator A5015841512 @default.
- W4300647023 creator A5032517478 @default.
- W4300647023 date "2017-02-06" @default.
- W4300647023 modified "2023-10-18" @default.
- W4300647023 title "An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules" @default.
- W4300647023 doi "https://doi.org/10.48550/arxiv.1702.01606" @default.
- W4300647023 hasPublicationYear "2017" @default.
- W4300647023 type Work @default.
- W4300647023 citedByCount "0" @default.
- W4300647023 crossrefType "posted-content" @default.
- W4300647023 hasAuthorship W4300647023A5015841512 @default.
- W4300647023 hasAuthorship W4300647023A5032517478 @default.
- W4300647023 hasBestOaLocation W43006470231 @default.
- W4300647023 hasConcept C127001435 @default.
- W4300647023 hasConcept C146499914 @default.
- W4300647023 hasConcept C154945302 @default.
- W4300647023 hasConcept C156325763 @default.
- W4300647023 hasConcept C160145156 @default.
- W4300647023 hasConcept C169760540 @default.
- W4300647023 hasConcept C169900460 @default.
- W4300647023 hasConcept C171018156 @default.
- W4300647023 hasConcept C184337299 @default.
- W4300647023 hasConcept C199360897 @default.
- W4300647023 hasConcept C200065993 @default.
- W4300647023 hasConcept C207648694 @default.
- W4300647023 hasConcept C20854674 @default.
- W4300647023 hasConcept C2524010 @default.
- W4300647023 hasConcept C26713055 @default.
- W4300647023 hasConcept C2776036281 @default.
- W4300647023 hasConcept C33923547 @default.
- W4300647023 hasConcept C41008148 @default.
- W4300647023 hasConcept C80444323 @default.
- W4300647023 hasConcept C86803240 @default.
- W4300647023 hasConcept C89497691 @default.
- W4300647023 hasConceptScore W4300647023C127001435 @default.
- W4300647023 hasConceptScore W4300647023C146499914 @default.
- W4300647023 hasConceptScore W4300647023C154945302 @default.
- W4300647023 hasConceptScore W4300647023C156325763 @default.
- W4300647023 hasConceptScore W4300647023C160145156 @default.
- W4300647023 hasConceptScore W4300647023C169760540 @default.
- W4300647023 hasConceptScore W4300647023C169900460 @default.
- W4300647023 hasConceptScore W4300647023C171018156 @default.
- W4300647023 hasConceptScore W4300647023C184337299 @default.
- W4300647023 hasConceptScore W4300647023C199360897 @default.
- W4300647023 hasConceptScore W4300647023C200065993 @default.
- W4300647023 hasConceptScore W4300647023C207648694 @default.
- W4300647023 hasConceptScore W4300647023C20854674 @default.
- W4300647023 hasConceptScore W4300647023C2524010 @default.
- W4300647023 hasConceptScore W4300647023C26713055 @default.
- W4300647023 hasConceptScore W4300647023C2776036281 @default.
- W4300647023 hasConceptScore W4300647023C33923547 @default.
- W4300647023 hasConceptScore W4300647023C41008148 @default.
- W4300647023 hasConceptScore W4300647023C80444323 @default.
- W4300647023 hasConceptScore W4300647023C86803240 @default.
- W4300647023 hasConceptScore W4300647023C89497691 @default.
- W4300647023 hasLocation W43006470231 @default.
- W4300647023 hasLocation W43006470232 @default.
- W4300647023 hasOpenAccess W4300647023 @default.
- W4300647023 hasPrimaryLocation W43006470231 @default.
- W4300647023 hasRelatedWork W1504969661 @default.
- W4300647023 hasRelatedWork W1543548633 @default.
- W4300647023 hasRelatedWork W1822389052 @default.
- W4300647023 hasRelatedWork W1990759781 @default.
- W4300647023 hasRelatedWork W2125406856 @default.
- W4300647023 hasRelatedWork W2137980890 @default.
- W4300647023 hasRelatedWork W2804733059 @default.
- W4300647023 hasRelatedWork W2950641724 @default.
- W4300647023 hasRelatedWork W2950734315 @default.
- W4300647023 hasRelatedWork W783270985 @default.
- W4300647023 isParatext "false" @default.
- W4300647023 isRetracted "false" @default.
- W4300647023 workType "article" @default.