Abstract
Term rewriting is a well established formal method used for
defining semantics of programming languages, program transformations,
automatic theorem proving, symbolic programming,
intelligent tutoring system development etc. In this paper,
we present a language based on term rewriting as an alternative
formalism for modelling cognitive skills. We show
how the language overcomes some deficiencies of production
systems (compositionality, readability, control-flow etc.) and
how, as a consequence, it can help with addressing practical
problems raised by the cognitive modelling community.
defining semantics of programming languages, program transformations,
automatic theorem proving, symbolic programming,
intelligent tutoring system development etc. In this paper,
we present a language based on term rewriting as an alternative
formalism for modelling cognitive skills. We show
how the language overcomes some deficiencies of production
systems (compositionality, readability, control-flow etc.) and
how, as a consequence, it can help with addressing practical
problems raised by the cognitive modelling community.
| Original language | English |
|---|---|
| Place of Publication | Utrecht |
| Publisher | UU BETA ICS Departement Informatica |
| Number of pages | 8 |
| Publication status | Published - 2017 |
Publication series
| Name | Technical Report Series |
|---|---|
| Publisher | UU Beta ICS Departement Informatica |
| No. | UU-CS-2017-011 |
| ISSN (Print) | 0924-3275 |
Keywords
- ACT-R
- language for cognitive modelling
- production systems
- term rewriting