A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory

Antonio Cerone, Graham Pluck

Producción científica: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

2 Citas (Scopus)

Resumen

The transfer of information processed by human beings from their short-term memory (STM) to their semantic memory creates two kinds of knowledge: a semantic network of associations and a structured set of rules to govern human deliberate behaviour under explicit attention. This paper focuses on the memory processes that create the first of these two kinds of knowledge. Human memory storage and processing are modeled using the Real-time Maude rewrite language. Maude’s capability of specifying complex data structures as many sorted algebras and the time features of Real-Time Maude are exploited for (1) providing a means for formalising alternative memory models, (2) modelling in silico experiments to compare and validate such models. We aim at using our model for the comparison of alternative cognitive hypothesis and theories and the analysis of interactive systems.

Idioma originalInglés
Título de la publicación alojadaFrom Data to Models and Back - 9th International Symposium, DataMod 2020, Revised Selected Papers
EditoresJuliana Bowles, Giovanna Broccia, Mirco Nanni
EditorialSpringer Science and Business Media Deutschland GmbH
Páginas104-122
Número de páginas19
ISBN (versión impresa)9783030706494
DOI
EstadoPublicada - 2021
Publicado de forma externa
Evento9th International Symposium on From Data Models and Back, DataMod 2020 - Virtual, Online
Duración: 20 oct. 202020 oct. 2020

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen12611 LNCS
ISSN (versión impresa)0302-9743
ISSN (versión digital)1611-3349

Conferencia

Conferencia9th International Symposium on From Data Models and Back, DataMod 2020
CiudadVirtual, Online
Período20/10/2020/10/20

Huella

Profundice en los temas de investigación de 'A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory'. En conjunto forman una huella única.

Citar esto